Mathematical foundations of software development : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 1, Colloquium on trees in algebra and programming (CAAP'85) / edited by Hartmut Ehrig ... [et al.].
Τύπος υλικού: ΚείμενοΣειρά: Lecture notes in computer science ; 185Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1985.Περιγραφή: xiii, 417 σ. : εικ. ; 25 εκISBN:- 3540151982
- 0387151982
- 004.0151
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Συλλογή | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 004.015 1 MAT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000282291 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Αποθήκη 2.1, Collection: Non-fiction Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
004 WIL Explorations in quantum computing | 004 WIL Explorations in quantum computing | 004.015 1 HEN Algebraic theory of processes | 004.015 1 MAT Mathematical foundations of software development : | 004.015 1 MEL Randomness and completeness in computational complexity / | 004.015 1 OVE Numerical Computing With IEEE Floating Point Arithmetic | 004.015 1 SHA Numerical computing |
Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.