verification | Booky.fi

Blockchain Foundations

Savant, Nagnath
APRESS L.P.
2026
Pehmeäkantinen kirja

65,50 €

Countering Disinformation in the Era of Generative AI

Papadopoulos, Symeon; Bontcheva, Kalina; Mezaris, Vasileios; Rogers, Richard
Springer
2026
Kovakantinen kirja

223,70 €

Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig

Heckel, Reiko; Taentzer, Gabriele
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,10 €

Integrated Formal Methods : 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings

Damiani, Ferruccio; Farrell, Marie
Springer
2025
Pehmeäkantinen kirja

107,50 €

Formalizing Data-Centric Web Services

Saleh, Iman
Springer
2015
Kovakantinen kirja

51,10 €

Information Systems Security - 12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016, Proceedings

Ray, Indrajit; Gaur, Manoj Singh; Conti, Mauro; Sanghi, Dheeraj; Kamakoti, V.
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Automated Technology for Verification and Analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October

D´Souza, Meenakshi; Komondoor, Raghavan; Srivathsan, B.
Springer
2025
Pehmeäkantinen kirja

109,50 €

Identity Development and Maintenance in Context - Cases from Higher Education, Health Care, and Other Settings

Markowski, Kelly L.; Harrod, Michael M.; Brenner, Philip S.
Springer Nature Switzerland AG
2026
Kovakantinen kirja

201,70 €

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 €

Applied Cryptography and Network Security Workshops : ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt,

Manulis, Mark
Springer
2025
Pehmeäkantinen kirja

93,10 €

Applied Cryptography and Network Security Workshops : ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt,

Manulis, Mark
Springer
2025
Pehmeäkantinen kirja

93,80 €

Applied Cryptography and Network Security Workshops : ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt,

Manulis, Mark
Springer
2025
Pehmeäkantinen kirja

92,50 €

Reachability Problems : 19th International Conference, RP 2025, Madrid, Spain, October 1–3, 2025, Proceedings

Ganty, Pierre; Mansutti, Alessio
Springer
2025
Pehmeäkantinen kirja

79,50 €

A Property Checking Methodology for Weakly Programmable System-on-Chip IPs

Loitz, Sacha
Shaker Verlag
2014
Pehmeäkantinen kirja

75,80 €

Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Requirements

Lohmann, Sven
Shaker Verlag
2012
Pehmeäkantinen kirja

79,50 €

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 €

Efficient Enforcement of Truth-Telling in the Grandfathering Process of an Emissions Trading Scheme

Eckermann, Frauke
Peter Lang AG
2008
Pehmeäkantinen kirja

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

Advances in Computing and Data Sciences : First International Conference, ICACDS 2016, Ghaziabad, India, November 11-12,

Singh, Mayank; Gupta, P.K.; Tyagi, Vipin; Sharma, Arun; Ören, Tuncer; Grosky, William
Springer
2017
Pehmeäkantinen kirja

51,10 €

Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Lahiri, Shuvendu; Reger, Giles
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €