Refine your search

Your search returned 30 results.

Not what you expected? Check for suggestions
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.

by Lewis, Harry R | Papadimitriou, Christos H.

Series: Prentice-Hall software seriesMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs, N.J. : Prentice-Hall, c1981Availability: Items available for loan: University of Macedonia LibraryCall number: QA267.L49 1981 (1).

Acta informatica.

Material type: Continuing resource Continuing resource; Format: print ; Type of continuing resource: periodical Language: engfreger Publication details: Berlin ; New York : Springer-Verlag, Availability: Items available for reference: University of Macedonia Library Not for loan (1). :

Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp.

by Sudkamp, Thomas A.

Series: Addison-Wesley series in computer science | Addison-Wesley series in computer scienceEdition: Reprinted with corrections January, 1991.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Reading, Mass. : Addison-Wesley, 1991, c1988Availability: Items available for loan: University of Macedonia LibraryCall number: QA267.3.S83 1991 (1).

Theory of computation : formal languages, automata, and complexity / J. Glenn Brookshear.

by Brookshear, J. Glenn.

Series: Benjamin/Cummings series in computer scienceMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Redwood City, CA : Benjamin/Cummings Pub. Co., c1989Availability: Items available for loan: University of Macedonia LibraryCall number: QA267.B76 1989 (1).

Discrete mathematical structures and their applications / Harold S. Stone.

by Stone, Harold S, 1938-.

Series: SRA computer science seriesMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Chicago : Science Research Associates, c1973Availability: Items available for loan: University of Macedonia LibraryCall number: QA162.S77 1973 (1).

Foundations of computing / Jozef Gruska.

by Gruska, Jozef.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: London : International Thomson Computer Press, 1997Availability: Items available for loan: University of Macedonia LibraryCall number: QA267.G78 1997 (1).

Automata and computability / Dexter C. Kozen.

by Kozen, Dexter, 1951-.

Series: Undergraduate texts in computer scienceMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c1997Availability: Items available for loan: University of Macedonia LibraryCall number: QA267.K69 1997 (1).

Simulated annealing and Boltzmann machines : a stochastic approach to combinatorial optimization and neural computing / Emile Aarts, Jan Korst.

by Aarts, E. H. L. (Emile H. L.) | Korst, Jan.

Series: Wiley-Interscience series in discrete mathematics and optimizationMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Chichester [England] ; New York : Wiley, c1989Availability: Items available for loan: University of Macedonia LibraryCall number: QA402.5.A22 1989 (1).

Communication and concurrency / Robin Milner.

by Milner, R. (Robin), 1934-.

Series: Prentice-Hall international series in computer scienceMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: New York : Prentice Hall, 1989Availability: Items available for loan: University of Macedonia LibraryCall number: QA267.M533 1989 (1).

Neural computation in Hopfield networks and Boltzmann machines / James P. Coughlin, Robert H. Baran.

by Coughlin, James P | Baran, Robert H.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Newark : University of Delaware Press, c1995Availability: Items available for loan: University of Macedonia LibraryCall number: QA76.87.C69 1995 (1).

Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.

by Hopcroft, John E, 1939- | Motwani, Rajeev | Ullman, Jeffrey D, 1942-.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Boston : Addison-Wesley, c2001Availability: Items available for loan: University of Macedonia LibraryCall number: QA267.H56 2001 (1).

Introduction to languages, machines and logic : computable languages, abstract machines and formal logic / Alan P. Parkes.

by Parkes, Alan.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: London : Springer, c2002Availability: Items available for loan: University of Macedonia LibraryCall number: QA267.3.P37 2002 (1).

Θεωρία υπολογισμού / Κωνσταντίνος Χαλάτσης.

by Χαλάτσης, Κωνσταντίνος | Ελληνικό Ανοικτό Πανεπιστήμιο. Σχολή Θετικών Επιστημών και Τεχνολογίας.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Πάτρα : Ελληνικό Ανοικτό Πανεπιστήμιο, 2002Availability: Items available for loan: University of Macedonia LibraryCall number: QA267.C454 2002 (1).

Αυτόματα και τυπικές γλώσσες / Αναστάσιος Δημητρίου.

by Δημητρίου, Αναστάσιος | Ελληνικό Ανοικτό Πανεπιστήμιο. Σχολή Θετικών Επιστημών και Τεχνολογίας.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Πάτρα : Ελληνικό Ανοικτό Πανεπιστήμιο, 2002Availability: Items available for loan: University of Macedonia LibraryCall number: QA267.D464 2002 (1).

Στοιχεία θεωρίας υπολογισμού / Harry R. Lewis, Χρίστος Χ. Παπαδημητρίου ; μετάφραση Παναγιώτης Αντωνιάδης ; επιστημονική επιμέλεια Μάρθα Σιδέρη.

by Lewis, Harry R | Papadimitriou, Christos H | Σιδέρη, Μάρθα.

Edition: 1η έκδ.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Greek, Modern (1453- ) Original language: English Publication details: Αθήνα : Εκδόσεις Κριτική, 2005Online access: Εξώφυλλο, οπισθόφυλλο, πίνακας περιεχομένων και πληροφορίες για το συγγραφέα Availability: Items available for loan: University of Macedonia LibraryCall number: QA267.L4916 2005 (4).

European Union Digital Greece ESPA Default