Semantics and logics of computation edited by Andrew M. Pitts, Peter Dybjer
Τύπος υλικού:![Κείμενο](/opac-tmpl/lib/famfamfam/BK.png)
- 0521580579
- 004.151
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα Βασική Συλλογή | 004.151 P (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000056611 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Βασική Συλλογή Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
004.1 ΚΑΡ Κβαντικοί υπολογιστές βασικές έννοιες | 004.11 A Frontiers of supercomputing II | 004.145 CTR IBM's mid-range systems 3X, 9370, AS/400 | 004.151 P Semantics and logics of computation | 004.16 Digital design | 004.16 A An introduction to the Intel family of microprocessors | 004.16 B The advanced Intel microprocessors |
Includes bibliographical references and index