RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings / edited by Eiichi Gotō ... [et al.].
Τύπος υλικού: ΚείμενοΣειρά: Lecture notes in computer science ; 147Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1983.Περιγραφή: 232 σ. : εικ. ; 25 εκISBN:- 0387119809
- 001.64/2
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Συλλογή | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 001.642 RIM (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000282157 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Αποθήκη 2.1, Collection: Non-fiction Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | ||||||||
001.64 LAR Database management system anatomy / | 001.64 LOO Data management and file processing / | 001.642 4 LEC Pascal for programmers / | 001.642 RIM RIMS symposia on software science and engineering, Kyoto, 1982 : | 003.1 BRA Verifying temporal properties of systems | 003.1 EYK System identification | 003.1 LJU System identification |
Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.