Buch, Taschenbuch
Versandfertig in 1-2 Wochen
60,00 €

Über Theory and Applications of Satisfiability Testing – SAT 2016

This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions.

Sprache:
Englisch

ISBN:
9783319409696

Verlag:
Springer International Publishing AG

Einband:
Taschenbuch

Seitenzahl:
564

Veröffentlicht:
12. Juni 2016

Ausgabe:
12016

Abmessungen:
236x156x36 mm.

Gewicht:
896 g.

60,00 € inkl. MwSt.
~~60,00 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Beschreibung von Theory and Applications of Satisfiability Testing – SAT 2016

This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions.

Kund*innenbewertungen von Theory and Applications of Satisfiability Testing – SAT 2016

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Theory and Applications of Satisfiability Testing – SAT 2016 ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Theory and Applications of Satisfiability Testing – SAT 2016

Beschreibung von Theory and Applications of Satisfiability Testing – SAT 2016

Kund*innenbewertungen von Theory and Applications of Satisfiability Testing – SAT 2016

Willkommen bei den Tales Buchfreunden und -freundinnen