Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

SAT 2005

Satisfiability Research in the Year 2005

Sprache EnglischEnglisch
Buch Broschur
Buch SAT 2005 Enrico Giunchiglia
Libristo-Code: 09160830
Verlag Springer, Dezember 2014
This book covers recent progress in solving propositional satisfiability and related problems. Propo... Vollständige Beschreibung
? points 394 b
160.89 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Schnecken-Coaching Eckhard vom Frieden / Buch Broschur
common.buy 9.99 €
Total Quality Management Gerold Gizycki / Buch Broschur
common.buy 39.99 €
Vzpomínka na Zemi Liou Cch´-Sin / Buch Broschur
common.buy 9.29 €
Enderův stín Orson Scott Card / Buch Hardcover
common.buy 13.69 €
Hegemonův stín Orson Scott Card / Buch Hardcover
common.buy 13.69 €
Pedro Salinas y sus circunstancias : biografía Jean Cross Newman / Buch Broschur
common.buy 35.99 €
Le travail de l' obscure clarté dans le fantome de l'opéra de gaston leroux Casta isabelle rachel / Buch Broschur
common.buy 20.09 €
Elan OLALLA PONS / Buch Broschur
common.buy 20.79 €
Auf der Reeperbahn nachts um halb eins Gustav Kampendonk / Video DVD
common.buy 20.39 €
Maik - Der Heimweg Michael Arnold / Buch Broschur
common.buy 9.99 €
Warum wir nach Anerkennung hungern Stefan Möller / Buch Broschur
common.buy 31.19 €
Nouvelles Lettres Du Grand Prophete: Nostradamus Eclairci, (Ed.1874) Henri Torne-Chavigny / Buch Broschur
common.buy 18.09 €
Les Tribulations de M. Le Prefet. Scenes Electorales De Maleville-L / Buch Broschur
common.buy 17.09 €
Wertpapier-Investmentfonds in Lebensversicherungsunternehmen Rainer Pflaum / Buch Broschur
common.buy 55.29 €
Deutsches Kolonial-Handbuch Rudolf Fitzner / Buch Broschur
common.buy 49.90 €
Rapsu eļļa - izejviela inovatīvu poliuretānu materiālu ieguvei Fridrihsone-Girone Anda / Buch Broschur
common.buy 52.19 €
Ansiedler an den Quellen des Susquehanna James Fenimore Cooper / Buch Broschur
common.buy 19.80 €
Trilby George Du Maurier / Buch Broschur
common.buy 17.90 €
Günstig
Deutsche Sprichwörter Karl Simrock / Buch Broschur
common.buy 12.95 €
Metodos para la seleccion optima de carteras de proyectos Olmedo Perez Rafael Antonio / Buch Broschur
common.buy 30.79 €
Kertomuksia Lapista osa 3 Juha Kivekäs / Buch Hardcover
common.buy 26.09 €
Deutsche Direktinvestitionen Fingerlos Uwe Rudolf / Buch Broschur
common.buy 74.90 €

This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.§

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name SAT 2005
Autor Enrico Giunchiglia, Toby Walsh
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2014
Anzahl der Seiten 293
EAN 9789400787155
ISBN 9789400787155
Libristo-Code 09160830
Verlag Springer
Gewicht 462
Abmessungen 155 x 235 x 16

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Betriebssysteme
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 geliefert

Das könnte Sie auch interessieren

Sarcoidosis Darren Harper / Buch Hardcover
common.buy 209.49 €
School Mentor Handbook Katherine Burn / Buch Broschur
common.buy 75.49 €
Sanctuary Matthew Mather / Buch Broschur
common.buy 20.09 €
Mayhem Harris / Buch Broschur
common.buy 16.59 €
Factors Affecting Academic Staff Turnover Intention Gebayaw Adugna / Buch Broschur
common.buy 51.19 €
Demnächst
Cahiers d'Art N Degrees1, 2014: Hiroshi Sugimoto: 38th Year, 100th issue Hiroshi Sugimoto / Buch Broschur
common.buy 89.89 €
Cathars, White Eagle and St John Colum Hayward / Buch Broschur
common.buy 14.49 €
Analisis Comparativo Entre El Proceso Ante La Corte Penal Internacional Y Ante El Derecho Espanol Carlota Garcia Zapata / Buch Broschur
common.buy 44.79 €
Strategic Utilization of Information Systems in Small Business M. Gordon Hunter / Buch Hardcover
common.buy 224.19 €
Athenaeum Raul Pompeia / Buch Broschur
common.buy 19.89 €
Scoring Off the Field Kausik Bandyopadhyay / Buch Broschur
common.buy 54.09 €
Trade, Transport and Society in the Ancient World (Routledge Revivals) Fik Meijer / Buch Broschur
common.buy 85.09 €
Accounting and Finance Policies and Procedures Rose Hightower / Buch Broschur
common.buy 110.29 €
International Democracy Assistance for Peacebuilding Sorpong Peou / Buch Broschur
common.buy 55.49 €
Addiction and Overdose: Confronting an American Crisis Connie Goldsmith / Buch Hardcover
common.buy 41.79 €
Falling Deeper Anathema / Audio Audio CD
common.buy 18.49 €
Little Women Frank T. Merrill / Buch Broschur
common.buy 43.79 €
Top
Kew Pocketbooks: Carnivorous Plants ROYAL BOTANIC GARDEN / Buch Hardcover
common.buy 12.19 €
Buddha Nature Tina Draszcyk / Buch Broschur
common.buy 13.89 €
Crawlers Deacon Jones / Buch Broschur
common.buy 15.19 €
Experience of a Slave in South Carolina John Andrew Jackson / Buch Broschur
common.buy 20.89 €
Solid State Ionics for Batteries C. Iwakura / Buch Broschur
common.buy 107.29 €
New Total English Elementary Students' Book with Active Book and MyLab Pack Mark Foley / Buch Broschur
common.buy 90.79 €
Plays of Josefina Niggli Josefina Niggli / Buch Broschur
common.buy 26.29 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?