Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

satisfiability | Booky.fi

Haullasi löytyi yhteensä 9 tuotetta
Haluatko tarkentaa hakukriteerejä?



Hamadi, Youssef; Sais, Lakhdar
Springer
2018
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Handbook of Parallel Constraint Reasoning
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
137,30 €
Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
Springer
2016
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Probability Logics : Probability-Based Formalization of Uncertain Reasoning
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
130,80 €
Majumdar, Rupak; Kunčak, Viktor
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Sülflow, André
Shaker Verlag
2010
Pehmeäkantinen kirja
Saatavuus: Loppuunmyyty
Loppuunmyyty
WoLFram - A Word Level Framework for Formal Verification and its Application
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
79,60 €
Bonacina, Ilario
Springer
2018
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Space in Weak Propositional Proof Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Dillig, Isil; Palsberg, Jens
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, Jan
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Kochmann, Thomas F
Books on Demand
2019
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 2-3 viikossa
Logical Evolutionary Language - A Mathematical Model for Darwinian Selection on Multiple Levels
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
24,90 €
Vojnar, Tomáš; Zhang, Lijun
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of t
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Vemuri, Ranga; Chen, Suyuan
Springer
2021
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Split Manufacturing of Integrated Circuits for Hardware Security and Trust : Methods, Attacks and Defenses
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
86,00 €