LEADER 03722nam a2200457 i 4500
001 10109496
003 upatras
005 20231025115114.0
008 130422r20122007gr gre
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_350000000000000_SIP  |7 0  |9 152339  |a LISP  |b LISP  |c ALFb  |d 2016-04-24  |i 112773  |l 1  |o 511.35 SIP  |p 025000208258  |r 2017-03-23 00:00:00  |s 2017-03-10  |t 1  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_350000000000000_SIP  |7 0  |9 152340  |a LISP  |b LISP  |c ALFb  |d 2016-04-24  |i 112774  |l 0  |o 511.35 SIP  |p 025000208257  |r 2021-03-11 00:00:00  |t 2  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |4 0  |6 511_350000000000000_SIP  |7 0  |9 152341  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 112775  |l 11  |m 6  |o 511.35 SIP  |p 025000208256  |r 2022-05-23 00:00:00  |s 2022-04-15  |t 3  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |4 0  |6 511_350000000000000_SIP  |7 0  |9 152343  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 112777  |l 0  |o 511.35 SIP  |p 025000208254  |r 2016-04-24 00:00:00  |t 5  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |4 0  |6 511_350000000000000_SIP  |7 0  |9 152345  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 112779  |l 0  |o 511.35 SIP  |p 025000208252  |r 2016-04-24 00:00:00  |t 7  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_350000000000000_SIP  |7 0  |9 362825  |a LISK  |b LISK  |c BSC  |d 2022-07-25  |i 70442  |l 0  |o 511.35 SIP  |p 992410070442  |r 2022-07-25 00:00:00  |t 9  |w 2022-07-25  |y BK15 
999 |c 97630  |d 97630 
020 |a 9789605242435 
040 |a GR-PaULI  |c GR-PaULI  |b gre  |e AACR2 
082 0 4 |a 511.35  |2 23 
100 1 |a Sipser, Michael  |9 62274  |e συγγραφέας 
245 1 0 |a Εισαγωγή στη θεωρία υπολογισμού /  |c Michael Sipser ; απόδοση στα ελληνικά Χρήστος Καπούτσης ; επιστημονική επιμέλεια Γεώργιος Φρ. Γεωργακόπουλος  |c ; επιστημονική επιμέλεια Γεώργιος Φρ. Γεωργακόπουλος. 
260 |a Ηράκλειο :  |b Πανεπιστημιακές Εκδόσεις Κρήτης,  |c 2012. 
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 ΒΣ1  |k ΑΣΧΕ  |h 511.35 SIP  |m 112773  |p 025000208258  |t 1 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΕ  |h 511.35 SIP  |m 112774  |p 025000208257  |t 2 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΕ  |h 511.35 SIP  |m 112775  |p 025000208256  |t 3 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΕ  |h 511.35 SIP  |m 112776  |p 025000208255  |t 4 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΕ  |h 511.35 SIP  |m 112777  |p 025000208254  |t 5 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΕ  |h 511.35 SIP  |m 112778  |p 025000208253  |t 6 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΕ  |h 511.35 SIP  |m 112779  |p 025000208252  |t 7 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΕ  |h 511.35 SIP  |m 112790  |p 025000208251  |t 8 
942 |2 ddc  |c BK15 
998 |c ΜΠΟΥΡΑΣ  |d 2013-04