Verification | Akateeminen Kirjakauppa

Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August

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

82,80 €

Close-Range Photogrammetry and 3D Imaging

Luhmann, Thomas; Robson, Stuart; Kyle, Stephen; Boehm, Jan
De Gruyter
2013
Kovakantinen kirja

124,20 €

Blockchain Foundations - Mastering Cryptographic Primitives, Consensus Mechanisms, and the Mathematics Behind Distributed Ledger

Savant, Nagnath
APress
2026
Pehmeäkantinen kirja

51,90 €

Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, P

Italiano, Giuseppe F.; Pighizzini, Giovanni; Sannella, Donald T.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja

51,10 €

Security Standardisation Research - 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceeding

Cremers, Cas; Lehmann, Anja
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja

51,10 €

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Nakao, Mitsuhiro T.; Plum, Michael; Watanabe, Yoshitaka
Springer
2019
Kovakantinen kirja

128,30 €

Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Pro

Pun, Violet Ka I; Stolz, Volker; Simao, Adenilso
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Formalizing Data-Centric Web Services

Saleh, Iman
Springer
2015
Kovakantinen kirja

51,10 €

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 €

Cryptology and Network Security - 14th International Conference, CANS 2015, Marrakesh, Morocco, December 10-12, 2015, Proceeding

Reiter, Michael; Naccache, David
Springer International Publishing AG
2015
Pehmeäkantinen kirja

49,20 €

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

51,10 €

Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

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

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 €

Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, Nov

Piterman, Nir
Springer International Publishing AG
2015
Pehmeäkantinen kirja

49,20 €

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 €

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 €

Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veit

Mazzara, Manuel; Voronkov, Andrei
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Advanced Automated Software Testing - Frameworks for Refined Practice

Alsmadi, Izzat
Idea Group,U.S.
2012
Kovakantinen kirja

223,90 €