Parameterized complexity R. G. Downey and M. R. Fellows
Τύπος υλικού: ΚείμενοΓλώσσα: Αγγλικά Σειρά: Monographs in computer scienceΛεπτομέρειες δημοσίευσης: New York Springer 1999Περιγραφή: xv, 533 p. fig. 24 cmISBN:- 038794883X
- 511.3
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 D (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000067771 | |
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 DOW (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 2 | Διαθέσιμο | 025000116208 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Βασική Συλλογή Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
511.3 COR Mathematical logic | 511.3 COR Mathematical logic | 511.3 CUP The nuts and bolts of proofs | 511.3 D Parameterized complexity | 511.3 D Cut elimination in categories | 511.3 D Teaching and learning formal methods | 511.3 D Basic model theory |
Includes bibliographical references and index