Verwandte Artikel zu Theory and Applications of Satisfiability Testing --...

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings - Softcover

 
9783319243191: Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Softcover
ISBN 10: 3319243195 ISBN 13: 9783319243191
Verlag: Springer, 2015

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Verlag
Springer
Erscheinungsdatum
2015
Sprache
Englisch
ISBN 10 
3319243195
ISBN 13 
9783319243191
Einband
Paperback
Anzahl der Seiten
458
Herausgeber
Heule Marijn, Weaver Sean
Kontakt zum Hersteller
Nicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie kennen Autor und Titel des Buches und finden es trotzdem nicht auf ZVAB? Dann geben Sie einen Suchauftrag auf und wir informieren Sie automatisch, sobald das Buch verfügbar ist!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9783319243177: Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings: ... Computer Science and General Issues)

Vorgestellte Ausgabe

ISBN 10:  3319243179 ISBN 13:  9783319243177
Verlag: Springer, 2015
Softcover