Εξώφυλλο από Amazon.com
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay, T.S.E. Maibaum
Τύπος υλικού:
ΚείμενοΛεπτομέρειες δημοσίευσης: Oxford : Clarendon Press, 1992-2000.Περιγραφή: 5 τ. : εικ. ; 24 εκISBN: - 0198537352
- 0198537611
- 0198537816
- 004.015 113 23
Ελλιπή περιεχόμενα:
Τ. 1. Background : mathematical structures -- τ. 2. Background : computational structures -- τ. 5. Logic and algebraic methods.
| Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
|---|---|---|---|---|---|---|
![Book [Not For Loan]](https://library.upatras.gr/nereus/nereus-book-no.png "Book [Not For Loan]")
Book [Not For Loan]
|
ΒΚΠ - Πατρα Πληροφοριακό Αναγνωστήριο | Π 004.015 113 HAN (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Δε δανείζεται | 025000083848 | |
|
Book [Not For Loan]
|
ΒΚΠ - Πατρα Πληροφοριακό Αναγνωστήριο | Π 004.015 113 HAN (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Δε δανείζεται | 025000075143 | |
|
Book [Not For Loan]
|
ΒΚΠ - Πατρα Πληροφοριακό Αναγνωστήριο | Π 004.015 113 HAN (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Δε δανείζεται | 025000045850 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Πληροφοριακό Αναγνωστήριο Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
|
|
|
|
|
|
|
||
| Π 004 MCG The McGraw - Hill Computer Handbook | Π 004.015 113 HAN Handbook of logic in computer science / | Π 004.015 113 HAN Handbook of logic in computer science / | Π 004.015 113 HAN Handbook of logic in computer science / | Π 004.03 CHA The Penguin dictionary of computers / | Π 004.03 CRY A glossary of Netspeak and Textspeak / | Π 004.03 DIC Dictionnaire europeen : |
Τ. 1. - xii, 827 σ. - 1992 ; τ. 2. x, 571 σ. - 1992 ; τ. 5. - x, 571 σ. - 2000.
Περιλαμβάνει βιβλιογραφία και ευρετήριο.
Τ. 1. Background : mathematical structures -- τ. 2. Background : computational structures -- τ. 5. Logic and algebraic methods.
