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

avaa valikko

checking | Booky.fi

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



Disinformation - A Multi-Disciplinary Analysis
Ginsborg, Lisa; Gori, Paula
Springer Nature Switzerland AG
2026
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Disinformation - A Multi-Disciplinary Analysis
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
193,90 €
Formal Methods: Foundations and Applications - 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedi
ter Beek, Maurice H.; Teixeira, Leopoldo
Springer Nature Switzerland AG
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, Proceedi
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
79,90 €
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria,
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 €
Clinical Handbook of Obsessive-Compulsive and Related Disorders - A Case-Based Approach to Treating Pediatric and Adult Populati
Storch, Eric A.; Lewin, Adam B.
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Clinical Handbook of Obsessive-Compulsive and Related Disorders - A Case-Based Approach to Treating Pediatric and Adult Populati
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
141,90 €
From Programs to Systems - The Systems Perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble
Bensalem, Saddek; Lakhnech, Yassine; Legay, Axel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
From Programs to Systems - The Systems Perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
49,20 €
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Pa
Kroening, Daniel; Păsăreanu, Corina S.
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Pa
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part
Chaudhuri, Swarat; Farzan, Azadeh
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Logical Foundations of Cyber-Physical Systems
Platzer, André
Springer
2018
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Logical Foundations of Cyber-Physical Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
56,10 €
Tests and Proofs - 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proce
Dubois, Catherine; Wolff, Burkhart
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Tests and Proofs - 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proce
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Compositional Stability Verification of Hybrid Systems
Mitrohin, Corina
Shaker Verlag
2013
Pehmeäkantinen kirja
Saatavuus: Loppuunmyyty
 Loppuunmyyty
Compositional Stability Verification of Hybrid Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
75,50 €
Advanced Automation in Formal Verification of Processors
Kühne, Ulrich
Shaker Verlag
2009
Pehmeäkantinen kirja
Saatavuus: Loppuunmyyty
 Loppuunmyyty
Advanced Automation in Formal Verification of Processors
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
79,60 €
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Pa
Kroening, Daniel; Păsăreanu, Corina S.
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Pa
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Urban, Christian; Zhang, Xingyuan
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Data Integration in the Life Sciences - 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceed
Ashish, Naveen; Ambite, Jose-Luis
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Data Integration in the Life Sciences - 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceed
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
49,20 €
Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Calinescu, Radu; Rumpe, Bernhard
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Computer Performance Engineering - 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
Beltrán, Marta; Knottenbelt, William; Bradley, Jeremy
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Performance Engineering - 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
49,20 €
Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Fischer, Bernd; Geldenhuys, Jaco
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Neth
Koornneef, Floor; van Gulijk, Coen
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Neth
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Fundamentals of Software Engineering - 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selecte
Dastani, Mehdi; Sirjani, Marjan
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Fundamentals of Software Engineering - 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selecte
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 20
Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €

Näytä lisää...