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ä?



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,30 €
Savant, Nagnath
APRESS L.P.
2026
Pehmeäkantinen kirja
Saatavuus: Tulossa! Tulossa!
Tuote ilmestyy 08/2026. Voit tehdä tilauksen heti ja toimitamme tuotteen kun saamme sen varastoomme.
Blockchain Foundations
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
65,50 €
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 €
Brenner, Michael; Rohloff, Kurt; Bonneau, Joseph; Miller, Andrew; Ryan, Peter Y.A.; Teague, Vanessa; Bracciali, Andrea; Sala, Ma
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Remke, Anne; Steffen, Bernhard
Springer
2025
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,20 €
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,70 €
ter Beek, Maurice H.; Teixeira, Leopoldo
Springer
2025
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
79,60 €
Rueher, Michel
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 201
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
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 €
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 €
De Nicola, Rocco; Kühn, Eva
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Milazzo, Paolo; Varró, Dániel; Wimmer, Manuel
Springer
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Charlier, Émilie; Leroy, Julien; Rigo, Michel
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
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 €
Tian, Cong; Nagoya, Fumiko; Liu, Shaoying; Duan, Zhenhua
Springer
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Podelski, Andreas
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bakhshi, Rena; Ballarini, Paolo; Barbot, Benoît; Castel-Taleb, Hind; Remke, Anne
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
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
94,00 €

Näytä lisää...