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

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

Ταξινόμηση
Αποτελέσματα
1.
Automata and computability / Dexter C. Kozen. από
  • Kozen, Dexter, 1951- [συγγραφέας]
Σειρά: Undergraduate texts in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.3 K, ...
2.
Τρισδιάστατος προτυποποίησις ανοχών δια την επίλυσιν προβλημάτων συναρμολογήσεως Στεφάνου Α. Καραγιάννη; Πανεπιστήμιο Πατρών, Τμήμα Μηχανολόγων και Αεροναυπηγών Μηχανικών από
  • Καραγιάννης, Στέφανος Α
  • Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Πολυτεχνική Σχολή, Τμήμα Μηχανολόγων και Αεροναυπηγών Μηχανικών]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης: Πάτρα [χ.ό.] 2000
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 620.104 Κ.
3.
Finite automata Mark V. Lawson από
  • Lawson, Mark V
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boca Raton Chapman & Hall/CRC 2004
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 LAW.
4.
Αυτόματα γλώσσες γραμματικές / Σ. Μποζαπαλίδη. από
  • Μποζαπαλίδης, Συμεών [συγγραφέας.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Θεσσαλονίκη : [Αϊβάζη], [2010]
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Αγρίνιο (1)Ταξιθετικός αριθμός: 511.35 ΜΠΟ. ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 004 ΜΠΟ, ...
5.
Problem solving in automata, languages, and complexity [electronic resource] Ding-Zhu Du, Ker-I Ko από
  • Du, Dingzhu
  • Ko, Ker-I
  • John Wiley & Sons
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Wiley c2001
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 DU.
6.
Automata, languages and programming fifth colloquium, Udine, Italy, July 17-21, 1978 ; edited by G. Ausiello and C. Bohm από
  • Ausiello, G [edt]
  • Bohm, C [edt]
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1978
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 INT.
7.
The connection machine από
  • Hillis, W. D [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 004 HIL, ...
8.
Elements of the theory of computation από
  • Lewis, Harry R
  • Papadimitriou, Christos H, 1949- [aut]
Σειρά: Prentice-Hall Software Series
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Englewood Cliffs Prentice-Hall c1981
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (4)Ταξιθετικός αριθμός: 004 LEW, ...
9.
Elements of the Theory of Computation από
  • Lewis, Harry R [aut]
  • Papadimitriou, Christos H, 1949- [aut]
Έκδοση: 2nd ed,
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Prentice-Hall c1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 004 LEW, ...
10.
Algorithmic information theory / Gregory J. Chaitin. από
  • Chaitin, Gregory J [συγγραφέας.]
Σειρά: Cambridge tracts in theoretical computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 006.31 CHA, ...
11.
Introduction to the theory of computation / Michael Sipser. από
  • Sipser, Michael [συγγραφέας.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Boston : PWS Pub. Co., c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.3 SIP, ... Μηχανικών Η/Υ και Πληροφορικής (4)Ταξιθετικός αριθμός: 511.3 SIP, ...
12.
The unknowable / by Gregory J. Chaitin. από
  • Chaitin, Gregory J [συγγραφέας.]
Σειρά: Springer series in discrete mathematics and theoretical computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Singapore ; New York : Springer, c1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 CHA.
13.
Automata, Languages and Programming Proceedings of the 28th International Colloquium, ICALP 2001 Crete, Greece, July 2001 από
  • Fernando, Orejas [edt]
  • Σπυράκης, Παύλος Γ [edt]
  • Leeuwen, J. Van ((Jan)), 1850-1924 [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos, J. Hartmanis, J. Van Leeuwen ; 2076
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin Springer 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 005.131 AUT, ... Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.131 AUT.
14.
Handbook of process algebra / edited by J.A. Bergstra, A. Ponse, S.A. Smolka. από
  • Bergstra, J. A [επιμελητής.]
  • Smolka, Scott A [επιμελητής.]
  • Ponse, A. (Alban), 1955- [επιμελητής.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Amsterdam ; New York : Elsevier, 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π 511.3 HAN.
15.
Theories of computability / Nicholas Pippenger. από
  • Pippenger, Nicholas [συγγραφέας.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Cambridge, U.K. ; New York, NY, USA : Cambridge University Press, 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 PIP.
16.
Introduction to the theory of computation / Michael Sipser. από
  • Sipser, Michael [συγγραφέας.]
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Australia : Thomson Course Technology, c2006
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (16)Ταξιθετικός αριθμός: 511.3 SIP, ...
17.
Theory of computation / Derick Wood. από
  • Wood, Derick [συγγραφέας.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Γενικό;
Λεπτομέρειες δημοσίευσης: New York : Wiley, 1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (7)Ταξιθετικός αριθμός: 511.3 W, ...
18.
Automata on infinite words Ecole de printemps d'informatique theorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin από
  • Nivat, M [edt]
  • Perrin, Dominique [edt]
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ECO.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud