Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Name: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Brand: Springer Fachmedien Wiesbaden
SKU: 01782369
Price: 51.78 EUR
Availability: InStock
Author: Christian Herde
ISBN: 9783834814944

Proof Engines for the Analysis of Hybrid Discrete-continuous Systems

Christian Herde

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01782369

Nakladnici Springer Fachmedien Wiesbaden, veljača 2011

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver... Cijeli opis

Libristo kod: 01782369

125 b

51.78 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Organisches Germanium Kazuhiko Asai

Meki uvez

17.83 €

Das Innerste Beruhren Maike Stüven

Tvrdi uvez

16.21 €

Hochdeutsche Gedichte Friedrich Stoltze

Meki uvez

41.95 €

Betriebswirtschaftslehre für das Sozialwesen Arnold Pracht

Meki uvez

19.04 €

Architettura di rete con indirizzamento ricorsivo Hee Kim Young Hee Kim

Meki uvez

24.21 €

Catálogo da flora vascular galega NIÑO RICOI

Meki uvez

17.02 €

Prehistorický svět v životní velikosti Dougal Dixon

Tvrdi uvez

16.81 €

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.