Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 3.99 €
DPD-Stelle 2.99 €
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 3.99 €
DPD-Stelle 2.99 €
Kostenloser Versand mit Zásilkovna ab 69.99 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Theory and Application of Satisfiability Testing
14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Ap...
Vollständige Beschreibung
Libristo-Code: 01658153
?
148 b
148 b
60.49
€
inkl. MwSt.
Externes Lager in kleiner Menge
Wir versenden in 14-21 Tagen
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
/
Broschur
13.19
€
/
Broschur
16.09
€
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.§The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiable subsets, SAT algorithms, quantified Boolean formulae, model enumeration and local search, and empirical evaluation.
Schauspielerin
&
Polyglotte
EWA KASP
für
Video abspielen
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.
Informationen zum Buch
Vollständiger Name
Theory and Application of Satisfiability Testing
Autor
Karem A. Sakallah, Laurent Simon
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2011
Anzahl der Seiten
371
EAN
9783642215803
ISBN
3642215807
Libristo-Code
01658153
Gewicht
597
Abmessungen
155 x 235 x 23
Kategorie
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse
>
Elektronik, Nachrichtentechnik
>
Elektronik
>
Regelungstechnik
>
Robotik
EDV und Informationstechnologie
>
Informatik
>
Mensch-Computer-Interaktion
>
Interfacedesign, Benutzerfreundlichkeit (Usability)
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefertDas könnte Sie auch interessieren
/
Broschur
41.69
€
/
Broschur
13.59
€
Buchberater Libroamiko
Durch die Nutzung dieses Chats kommunizieren Sie mit generativer künstlicher Intelligenz. Mit der Nutzung erklären Sie sich auch mit der Verarbeitung personenbezogener Daten einverstanden.
Hallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?
Hallo, ich bin Libroamiko, kann ich helfen?