Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Theory and Applications of Satisfiability Testing - SAT 2018 Christoph M. Winter

Name: Theory and Applications of Satisfiability Testing - SAT 2018 Christoph M. Winter
Brand: Springer International Publishing, Springer Nature Switzerland
SKU: 177080050577
Price: 53.49 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

53,49 €

Titel: Theory and Applications of Satisfiability Testing - SAT 2018, Untertitel: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, Einband: Taschenbuch, Autor: Christoph M. Wintersteiger, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 472, Maße: 235x155x26 mm, Gewicht: 709 g, Verkäufer: buch-mimpf, Schlagworte: Algorithmus Diskret (mathematisch) EDV / Theorie / Informatik / Allgemeines EDV / Theorie / Software-Entw.

Jetzt bei Ebay:

Zum Angebot *

Seiten:

472
Gewicht:

709
Einband:

Taschenbuch
Marke:

Springer International Publishing, Springer Nature Switzerland
Fachbereich:

Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
Publikationstitel:

Theory and Applications of Satisfiability Testing - SAT 2018
Buchtitel:

Theory and Applications of Satisfiability Testing - SAT 2018
Untertitel:

21st International Conference, SAT 2018, Held as Part of the F...
Film-/Fernseh-Titel:

Keine Angabe
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Algorithmus Diskret (mathematisch) EDV / Theorie / Informati...
ISBN:

9783319941431
Reihe:

Lecture Notes in Computer Science
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

2018
Anzahl der Seiten:

Xix Seiten
Autor:

Olaf Beyersdorff, Christoph M. Wintersteiger
Verlag:

Springer-Verlag Gmbh, Springer International Publishing
Publikationsname:

Theory And Applications of Satisfiability Testing-Sat 2018
Sprache:

Englisch

Standardversand:

DHL Kleinpaket kostenlos - Lieferung zwischen 23. May 2025 und 27. May 2025 (bei heutigem Zahlungseingang)
Standardversand:

DHL Paket 3,99 EUR - Lieferung zwischen 23. May 2025 und 27. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere