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

Αποτελέσματα
	1.	Εισαγωγή στη θεωρία υπολογισμού / Michael Sipser ; απόδοση στα ελληνικά Χρήστος Καπούτσης ; επιστημονική επιμέλεια Γεώργιος Φρ. Γεωργακόπουλος. από Sipser, Michael [συγγραφέας.] Καπούτσης, Χρήστος [μεταφραστής] Γεωργακόπουλος, Γεώργιος [επιμελητής] Σειρά: Πανεπιστημιακή βιβλιοθήκη θετικών επιστημών (Πανεπιστημιακές Εκδόσεις Κρήτης). Επιστήμη υπολογιστών Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Ηράκλειο : Πανεπιστημιακές Εκδόσεις Κρήτης, 2007 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (52)Ταξιθετικός αριθμός: 511.35 SIP, ... Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 511.35 SIP. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Petri nets and performance models International workshop. Madison, Wisconsin August 24-26, 1987 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Washington IEEE Computer Society Press c1987 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 511.3. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Rewriting techniques and applications [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985 από Jouannaud, Jean-Pierre [edt] Σειρά: Lecture Notes in Computer Science = 202 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Advances in petri nets 1985 [Procedings of the 6th European Workshop on applications and theory of Petri Nets. Espoo, Finland, June, 1985] από Rozenberg, Grzegorz [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 222 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (2)Ταξιθετικός αριθμός: 511.3 ROZ, ... Προσθήκη στο καλάθι (αφαίρεση)
	5.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Petri nets Μοντέλα και η εφαρμογή τους στήν τεχνολογία λογισμικού. Διπλωματική εργασία. από Βαίτης, Μιχάλης [aut] Κούδας, Νικόλαος [aut] Παπαδόπουλος, Σάκης [aut] Χριστοδουλάκης, Δημήτριος Νικ Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Greek, Modern (1453- ) Λεπτομέρειες δημοσίευσης: Πάτρα Τμημα Η/Υ. Πτυχιακές Εργασίες. Ιούνης 1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1). Προσθήκη στο καλάθι (αφαίρεση)
	6.	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, ... Προσθήκη στο καλάθι (αφαίρεση)
	7.	Algebraic complexity theory / Peter Bürgisser, Michael Clausen, M. Amin Shokrollahi ; with the collaboration of Thomas Lickteig. από Bürgisser, Peter, 1962- [συγγραφέας. ] Clausen, Michael [συγγραφέας.] Shokrollahi, Mohammad Amin [συγγραφέας.] Σειρά: Grundlehren der mathematischen Wissenschaften ; 315. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 BUR. Μηχανικών Η/Υ και Πληροφορικής: Not for loan (1)Ταξιθετικός αριθμός: 511.3 BUR. Προσθήκη στο καλάθι (αφαίρεση)
	8.	Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. από Huth, Michael, 1962- [συγγραφέας] Ryan, Mark, 1962- [συγγραφέας] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Cambridge : Cambridge University Press, c2004 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (11)Ταξιθετικός αριθμός: 005.1 HUT, ... Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.1 HUT. Προσθήκη στο καλάθι (αφαίρεση)

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