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

Αποτελέσματα
	1.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Lattices over orders / Klaus W. Roggenkamp, Verena Huber-Dyson. από Roggenkamp, Klaus W [συγγραφέας.] Huber-Dyson, Verena [συγγραφέας.] Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 115, 142. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1970 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.33 ROG, ... Προσθήκη στο καλάθι (αφαίρεση)
	2.	Introduction to circuit complexity : a uniform approach / Heribert Vollmer. από Vollmer, Heribert [συγγραφέας.] Σειρά: Texts in theoretical computer science (Springer) Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.324 VOL, ... Προσθήκη στο καλάθι (αφαίρεση)
	3.	Nonmonotonic logics basic concepts, results, and techniques Karl Schlechta από Schlechta, Karl Σειρά: Lecture notes in computer science ; 1187 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 S. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Admissible sets and structures an approach to definability theory K. Jon Barwise από Barwise, Jon Σειρά: Perspectives in mathematical logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin New York Springer-Verlag 1975 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 B. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Constructibility Keith J. Devlin από Devlin, Keith J Σειρά: Perspectives in mathematical logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin New York Springer-Verlag 1984 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 D. Προσθήκη στο καλάθι (αφαίρεση)
	6.	Recursion-theoretic hierarchies / Peter G. Hinman. από Hinman, Peter G [συγγραφέας.] Σειρά: Perspectives in mathematical logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1978 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 H, ... Προσθήκη στο καλάθι (αφαίρεση)
	7.	The Wb3s algebra modules, semi-infinite cohomology, and BV algebras Peter Bouwknegt, Jim McCarthy, Krzysztof Pilch από Bouwknegt, P McCarthy, Jim Pilch, Krzysztof Σειρά: Lecture notes in physics ; 42 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin New York Springer 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.55 BOU. Προσθήκη στο καλάθι (αφαίρεση)
	8.	Category theory and computer science proceedings...[of] 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 Eugenio Moggi, Giuseppe Rosolini (Eds.) από Moggi, Eugenio [edt] Rosolini, Giuseppe [edt] Σειρά: Lecture notes in computer science ; 1290 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 113 M. Προσθήκη στο καλάθι (αφαίρεση)
	9.	DNA computing new computing paradigms G. Paun, G. Rozenberg, A. Salomaa από Paun, G Rozenberg, Grzegorz Salomaa, A Σειρά: Texts in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 P. Προσθήκη στο καλάθι (αφαίρεση)
	10.	Computing in Horn clause theories Peter Padawitz από Padawitz, Peter Σειρά: Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 P. Προσθήκη στο καλάθι (αφαίρεση)
	11.	The logic of partial information Areski Nait Abdallah από Nait Abdallah, Areski, 1950- Σειρά: Monographs in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin New York Springer 1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 N. Προσθήκη στο καλάθι (αφαίρεση)
	12.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Einführung in die Verbandstheorie / Hans Hermes. από Hermes, Hans [συγγραφέας.] Σειρά: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 73. Έκδοση: 2., erw. Aufl. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1967 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.33 HER, ... Προσθήκη στο καλάθι (αφαίρεση)
	13.	The strange logic of random graphs Joel Spencer από Spencer, Joel H Σειρά: Algorithms and combinatorics ; 22 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 2001 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.5 SPE. Προσθήκη στο καλάθι (αφαίρεση)
	14.	Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, eds από Mycielski, Jan [edt] Rozenberg, Grzegorz [edt] Salomaa, Arto [edt] Σειρά: Lecture notes in computer science ; 1261 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 MYC. Προσθήκη στο καλάθι (αφαίρεση)
	15.	Logic and structure / Dirk van Dalen. από Dalen, D. van (Dirk), 1932- [συγγραφέας.] Σειρά: Universitext (Springer) Έκδοση: 4th ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 2004 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 DAL. Προσθήκη στο καλάθι (αφαίρεση)
	16.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Theory of symmetric lattices / F. Maeda, S. Maeda. από Maeda, Fumitomo, 1897-1965 [συγγραφέας.] Maeda, Shūichirō, 1927- [συγγραφέας.] Σειρά: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 173. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1970 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.33 MAE. Προσθήκη στο καλάθι (αφαίρεση)
	17.	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, ... Προσθήκη στο καλάθι (αφαίρεση)
	18.	Categories for Software Engineering [electronic resource] by JosΓ© Luiz Fiadeiro από Fiadeiro, JosΓ© Luiz Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	19.	Laws of Nature [electronic resource] by Peter Mittelstaedt, Paul A. Weingartner από Mittelstaedt, Peter Weingartner, Paul A Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	20.	Field Arithmetic [electronic resource] by Michael D. Fried, Moshe Jarden από Fried, Michael D Jarden, Moshe Σειρά: A Series of Modern Surveys in Mathematics ; 11 Έκδοση: Second Edition Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

Βελτιώστε την αναζήτησή σας

Διαθεσιμότητα

Συγγραφείς

Συλλογές

Βιβλιοθήκες που διαθέτουν αντίτυπα

Τύποι τεκμηρίου

Τοποθεσίες

Σειρά

Θέματα

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