Application and theory of Petri Nets 1994 : 15th International Conference, Zaragona, Spain, June 20-24, 1994 : proceedings / Robert Valette (ed.).
Τύπος υλικού:![Κείμενο](/opac-tmpl/lib/famfamfam/BK.png)
- 3540581529
- 0387581529
- 511.3
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Συλλογή | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 511.3 INT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000282190 | |
![]() |
Μηχανικών Η/Υ και Πληροφορικής | 511.3 INT (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 2 | Διαθέσιμο |
Browsing Μηχανικών Η/Υ και Πληροφορικής shelves Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
511.3 FIT First-order logic and automated theorem proving / | 511.3 FIT First-order logic and automated theorem proving / | 511.3 INT Application and theory of Petri Nets 1993 : | 511.3 INT Application and theory of Petri Nets 1994 : | 511.3 PAP Computational complexity / | 511.3 ROZ Advances in petri nets 1985 | 511.3 ROZ Advances in petri nets 1985 |
Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.