Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti.
Izradite besplatni račun
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 €
Pošta 4.99 €
Overseas 4.99 €
Box Now 4.49 €
GLS 4.99 €
DPD točka 3.49 €
GLS paketomat 3.99 €
Kontakt
Kako kupovati
Pomoć
Dostava
DPD kurir 3.99 €
Pošta 4.99 €
Overseas 4.99 €
Box Now 4.49 €
GLS 4.99 €
DPD točka 3.49 €
GLS paketomat 3.99 €
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
Savjetnik za kupnju
Ovdje smo zbog vas!
+385 21 784 0072
Moj račun
▸
Prazno :-(
0
Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Proof Engines for the Analysis of Hybrid Discrete-continuous Systems
Jezik
Engleski
Engleski
Knjiga
Meki uvez
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver...
Cijeli opis
Libristo kod: 01782369
?
125 b
125 b
51.69
€
Vanjske zalihe
Šaljemo za 5-8 dana
30 dana za povrat kupljenih proizvoda
Kupci su kupili i
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.
Glumica
&
Poliglotkinja
EWA KASP
za
Pusti video
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.
Informacije o knjizi
Puni naziv
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Autor
Christian Herde
Jezik
Engleski
Engleski
Uvez
Knjiga - Meki uvez
Datum izdanja
2011
Broj stranica
163
EAN
9783834814944
ISBN
3834814946
Libristo kod
01782369
Nakladnici
Springer Fachmedien Wiesbaden
Težina
228
Dimenzije
148 x 210 x 9
Kategorija
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimcaMoglo bi vas zanimati i
/
Tvrdi uvez
20.53
€
/
Meki uvez
51.69
€
