Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih.
Ustvarite brezplačen račun
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 €
Zbirna točka DPD 2.99 €
Kurirska služba GLS 5.49 €
Kurir DPD 3.49 €
Kurirska služba 3.49 €
Zbirno mesto 3.49 €
Zbirno mesto 3.49 €
Dostava preko Pošte Slovenije 3.49 €
Kontakt
Kako nakupovati
Pomoč
Dostava
Zbirna točka GLS 4.49 €
Zbirna točka DPD 2.99 €
Kurirska služba GLS 5.49 €
Kurir DPD 3.49 €
Kurirska služba 3.49 €
Zbirno mesto 3.49 €
Zbirno mesto 3.49 €
Dostava preko Pošte Slovenije 3.49 €
Brezplačna dostava Zásilkovna nad 69.99 €
Svetovalec pri nakupu
Moj račun
▸
Prazna :-(
0
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.
Jezik
Angleščina
Angleščina
Knjiga
Mehka
This thesis studies the problem of determining the satisfiability of a Boolean combination of binary...
Celoten opis
Koda Libristo: 06823310
?
108 b
108 b
44.71
€
Od založnika po naročilu
Odposlali bomo v 17-27 dneh
30 dni za vračilo blaga
This thesis studies the problem of determining the satisfiability of a Boolean combination of binary difference constraints of the form x-y where x and y are numeric variables and constant. In particular,we present y can incremental and model-based inter preter for the theory of difference constraints in the context of a generic Boolean satisfiability checking procedure capable of incorporating interpreters for arbitrary theories. We show how to use the model based approach to efficiently make inferences with the option of complete inference.
Igralka
&
Poliglotka
EWA KASP
za
Predvajaj video
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.
O knjigi
Polni naslov
Satisfiability Checking with Difference Constraints
Avtor
Brian O'connor
Jezik
Angleščina
Angleščina
Vezava
Knjiga - Mehka
Datum izida
2010
Število strani
80
EAN
9783639147384
ISBN
3639147383
Koda Libristo
06823310
Založba
VDM Verlag
Teža
127
Mere
152 x 229 x 5
Kategorije
