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

Αποτελέσματα
	1.	Comparative metric semantics of programming languages nondeterminism and recursion Franck van Breugel από Breugel, Franck van, 1966- Σειρά: Progress in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston Birkhauser 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 B. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Semantics of type theory : correctness, completeness, and independence results / Thomas Streicher. από Streicher, Thomas, 1958- [συγγραφέας.] Σειρά: Progress in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Boston : Birkhäuser, 1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 STR. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Subrecursive Programming Systems Complexity and Succinctness από Case, John [aut] Royer, James S [aut] Σειρά: Progress in Theoretical Computer Science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston Birkhauser 1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 ROY. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Verifying temporal properties of systems Julian Charles Bradfield από Bradfield, Julian Charles [aut] Σειρά: Progress in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Boston Birkhauser 1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 003.1 BRA. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Polynomial and matrix computations Dario Bini, Victor Y. Pan από Bini, Dario Pan, Victor Y Σειρά: Progress in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston Birkhauser 1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.942 BIN. Προσθήκη στο καλάθι (αφαίρεση)
	6.	Neural networks and analog computation : Beyond the Turing limit / Hava T. Siegelmann. από Siegelmann, Hava T Birkhauser Σειρά: Progress in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό ; Κοινό: Ενήλικοι; Λεπτομέρειες δημοσίευσης: Boston : Birkhauser, c1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Κουκούλι (1)Ταξιθετικός αριθμός: 006.32 SIE. Προσθήκη στο καλάθι (αφαίρεση)

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