Verification | Booky.fi

Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta,

Brenner, Michael; Rohloff, Kurt; Bonneau, Joseph; Miller, Andrew; Ryan, Peter Y.A.; Teague, Vanessa; Bracciali, Andrea; Sala, Ma
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

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

81,20 €

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

Savant, Nagnath
APress
2026
Pehmeäkantinen kirja

51,90 €

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 €

Close-Range Photogrammetry and 3D Imaging

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

124,20 €

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 €

Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp,

Milazzo, Paolo; Varró, Dániel; Wimmer, Manuel
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 €

Computing and Software Science - State of the Art and Perspectives

Steffen, Bernhard; Woeginger, Gerhard
Springer International Publishing AG
2019
Pehmeäkantinen kirja

31,20 €

Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France,

Johnsen, Einar Broch; Schaefer, Ina
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,10 €

Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018,

Galmiche, Didier; Schulz, Stephan; Sebastiani, Roberto
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,10 €

Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

Podelski, Andreas; Taïani, François
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,10 €

Quality Assured Measurement - Unification across Social and Physical Sciences

Pendrill, Leslie
Springer Nature Switzerland AG
2019
Kovakantinen kirja

128,30 €

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,90 €

Behavior Modeling -- Foundations and Applications - International Workshops, BM-FA 2009-2014, Revised Selected Papers

Roubtsova, Ella; McNeile, Ashley; Kindler, Ekkart; Gerth, Christian
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 €

Graphical Models for Security - Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Pape

Mauw, Sjouke; Kordy, Barbara; Jajodia, Sushil
Springer International Publishing AG
2016
Pehmeäkantinen kirja

43,20 €

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

226,40 €

Fast Software Encryption - 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers

Peyrin, Thomas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2016
Pehmeäkantinen kirja

86,00 €