Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

Proof Engines for the Analysis of Hybrid Discrete-continuous Systems

Christian Herde

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01782369

Nakladateľstvo Springer Fachmedien Wiesbaden, február 2011

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver... Celý popis

Libristo kód: 01782369

125 b

51.59 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Organisches Germanium Kazuhiko Asai

Brožovaná

17.76 €

Das Innerste Beruhren Maike Stüven

Pevná

16.15 €

Hochdeutsche Gedichte Friedrich Stoltze

Brožovaná

41.79 €

Betriebswirtschaftslehre für das Sozialwesen Arnold Pracht

Brožovaná

18.97 €

Architettura di rete con indirizzamento ricorsivo Hee Kim Young Hee Kim

Brožovaná

24.12 €

Catálogo da flora vascular galega NIÑO RICOI

Brožovaná

18.67 €

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

Pevná

13.72 €

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.