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

Theory and Applications of Satisfiability Testing - SAT 2019 Inês Lynce

Name: Theory and Applications of Satisfiability Testing - SAT 2019 Inês Lynce
Brand: Springer International Publishing, Springer Nature Switzerland
SKU: 177080037866
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 2019, Untertitel: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings, Einband: Taschenbuch, Autor: Inês Lynce, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 440, Maße: 235x155x24 mm, Gewicht: 663 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Boolean Functions Competition Probability SAT solvers Semantics Software Engineering Software Evaluation computer programming constraint theory decision theory formal logic formal verification problem solving satisfiability theorem proving verification.

Jetzt bei Ebay:

Zum Angebot *

Seiten:

440
Gewicht:

663
Einband:

Taschenbuch
Marke:

Springer International Publishing, Springer Nature Switzerland
Fachbereich:

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

Theory and Applications of Satisfiability Testing - SAT 2019
Buchtitel:

Theory and Applications of Satisfiability Testing - SAT 2019
Untertitel:

22nd International Conference, SAT 2019, Lisbon, Portugal, Jul...
Film-/Fernseh-Titel:

Keine Angabe
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Artificial Intelligence Boolean Functions Competition Proba...
ISBN:

9783030242572
Reihe:

Theoretical Computer Science And General Issues
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

2019
Anzahl der Seiten:

440 Seiten
Autor:

Mikolás Janota, Inês Lynce
Verlag:

Springer International Publishing
Publikationsname:

Theory And Applications of Satisfiability Testing-Sat 2019
Sprache:

Englisch

Standardversand:

DHL Kleinpaket kostenlos - Lieferung zwischen 24. June 2025 und 26. June 2025 (bei heutigem Zahlungseingang)
Standardversand:

DHL Paket 3,99 EUR - Lieferung zwischen 24. June 2025 und 26. June 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