Cliques, coloring, and satisfiability second DIMACS implementation challenge David S. Johnson, Michael A. Trick, editors
Τύπος υλικού:![Κείμενο](/opac-tmpl/lib/famfamfam/BK.png)
- 0821866095
- 511.5
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα Βασική Συλλογή | 511.5 J (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000080395 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Βασική Συλλογή Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
511.5 H Graph theory / | 511.5 HAR Graph theory / | 511.5 J Graph coloring problems / | 511.5 J Cliques, coloring, and satisfiability | 511.5 J Coloured Petri nets : | 511.5 J Coloured Petri nets : | 511.5 J Coloured Petri nets : |
DIMACS workshop, October 11-13, 1993
"NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, a consortium of Rutgers University, Princeton University, AT&T Bell Labs, Bellcore."
Includes bibliographical references