Αποτελέσματα αναζήτησης για 'ccl=Provider:Springer,' › Βιβλιοθήκη & Κέντρο Πληροφόρησης, Πανεπιστήμιο Πατρών κατάλογος

Αποτελέσματα
	1.	Parameterized complexity R. G. Downey and M. R. Fellows από Downey, R. G Fellows, M. R Σειρά: Monographs in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Springer 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 D, ... Προσθήκη στο καλάθι (αφαίρεση)
	2.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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, ... Προσθήκη στο καλάθι (αφαίρεση)
	3.	Models of sharing graphs a categorical semantics of let and letrec Masahito Hasegawa από Hasegawa, Masahito Σειρά: Distinguished dissertations Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Springer 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 H. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Introduction to circuit complexity : a uniform approach / Heribert Vollmer. από Vollmer, Heribert [συγγραφέας.] Σειρά: Texts in theoretical computer science (Springer) Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.324 VOL, ... Προσθήκη στο καλάθι (αφαίρεση)
	5.	Unconventional models of computation C. S. Calude, J. Casti, M. J. Dinneen (editors) από Calude, C. S [edt] Casti, J [edt] Dinneen, M. J [edt] Σειρά: Springer series in discrete mathematics and theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Singapore New York Springer 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 C. Προσθήκη στο καλάθι (αφαίρεση)
	6.	Descriptive complexity / Neil Immerman. από Immerman, Neil, 1953- [συγγραφέας] Σειρά: Graduate texts in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: New York : Springer, c1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (4)Ταξιθετικός αριθμός: 511.3 IMM, ... Προσθήκη στο καλάθι (αφαίρεση)
	7.	An introduction to fuzzy logic for practical applications Kazuo Tanaka; translated by Tak Niimura από Tanaka, Kazuo Niimura, Tak [trl] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Original language: Ιαπωνική Λεπτομέρειες δημοσίευσης: New York Springer 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 T, ... Προσθήκη στο καλάθι (αφαίρεση)
	8.	Nonmonotonic logics basic concepts, results, and techniques Karl Schlechta από Schlechta, Karl Σειρά: Lecture notes in computer science ; 1187 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 S. Προσθήκη στο καλάθι (αφαίρεση)
	9.	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. Προσθήκη στο καλάθι (αφαίρεση)
	10.	Constructibility Keith J. Devlin από Devlin, Keith J Σειρά: Perspectives in mathematical logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin New York Springer-Verlag 1984 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 D. Προσθήκη στο καλάθι (αφαίρεση)
	11.	Recursion-theoretic hierarchies / Peter G. Hinman. από Hinman, Peter G [συγγραφέας.] Σειρά: Perspectives in mathematical logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1978 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 H, ... Προσθήκη στο καλάθι (αφαίρεση)
	12.	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. Προσθήκη στο καλάθι (αφαίρεση)
	13.	Model-theoretic logics edited by J. Barwise and S. Feferman από Barwise, Jon [edt] Feferman, S [edt] Σειρά: Perspectives in mathematical logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Springer 1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.8 B. Προσθήκη στο καλάθι (αφαίρεση)
	14.	Sets, logic and categories / Peter J. Cameron. από Cameron, Peter J. (Peter Jephson), 1947- [συγγραφέας.] Σειρά: Springer undergraduate mathematics series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: London : Springer, 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.322 CAM. Προσθήκη στο καλάθι (αφαίρεση)
	15.	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. Προσθήκη στο καλάθι (αφαίρεση)
	16.	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. Προσθήκη στο καλάθι (αφαίρεση)
	17.	Computing in Horn clause theories Peter Padawitz από Padawitz, Peter Σειρά: Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 P. Προσθήκη στο καλάθι (αφαίρεση)
	18.	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. Προσθήκη στο καλάθι (αφαίρεση)
	19.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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, ... Προσθήκη στο καλάθι (αφαίρεση)
	20.	Elements of logic via numbers and sets / D. L. Johnson. από Johnson, D. L [συγγραφέας.] Σειρά: Springer undergraduate mathematics series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: London : Springer, 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 JOH. Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

Συλλογές

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

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

Τοποθεσίες

Σειρά

Θέματα

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