Logic for applications Anil Nerode, Richard A. Shore
Τύπος υλικού: ΚείμενοΓλώσσα: Αγγλικά Σειρά: Graduate texts in computer scienceΛεπτομέρειες δημοσίευσης: New York Springer-Verlag 1997Έκδοση: 2nd edΠεριγραφή: xiii, 456 p. 23 cmISBN:- 0387948937
- 005.1
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Συλλογή | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.3 | Non-fiction | 005.1 Ν (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000077732 | |
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 005.1 ΝER (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 2 | Διαθέσιμο | 025000005965 | ||
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 005.1 NER (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 3 | Διαθέσιμο | 025000042749 | ||
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 005.1 ΝER (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 4 | Διαθέσιμο | 025000080183 | ||
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 005.1 ΝER (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 5 | Διαθέσιμο | 025000084327 | ||
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 005.1 ΝER (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 6 | Διαθέσιμο | 025000171383 |
Includes bibliographical references and indexes