Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 €
SPS 4.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.99 €
Packeta kurýr 4.99 €
Packeta 2.99 €
SPS Parcel Shop 2.99 €
Ako nakupovať
Pomoc
Doručenie
Pošta 4.49 €
SPS 4.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.99 €
Packeta kurýr 4.99 €
Packeta 2.99 €
SPS Parcel Shop 2.99 €
Doprava zadarmo s Packetou nad 59.99 €
Nákupný poradca
Sme tu pre Vás!
02/210 210 99
Môj účet
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
▸
Prázdny :-(
0
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver...
Celý popis
Libristo kód: 01782369
?
154 b
154 b
61.46
€
Skladom u dodávateľa v malom množstve
Odosielame za 13-16 dní
30 dní na vrátenie tovaru
Mohlo by vás tiež zaujímať
/
Brožovaná
61.46
€
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.
Informácie o knihe
Celý názov
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Autor
Christian Herde
Jazyk
Angličtina
Angličtina
Väzba
Kniha - Brožovaná
Dátum vydania
2011
Počet strán
163
EAN
9783834814944
ISBN
3834814946
Libristo kód
01782369
Nakladateľstvo
Springer Fachmedien Wiesbaden
Váha
228
Rozmery
148 x 210 x 9
Kategórie
