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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Proof Engines for the Analysis of Hybrid Discrete-continuous Systems

Sprache EnglischEnglisch
Buch Broschur
Buch Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Christian Herde
Libristo-Code: 01782369
Verlag Springer Fachmedien Wiesbaden, Februar 2011
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Organisches Germanium Kazuhiko Asai / Buch Broschur
common.buy 21.00 €
Das Innerste Beruhren Maike Stüven / Buch Hardcover
common.buy 17.99 €
Hochdeutsche Gedichte Friedrich Stoltze / Buch Broschur
common.buy 46.90 €
Betriebswirtschaftslehre für das Sozialwesen Arnold Pracht / Buch Broschur
common.buy 19.95 €
Architettura di rete con indirizzamento ricorsivo Hee Kim Young Hee Kim / Buch Broschur
common.buy 25.29 €
Catálogo da flora vascular galega NIÑO RICOI / Buch Broschur
common.buy 19.29 €
Prehistorický svět v životní velikosti Dougal Dixon / Buch Hardcover
common.buy 18.69 €

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.

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 Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Autor Christian Herde
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2011
Anzahl der Seiten 163
EAN 9783834814944
ISBN 3834814946
Libristo-Code 01782369
Verlag Springer Fachmedien Wiesbaden
Gewicht 228
Abmessungen 148 x 210 x 9

Kategorie

EDV und Informationstechnologie > Informatik
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

Plays by H. J. Byron Jim Davis / Buch Hardcover
common.buy 11.09 €
The Book Nook Curse Laetitia Clark / Buch Broschur
common.buy 17.19 €
GAMERS BAR REEDER CASSANDRA / Buch Hardcover
common.buy 20.49 €
Anti-Semitism and the Holocaust Beth A. Griech-Polelle / Buch Broschur
common.buy 36.59 €
Nanostructured Materials for Energy Related Applications Rajendran Saravanan / Buch Hardcover
common.buy 107.29 €
Awesome Truths: Confessions of a Believer A Atkinson / Buch Broschur
common.buy 11.59 €
Are You Addicted To Food? Diane Del Vescio / Buch Broschur
common.buy 18.19 €
Ellen Shipman and the American Garden Judith B. Tankard / Buch Hardcover
common.buy 40.99 €
Basic Equality and Discrimination Smith / Buch Broschur
common.buy 79.79 €
Power of Womanhood, or Mothers and Sons A Book For Parents, And Those In Loco Parentis Ellice Hopkins / Buch Hardcover
common.buy 21.49 €
Digital Repetitive Control under Varying Frequency Conditions Germán Andrés Ramos Fuentes / Buch Broschur
common.buy 53.79 €
English Plus: Starter: Audio CD Ben Wetz / Audio Audio CD
common.buy 49.39 €
Competitive Strategies for the 21st Century Thomas Mahnken / Buch Broschur
common.buy 32.49 €

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?