Η αναζήτηση επέστρεψε 14 αποτελέσματα.

Αποτελέσματα
	1.	Finite model theory and its applications Erich Gradel ... [et al.] από Grädel, Erich, 1958- [aut] Κολαϊτης, Φωκίων [aut] Libkin, Leonid [aut] Σειρά: Texts in theoretical computer science : an EATCS series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 2007 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Κουκούλι (1)Ταξιθετικός αριθμός: 511.34 FIN. ΒΚΠ - Μεσολόγγι (2)Ταξιθετικός αριθμός: 511.3 FIN, ... ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.34 GRA, ... Προσθήκη στο καλάθι (αφαίρεση)
	2.	Dissemination of Information in Communication Networks [electronic resource] Broadcasting, Gossiping, Leader Election, and Fault-Tolerance by Juraj HromkoviΔ, Ralf Klasing, Andrzej Pelc, Peter RuΕiΔkaβ , Walter Unger από Hromkovic, Juraj Klasing, Ralf Pelc, Andrzej RuΕiΔkaβ , Peter Unger, Walter Σειρά: Texts in Theoretical Computer Science An EATCS Series Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	3.	Universal Artificial Intellegence [electronic resource] Sequential Decisions Based on Algorithmic Probability by Marcus Hutter από Hutter, Marcus Σειρά: Texts in Theoretical Computer Science An EATCS Series Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	4.	A Practical Theory of Reactive Systems [electronic resource] Incremental Modeling of Dynamic Behaviors by Reino Kurki-Suonio από Kurki-Suonio, Reino Σειρά: Texts in Theoretical Computer Science An EATCS Series Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	5.	Abstract Computing Machines [electronic resource] A Lambda Calculus Perspective by W. Kluge; edited by W. Brauer, G. Rozenberg, A. Salomaa από Kluge, William S Brauer, W Rozenberg, Grzegorz Salomaa, A Σειρά: Texts in Theoretical Computer Science, An EATCS Series Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	6.	Design and Analysis of Randomized Algorithms : Introduction to design paradigms / by Juraj Hromkovic. από Hromkovic, Juraj [συγγραφέας.] Σειρά: Texts in theoretical computer science an EATCS Series / Springer Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin : Springer, c2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 519.53 HRO, ... Προσθήκη στο καλάθι (αφαίρεση)
	7.	Complexity Theory and Cryptology [electronic resource] An Introduction to Cryptocomplexity by JΓΆrg Rothe από Rothe, JΓΆrg Σειρά: Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	8.	Parameterized Complexity Theory [electronic resource] by JΓΆrg Flum, Martin Grohe από Flum, JΓΆrg Grohe, Martin Σειρά: Texts in Theoretical Computer Science. An EATCS Series Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	9.	Graphs and Algorithms in Communication Networks [electronic resource] Studies in Broadband, Optical, Wireless and Ad Hoc Networks edited by Arie Koster, Xavier MuΓoz από Koster, Arie MuΓoz, Xavier SpringerLink (Online service) Σειρά: Texts in Theoretical Computer Science. An EATCS Series Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	10.	Exact Exponential Algorithms [electronic resource] by Fedor V. Fomin, Dieter Kratsch από Fomin, Fedor V Kratsch, Dieter SpringerLink (Online service) Σειρά: Texts in Theoretical Computer Science. An EATCS Series Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	11.	Communication Complexity and Parallel Computing από Hromkovic, Juraj [aut] Σειρά: Texts in Theoretical Computer Science An EATCS Series / W. Brauer G. Rozenberg A. Salomaa \| Texts in Theoretical Computer Science - An EATCS Series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.275 HRO. Προσθήκη στο καλάθι (αφαίρεση)
	12.	Introduction to Circuit Complexity A Uniform Approach Heribert Vollmer από Vollmer, Heribert [aut] Σειρά: Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin Springer - Verlag 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1). Προσθήκη στο καλάθι (αφαίρεση)
	13.	Extremal Combinatorics With Applications in Computer Science Stasys Jukna από JUKNA, STASYS [aut] Σειρά: Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin Springer 2001 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1). Προσθήκη στο καλάθι (αφαίρεση)
	14.	The resolution calculus / A. Leitsch. από Leitsch, Alexander [συγγραφέας.] Σειρά: Texts in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.131 LEI, ... Προσθήκη στο καλάθι (αφαίρεση)

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας