LEADER 02315nam a2200349 i 4500
001 10096479
003 upatras
005 20231025115114.0
008 120306r20082007gr gre
952 |0 0  |1 0  |4 0  |6 511_350000000000000_SIP  |7 0  |9 108048  |a LISP  |b LISP  |c EUD  |d 2016-04-24  |i 108902  |l 0  |o 511.35 SIP  |p 025000205953  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BKE 
952 |0 0  |1 0  |4 0  |6 511_350000000000000_SIP  |7 0  |9 108049  |a LISP  |b LISP  |c EUD  |d 2016-04-24  |i 111681  |l 0  |o 511.35 SIP  |p 025000207953  |r 2016-04-24 00:00:00  |t 2  |w 2016-04-24  |y BKE 
999 |c 72576  |d 72576 
020 |a 9789605242435 
040 |a GR-PaULI  |c GR-PaULI  |b gre  |e AACR2 
041 0 |a gre 
082 0 4 |a 511.35  |2 23 
100 1 |a Sipser, Michael  |9 62274  |e συγγραφέας 
245 1 0 |a Εισαγωγή στη θεωρία υπολογισμού /  |c Michael Sipser ; απόδοση στα ελληνικά: Χρήστος Καπούτσης ; επιστημονική επιμέλεια: Γεώργιος Φρ. Γεωργακόπουλος. 
260 |a Ηράκλειο :  |b Πανεπιστημιακές Εκδόσεις Κρήτης,  |c 2008. 
300 |a xxv, 517 σ.:  |b σχήμ.;  |c 25 εκ. 
490 1 |a Πανεπιστημιακή βιβλιοθήκη θετικών επιστημών - Επιστήμη υπολογιστών / Πανεπιστημιακές Εκδόσεις Κρήτης  
504 |a Περιλαμβάνει βιβλιογραφία και ευρετήριο. 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
650 4 |a Ηλεκτρονικοί υπολογιστές  |x Μαθηματικές αρχές  |9 3415 
650 4 |a Υπολογιστική πολυπλοκότητα  |9 20484 
700 1 |a Καπούτσης, Χρήστος  |9 87014  |e μεταφραστής 
700 1 |a Γεωργακόπουλος, Γεώργιος  |e επιμελητής  |9 8623 
830 0 |a Πανεπιστημιακή βιβλιοθήκη θετικών επιστημών (Πανεπιστημιακές Εκδόσεις Κρήτης)  |p Επιστήμη υπολογιστών  |9 167902 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΕΥΔ  |h 511.35 SIP  |m 108902  |p 025000205953  |t 1 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΕΥΔ  |h 511.35 SIP  |m 111681  |p 025000207953  |t 2 
942 |2 ddc  |c BK15 
998 |c ΜΠΟΥΡΑΣ  |d 2012-03