Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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: 48.9 EUR
Availability: InStock
Author: Christian Herde
ISBN: 9783834814944

Proof Engines for the Analysis of Hybrid Discrete-continuous Systems

Christian Herde

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01782369

Založba Springer Fachmedien Wiesbaden, februar 2011

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

Koda Libristo: 01782369

118 b

48.90 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Organisches Germanium Kazuhiko Asai

Mehka

16.70 €

Das Innerste Beruhren Maike Stüven

Trda

15.28 €

Hochdeutsche Gedichte Friedrich Stoltze

Mehka

39.48 €

Betriebswirtschaftslehre für das Sozialwesen Arnold Pracht

Mehka

18.01 €

Architettura di rete con indirizzamento ricorsivo Hee Kim Young Hee Kim

Mehka

22.77 €

Catálogo da flora vascular galega NIÑO RICOI

Mehka

17.10 €

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

Trda

15.79 €

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.