Checking | Booky.fi

Disinformation : A Multi-Disciplinary Analysis

Ginsborg, Lisa; Gori, Paula
Springer
2026
Kovakantinen kirja

191,80 €

Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025,

ter Beek, Maurice H.; Teixeira, Leopoldo
Springer
2025
Pehmeäkantinen kirja

79,10 €

Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 20

Howar, Falk; Barnat, Jiří
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja

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

51,10 €

Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, N

El-Fakih, Khaled; Barlas, Gerassimos; Yevtushenko, Nina
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

A Polynomial Translation of Mobile Ambients into Safe Petri Nets : Understanding a Calculus of Hierarchical Protection

Göbel, Susanne
Springer Vieweg
2016
Pehmeäkantinen kirja

51,10 €

Membrane Computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

Rozenberg, Grzegorz; Salomaa, Arto; Sempere, José M.; Zandron, Claudio
Springer
2016
Pehmeäkantinen kirja

51,10 €

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

Artho, Cyrille; Ölveczky, Peter Csaba
Springer
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 €

Computational Methods in Systems Biology : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29,

Feret, Jérôme; Koeppl, Heinz
Springer
2017
Pehmeäkantinen kirja

51,10 €

Comparing and Aligning Process Representations : Foundations and Technical Solutions

van der Aa, Han
Springer
2018
Pehmeäkantinen kirja

51,10 €

Eishockey - extrem cool (Wandkalender 2020 DIN A2 quer)

Roder, Peter
Calvendo
2019
Kalenteri

98,00 €

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 6th

ter Beek, Maurice H.; Collart-Dutilleul, Simon; Lecomte, Thierry
Springer
2025
Pehmeäkantinen kirja

79,10 €

Concise Introduction to Alternating-Time Temporal Logics - A Guide for Understanding the Model-Checking Problem

Demri, Stéphane
Springer Nature Switzerland AG
2026
Kovakantinen kirja

97,60 €

Data Integration in the Life Sciences : 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015,

Ashish, Naveen; Ambite, Jose-Luis
Springer
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 €

Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA,

Jobstmann, Barbara; Leino, K. Rustan M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja

51,10 €

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 €

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 €

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 €