Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Proof Engines for the Analysis of Hybrid Discrete-continuous Systems

Język AngielskiAngielski
Książka Miękka
Książka Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Christian Herde
Kod Libristo: 01782369
Wydawnictwo Springer Fachmedien Wiesbaden, luty 2011
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Organisches Germanium Kazuhiko Asai / Książka Miękka
common.buy 75.37 zł
Das Innerste Beruhren Maike Stüven / Książka Twarda
common.buy 68.64 zł
Hochdeutsche Gedichte Friedrich Stoltze / Książka Miękka
common.buy 177.44 zł
Betriebswirtschaftslehre für das Sozialwesen Arnold Pracht / Książka Miękka
common.buy 80.79 zł
Architettura di rete con indirizzamento ricorsivo Hee Kim Young Hee Kim / Książka Miękka
common.buy 102.27 zł
Catálogo da flora vascular galega NIÑO RICOI / Książka Miękka
common.buy 79.18 zł
Prehistorický svět v životní velikosti Dougal Dixon / Książka Twarda
common.buy 71.25 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Autor Christian Herde
Język Angielski
Oprawa Książka - Miękka
Data wydania 2011
Liczba stron 163
EAN 9783834814944
ISBN 3834814946
Kod Libristo 01782369
Wydawnictwo Springer Fachmedien Wiesbaden
Waga 228
Wymiary 148 x 210 x 9

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka)
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Plays by H. J. Byron Jim Davis / Książka Twarda
common.buy 45.56 zł
The Book Nook Curse Laetitia Clark / Książka Miękka
common.buy 70.25 zł
GAMERS BAR REEDER CASSANDRA / Książka Twarda
common.buy 82.49 zł
Anti-Semitism and the Holocaust Beth A. Griech-Polelle / Książka Miękka
common.buy 150.64 zł
Nanostructured Materials for Energy Related Applications Rajendran Saravanan / Książka Twarda
common.buy 436.59 zł
Awesome Truths: Confessions of a Believer A Atkinson / Książka Miękka
common.buy 47.46 zł
Are You Addicted To Food? Diane Del Vescio / Książka Miękka
common.buy 74.26 zł
Ellen Shipman and the American Garden Judith B. Tankard / Książka Twarda
common.buy 166.40 zł
Basic Equality and Discrimination Smith / Książka Miękka
common.buy 327.59 zł
Power of Womanhood, or Mothers and Sons A Book For Parents, And Those In Loco Parentis Ellice Hopkins / Książka Twarda
common.buy 87.21 zł
Digital Repetitive Control under Varying Frequency Conditions Germán Andrés Ramos Fuentes / Książka Miękka
common.buy 218.99 zł
English Plus: Starter: Audio CD Ben Wetz / Audio CD Audio
common.buy 211.97 zł
Competitive Strategies for the 21st Century Thomas Mahnken / Książka Miękka
common.buy 132.07 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?