Λεπτομερής προβολή: Στοιχεία θεωρίας υπολογισμού /

Κύριος συγγραφέας:	Lewis, Harry R.
Άλλοι συγγραφείς:	Παπαδημητρίου, Χρίστος Χ., Αντωνιάδης, Παναγιώτης., Σιδέρη, Μάρθα.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Αθήνα : Κριτική, 2005.
Ταξινομικός αριθμός:	511 LEW ΜΤΦ
Θέματα:	Machine theory. Formal languages. Computational complexity. Logic, Symbolic and mathematical.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!


LEADER	01644nam a2200313 a 4500
001	1/43392
008	130410s2005 gr b 001 0 eng
020			\|a 9789602183977
035			\|l 46310
040			\|a DLC \|b GR-PeUP
082	0	0	\|a 511 LEW ΜΤΦ
100	1		\|a Lewis, Harry R.
245	1	0	\|a Στοιχεία θεωρίας υπολογισμού / \|c Harry R. Lewis, Χρήστος Χ. Παπαδημητρίου ;μετάφραση Παναγιώτης Αντωνιάδης ;επιστημονική επιμέλεια Μάρθα Σιδέρη.
260			\|a Αθήνα : \|b Κριτική, \|c 2005.
300			\|a 503 σ. ; \|c 23 εκ.
500			\|a Τίτλος πρωτοτύπου: Elements of the theory of computation.
500			\|a Περιέχει βιβλιογραφία και ευρετήριο.
650		4	\|a Machine theory.
650		4	\|a Formal languages.
650		4	\|a Computational complexity.
650		4	\|a Logic, Symbolic and mathematical.
700	1		\|a Παπαδημητρίου, Χρίστος Χ.
700	1		\|a Αντωνιάδης, Παναγιώτης.
700	1		\|a Σιδέρη, Μάρθα.
852			\|a INST \|b UNIPILB \|c EUDOXOS \|e 20130410 \|h 511 LEW ΜΤΦ \|p 00167821 \|q 00167821 \|t CLOCOL \|y 0 \|4 1
852			\|a INST \|b UNIPILB \|c EUDOXOS \|e 20130410 \|h 511 LEW ΜΤΦ \|p 00167822 \|q 00167822 \|t CLOCOL \|y 0 \|4 3
852			\|a INST \|b UNIPILB \|c EUDOXOS \|e 20130410 \|h 511 LEW ΜΤΦ \|p 00167823 \|q 00167823 \|t CLOCOL \|y 0 \|4 4
852			\|a INST \|b UNIPILB \|c EUDOXOS \|e 20130410 \|h 511 LEW ΜΤΦ \|p 00167824 \|q 00167824 \|t CLOCOL \|y 23 \|4 5
852			\|a INST \|b UNIPILB \|c EUDOXOS \|e 20130410 \|h 511 LEW ΜΤΦ \|p 00167825 \|q 00167825 \|t CLOCOL \|y 0 \|4 2