Ergebnisse für: parallel SAT-solving

Hier findest Du Bücher, die sich mit parallel SAT-solving beschäftigen.

Buch Cover Handbook of Parallel Constraint Reasoning

Springer International Publishing
160.49 € · Hardcover
...
Buch Cover Handbook of Parallel Constraint Reasoning

Springer International Publishing
106.99 € · eBook
...
Buch Cover Handbook of Parallel Constraint Reasoning

Springer International Publishing
117.69 € · Paperback
...
Buch Cover Verified Software: Theorie, Tools, Experiments

Springer Berlin
53.49 € · eBook
...
Buch Cover Hardware and Software: Verification and Testing

Springer International Publishing
51.36 € · Paperback
...
Buch Cover Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing
42.79 € · Paperback
...
Buch Cover Verified Software: Theorie, Tools, Experiments

Springer Berlin
53.49 € · Paperback
...
Buch Cover Hardware and Software: Verification and Testing

Springer International Publishing
50.28 € · eBook
...
Buch Cover Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing
· eBook
...

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden