checking | Akateeminen Kirjakauppa

Transactions on Petri Nets and Other Models of Concurrency XI

Koutny, Maciej; Desel, Jörg; Kleijn, Jetty
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2016
Pehmeäkantinen kirja

51,10 €

Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025,

Remke, Anne; Steffen, Bernhard
Springer Nature Switzerland AG
2025
Pehmeäkantinen kirja

82,80 €

Disinformation - A Multi-Disciplinary Analysis

Ginsborg, Lisa; Gori, Paula
Springer Nature Switzerland AG
2026
Kovakantinen kirja

196,80 €

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

49,20 €

Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France

Butler, Michael; Conchon, Sylvain; Zaïdi, Fatiha
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China,

Li, Xuandong; Liu, Zhiming; Yi, Wang
Springer International Publishing AG
2015
Pehmeäkantinen kirja

49,20 €

Formal Techniques for Safety-Critical Systems - 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revis

Artho, Cyrille; Ölveczky, Peter Csaba
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Logical Foundations of Cyber-Physical Systems

Platzer, André
Springer International Publishing AG
2018
Kovakantinen kirja

56,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

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

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

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

51,10 €

Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proce

Feng, Xinyu; Park, Sungwoo
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Security Standardisation Research - Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings

Chen, Liqun; Matsuo, Shin'ichiro
Springer International Publishing AG
2015
Pehmeäkantinen kirja

49,20 €

Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, A

Echahed, Rachid; Minas, Mark
Springer International Publishing AG
2016
Pehmeäkantinen kirja

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

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

51,10 €

Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Blanchette, Jasmin Christian; Merz, Stephan
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

Cinquemani, Eugenio; Donzé, Alexandre
Springer International Publishing AG
2016
Pehmeäkantinen kirja

43,20 €

Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part

Majumdar, Rupak; Kunčak, Viktor
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €