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

avaa valikko

verification | Booky.fi

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



Savant, Nagnath
APRESS L.P.
2026
Pehmeäkantinen kirja
Saatavuus: Tulossa! Tulossa!
Tuote ilmestyy 09/2026. Voit tehdä tilauksen heti ja toimitamme tuotteen kun saamme sen varastoomme.
Blockchain Foundations
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
65,50 €
Papadopoulos, Symeon; Bontcheva, Kalina; Mezaris, Vasileios; Rogers, Richard
Springer
2026
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Countering Disinformation in the Era of Generative AI
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
223,70 €
Heckel, Reiko; Taentzer, Gabriele
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Damiani, Ferruccio; Farrell, Marie
Springer
2025
Pehmeäkantinen kirja
Saatavuus: Hankintapalvelu Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen.
Integrated Formal Methods : 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
107,50 €
Saleh, Iman
Springer
2015
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formalizing Data-Centric Web Services
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Ray, Indrajit; Gaur, Manoj Singh; Conti, Mauro; Sanghi, Dheeraj; Kamakoti, V.
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Information Systems Security - 12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
D´Souza, Meenakshi; Komondoor, Raghavan; Srivathsan, B.
Springer
2025
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Automated Technology for Verification and Analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
109,50 €
Markowski, Kelly L.; Harrod, Michael M.; Brenner, Philip S.
Springer Nature Switzerland AG
2026
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Identity Development and Maintenance in Context - Cases from Higher Education, Health Care, and Other Settings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
201,70 €
El-Fakih, Khaled; Barlas, Gerassimos; Yevtushenko, Nina
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, N
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Manulis, Mark
Springer
2025
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Applied Cryptography and Network Security Workshops : ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
93,10 €
Manulis, Mark
Springer
2025
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Applied Cryptography and Network Security Workshops : ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
93,80 €
Manulis, Mark
Springer
2025
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Applied Cryptography and Network Security Workshops : ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
92,50 €
Ganty, Pierre; Mansutti, Alessio
Springer
2025
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Reachability Problems : 19th International Conference, RP 2025, Madrid, Spain, October 1–3, 2025, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
79,50 €
Loitz, Sacha
Shaker Verlag
2014
Pehmeäkantinen kirja
Saatavuus: Loppuunmyyty
Loppuunmyyty
A Property Checking Methodology for Weakly Programmable System-on-Chip IPs
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
75,80 €
Lohmann, Sven
Shaker Verlag
2012
Pehmeäkantinen kirja
Saatavuus: Loppuunmyyty
Loppuunmyyty
Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Requirements
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
79,50 €
Jobstmann, Barbara; Leino, K. Rustan M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Eckermann, Frauke
Peter Lang AG
2008
Pehmeäkantinen kirja
Saatavuus: Painos loppu Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma.
Efficient Enforcement of Truth-Telling in the Grandfathering Process of an Emissions Trading Scheme
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
40,20 €
Echahed, Rachid; Minas, Mark
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, A
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Singh, Mayank; Gupta, P.K.; Tyagi, Vipin; Sharma, Arun; Ören, Tuncer; Grosky, William
Springer
2017
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Advances in Computing and Data Sciences : First International Conference, ICACDS 2016, Ghaziabad, India, November 11-12,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Lahiri, Shuvendu; Reger, Giles
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €

Näytä lisää...