Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
Τύπος υλικού: ΚείμενοΛεπτομέρειες δημοσίευσης: Cambridge : Cambridge University Press, c2004.Περιγραφή: xiv, 427 σ. : εικ. ; 25 εκISBN:- 052154310X
- 23 005.1
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Συλλογή | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|---|
Book | ΒΚΠ - Πατρα | 005.1 (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | Διαθέσιμο | 025000283093 | |||
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | Non-fiction | 005.1 HUT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000285486 | |
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | Non-fiction | 005.1 HUT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 2 | Διαθέσιμο | 025000285490 | |
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 005.1 HUT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 3 | Διαθέσιμο | 025000285494 | |
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 005.1 HUT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 4 | Διαθέσιμο | 025000285498 | |
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 005.1 HUT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 5 | Διαθέσιμο | 025000285502 | |
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 005.1 HUT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 6 | Διαθέσιμο | 025000285463 | |
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 005.1 HUT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 7 | Διαθέσιμο | 025000285467 | |
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 005.1 HUT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 8 | Διαθέσιμο | 025000283095 | |
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 005.1 HUT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 9 | Διαθέσιμο | 025000283094 | |
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 005.1 ΗUT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 10 | Διαθέσιμο | 025000279766 | |
Μηχανικών Η/Υ και Πληροφορικής | 005.1 HUT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 11 | Διαθέσιμο |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Αποθήκη 2.1, Collection: Non-fiction Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
005.1 HUT Logic in computer science : | 005.1 HUT Logic in computer science : | 005.1 HUT Logic in computer science : | 005.1 HUT Logic in computer science : | 005.1 HUT Logic in computer science : | 005.1 INT Interactive programming environments / | 005.1 JUN Graphs, networks and algorithms |
Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.