|
|

avaa valikko

checking | Akateeminen Kirjakauppa

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



Ginsborg, Lisa; Gori, Paula
Springer
2026
Kovakantinen kirja
Disinformation : A Multi-Disciplinary Analysis
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
191,70 €
Chaudhuri, Swarat; Farzan, Azadeh
Springer International Publishing AG
2016
Pehmeäkantinen kirja
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 €
Majumdar, Rupak; Kunčak, Viktor
Springer International Publishing AG
2017
Pehmeäkantinen kirja
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 €
Feret, Jérôme; Koeppl, Heinz
Springer
2017
Pehmeäkantinen kirja
Computational Methods in Systems Biology : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Göbel, Susanne
Springer Vieweg
2016
Pehmeäkantinen kirja
A Polynomial Translation of Mobile Ambients into Safe Petri Nets : Understanding a Calculus of Hierarchical Protection
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Howar, Falk; Barnat, Jiří
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja
Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Koornneef, Floor; van Gulijk, Coen
Springer International Publishing AG
2015
Pehmeäkantinen kirja
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 €
Devitt, Simon; Lanese, Ivan
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Blanchette, Jasmin Christian; Merz, Stephan
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Mitrohin, Corina
Shaker Verlag
2013
Pehmeäkantinen kirja
Compositional Stability Verification of Hybrid Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
75,50 €
Roder, Peter
Calvendo
2019
Kalenteri
Eishockey - extrem cool (Wandkalender 2020 DIN A2 quer)
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
98,00 €
Kühne, Ulrich
Shaker Verlag
2009
Pehmeäkantinen kirja
Advanced Automation in Formal Verification of Processors
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
79,60 €
Kroening, Daniel; Păsăreanu, Corina S.
Springer International Publishing AG
2015
Pehmeäkantinen kirja
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 €
Kroening, Daniel; Păsăreanu, Corina S.
Springer International Publishing AG
2015
Pehmeäkantinen kirja
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 €
Urban, Christian; Zhang, Xingyuan
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Ashish, Naveen; Ambite, Jose-Luis
Springer
2015
Pehmeäkantinen kirja
Data Integration in the Life Sciences : 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
49,20 €
Calinescu, Radu; Rumpe, Bernhard
Springer International Publishing AG
2015
Pehmeäkantinen kirja
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 €
Beltrán, Marta; Knottenbelt, William; Bradley, Jeremy
Springer International Publishing AG
2015
Pehmeäkantinen kirja
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 €
Fischer, Bernd; Geldenhuys, Jaco
Springer
2015
Pehmeäkantinen kirja
Model Checking Software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Dastani, Mehdi; Sirjani, Marjan
Springer International Publishing AG
2015
Pehmeäkantinen kirja
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 €

Näytä lisää...