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

Αποτελέσματα
	1.	Foundations for programming languages John C. Mitchell από Mitchell, John C Σειρά: Foundations of computing Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, Mass. MIT Press 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.131 M, ... Προσθήκη στο καλάθι (αφαίρεση)
	2.	The formal semantics of programming languages an introduction Glynn Winskel από Winskel, G. (Glynn) Σειρά: Foundations of computing Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, Mass. MIT Press 1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 W. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Automata and computability / Dexter C. Kozen. από Kozen, Dexter, 1951- [συγγραφέας] Σειρά: Undergraduate texts in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: New York : Springer, c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.3 K, ... Προσθήκη στο καλάθι (αφαίρεση)
	4.	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. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Models of computation and formal languages R. Gregory Taylor από Taylor, R. Gregory Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Oxford Uninersity Press 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 113 T. Προσθήκη στο καλάθι (αφαίρεση)
	6.	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. Προσθήκη στο καλάθι (αφαίρεση)
	7.	Computing in Horn clause theories Peter Padawitz από Padawitz, Peter Σειρά: Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 P. Προσθήκη στο καλάθι (αφαίρεση)
	8.	The limits of mathematics a course on information theory and limits of formal reasoning Gregory J. Chaitin από Chaitin, Gregory J [aut] Σειρά: Springer series in discrete mathematics and theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Singapore Springer 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 CHA. Προσθήκη στο καλάθι (αφαίρεση)
	9.	A first course in formal logic and its applications in computer science R.D. Dowsing, V.J. Rayward-Smith and C.D. Walter από Dowsing, R.D Rayward-Smith, V.J Walter, C.D Σειρά: Computer science texts Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Oxford Blackwell Scientific Publications 1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 DOW. Προσθήκη στο καλάθι (αφαίρεση)
	10.	Introduction to the theory of computation Michael Sipser από Sipser, Michael Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Australia Thomson 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Μεσολόγγι (2)Ταξιθετικός αριθμός: 511.3 SIP, ... ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 SPI. Προσθήκη στο καλάθι (αφαίρεση)
	11.	Εισαγωγή στη θεωρία υπολογισμού / Michael Sipser ; απόδοση στα ελληνικά Χρήστος Καπούτσης ; επιστημονική επιμέλεια Γεώργιος Φρ. Γεωργακόπουλος. από Sipser, Michael [συγγραφέας.] Καπούτσης, Χρήστος [μεταφραστής] Γεωργακόπουλος, Γεώργιος [επιμελητής] Σειρά: Πανεπιστημιακή βιβλιοθήκη θετικών επιστημών (Πανεπιστημιακές Εκδόσεις Κρήτης). Επιστήμη υπολογιστών Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Ηράκλειο : Πανεπιστημιακές Εκδόσεις Κρήτης, 2007 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (52)Ταξιθετικός αριθμός: 511.35 SIP, ... Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 511.35 SIP. Προσθήκη στο καλάθι (αφαίρεση)
	12.	Εισαγωγή στη θεωρία υπολογισμού / Michael Sipser ; απόδοση στα ελληνικά: Χρήστος Καπούτσης ; επιστημονική επιμέλεια: Γεώργιος Φρ. Γεωργακόπουλος. από Sipser, Michael [συγγραφέας] Καπούτσης, Χρήστος [μεταφραστής] Γεωργακόπουλος, Γεώργιος [επιμελητής] Σειρά: Πανεπιστημιακή βιβλιοθήκη θετικών επιστημών (Πανεπιστημιακές Εκδόσεις Κρήτης). Επιστήμη υπολογιστών Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Greek, Modern (1453- ) Λεπτομέρειες δημοσίευσης: Ηράκλειο : Πανεπιστημιακές Εκδόσεις Κρήτης, 2008 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.35 SIP, ... Προσθήκη στο καλάθι (αφαίρεση)
	13.	Automated reasoning introduction and applications Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle από Wos, Larry Lusk, Ewing Overbeek, Ross Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Englewood Cliffs, NJ Prentice-Hall 1984 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 W. Προσθήκη στο καλάθι (αφαίρεση)
	14.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη An introduction to computational learning theory : Micheal J. Kearns, Umesh V. Vazirani. από Kearns, Michael J [συγγραφέας.] Vazirani, Umesh V [επιμελητής.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Csmbridge,MA : MIT Press, c1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 006.3 KEA, ... Προσθήκη στο καλάθι (αφαίρεση)
	15.	Arithmetic complexity of computations Shmuel Winograd από Winograd, Shmuel Σειρά: CBMS-NSF regional conference series in applied mathematics ; 33 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Philadelphia Society for Industrial and Applied Mathematics 1980 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.131 W, ... Προσθήκη στο καλάθι (αφαίρεση)
	16.	Computability and complexity from a programming perpective Neil D. Jones από Jones, Neil D Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge The MIT Press 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 J. Προσθήκη στο καλάθι (αφαίρεση)
	17.	Extrapolation methods theory and practice Claude Brezinski, Michela Redivo Zaglia από Brezinski, Claude Redivo Zaglia, Michela Σειρά: Studies in computational mathematics ; 2 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Amsterdam North - Holland 1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.42 Β. Προσθήκη στο καλάθι (αφαίρεση)
	18.	First-order logic and automated theorem proving / Melvin Fitting. από Fitting, Melvin, 1942- Σειρά: Graduate texts in computer science Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York : Springer, c1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.3 F, ... Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 511.3 FIT, ... Προσθήκη στο καλάθι (αφαίρεση)
	19.	Introduction to the theory of computation Michael Sipser από Sipser, Michael Σειρά: The PWS series in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston P W S Publishers 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 SIP. Προσθήκη στο καλάθι (αφαίρεση)
	20.	Teaching and learning formal methods Edited by C. Neville Dean, Michael G. Hinchey από Dean, C. Neville Hinchey, Michael G Σειρά: Academic Press international series in formal methods Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Academic Press 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 D. Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

Συλλογές

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

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

Τοποθεσίες

Σειρά

Θέματα

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