Freunden von diesem Artikel berichten:
Algorithms for the Satisfiability Problem Jun Gu
Hast du ein Profil? Anmelden
Zu deiner iMusic Wunschliste hinzufügen
oder
Algorithms for the Satisfiability Problem
Jun Gu
Describes state-of-the-art methods and discusses tradeoffs and limitations in the rapidly growing field of satisfiability testing.
250 pages
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 1. Juni 2020 |
| ISBN13 | 9780521640411 |
| Verlag | Cambridge University Press |
| Seitenanzahl | 250 |
| Maße | 150 × 220 × 20 mm · 587 g (Geschätztes Gewicht) |
Weitere Titel von Jun Gu
Alle anzeigenMere med samme udgiver
Alle Titel von Jun Gu ansehen ( u. a. Gebundenes Buch und Taschenbuch )