Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Proof Engines for the Analysis of Hybrid Discrete-continuous Systems

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Christian Herde
Libristo kód: 01782369
Nakladatelství Springer Fachmedien Wiesbaden, únor 2011
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Organisches Germanium Kazuhiko Asai / Kniha Brožovaná
common.buy 404 Kč
Das Innerste Beruhren Maike Stüven / Kniha Pevná
common.buy 369 Kč
Hochdeutsche Gedichte Friedrich Stoltze / Kniha Brožovaná
common.buy 954 Kč
Betriebswirtschaftslehre für das Sozialwesen Arnold Pracht / Kniha Brožovaná
common.buy 435 Kč
Architettura di rete con indirizzamento ricorsivo Hee Kim Young Hee Kim / Kniha Brožovaná
common.buy 550 Kč
Catálogo da flora vascular galega NIÑO RICOI / Kniha Brožovaná
common.buy 452 Kč
Prehistorický svět v životní velikosti Dougal Dixon / Kniha Pevná
common.buy 424 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Autor Christian Herde
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 163
EAN 9783834814944
ISBN 3834814946
Libristo kód 01782369
Nakladatelství Springer Fachmedien Wiesbaden
Váha 228
Rozměry 148 x 210 x 9

Kategorie

Výpočetní a informační technologie > Informatika
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Plays by H. J. Byron Jim Davis / Kniha Pevná
common.buy 248 Kč
The Book Nook Curse Laetitia Clark / Kniha Brožovaná
common.buy 381 Kč
GAMERS BAR REEDER CASSANDRA / Kniha Pevná
common.buy 442 Kč
Anti-Semitism and the Holocaust Beth A. Griech-Polelle / Kniha Brožovaná
common.buy 825 Kč
Nanostructured Materials for Energy Related Applications Rajendran Saravanan / Kniha Pevná
common.buy 2 357 Kč
Awesome Truths: Confessions of a Believer A Atkinson / Kniha Brožovaná
common.buy 258 Kč
Are You Addicted To Food? Diane Del Vescio / Kniha Brožovaná
common.buy 403 Kč
Ellen Shipman and the American Garden Judith B. Tankard / Kniha Pevná
common.buy 897 Kč
Basic Equality and Discrimination Smith / Kniha Brožovaná
common.buy 1 787 Kč
Power of Womanhood, or Mothers and Sons A Book For Parents, And Those In Loco Parentis Ellice Hopkins / Kniha Pevná
common.buy 469 Kč
Digital Repetitive Control under Varying Frequency Conditions Germán Andrés Ramos Fuentes / Kniha Brožovaná
common.buy 1 182 Kč
English Plus: Starter: Audio CD Ben Wetz / Audio Audio CD
common.buy 1 150 Kč
Competitive Strategies for the 21st Century Thomas Mahnken / Kniha Brožovaná
common.buy 714 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?