|
|

avaa valikko

verification | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 192 tuotetta
Haluatko tarkentaa hakukriteerejä?



Savant, Nagnath
APRESS L.P.
2026
Pehmeäkantinen kirja
Blockchain Foundations
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
65,50 €
D´Souza, Meenakshi; Komondoor, Raghavan; Srivathsan, B.
Springer
2025
Pehmeäkantinen kirja
Automated Technology for Verification and Analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
109,50 €
Manulis, Mark
Springer
2025
Pehmeäkantinen kirja
Applied Cryptography and Network Security Workshops : ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
92,50 €
Heckel, Reiko; Taentzer, Gabriele
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Manulis, Mark
Springer
2025
Pehmeäkantinen kirja
Applied Cryptography and Network Security Workshops : ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
93,70 €
Damiani, Ferruccio; Farrell, Marie
Springer
2025
Pehmeäkantinen kirja
Integrated Formal Methods : 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
107,50 €
Papadopoulos, Symeon; Bontcheva, Kalina; Mezaris, Vasileios; Rogers, Richard
Springer
2026
Kovakantinen kirja
Countering Disinformation in the Era of Generative AI
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
223,60 €
Markowski, Kelly L.; Harrod, Michael M.; Brenner, Philip S.
Springer Nature Switzerland AG
2026
Kovakantinen kirja
Identity Development and Maintenance in Context - Cases from Higher Education, Health Care, and Other Settings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
201,70 €
Podelski, Andreas; Taïani, François
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Remke, Anne; Steffen, Bernhard
Springer
2025
Pehmeäkantinen kirja
Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,00 €
Ganty, Pierre; Mansutti, Alessio
Springer
2025
Pehmeäkantinen kirja
Reachability Problems : 19th International Conference, RP 2025, Madrid, Spain, October 1–3, 2025, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
79,50 €
Dominik, Caroline
Springer Vieweg
2026
Pehmeäkantinen kirja
Embedding Sequential Circuits for their Polynomial Formal Verification
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
121,00 €
Lohmann, Sven
Shaker Verlag
2012
Pehmeäkantinen kirja
Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Requirements
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
79,50 €
El-Fakih, Khaled; Barlas, Gerassimos; Yevtushenko, Nina
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, N
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
De Nicola, Rocco; Kühn, Eva
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Ray, Indrajit; Gaur, Manoj Singh; Conti, Mauro; Sanghi, Dheeraj; Kamakoti, V.
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Information Systems Security - 12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Lahiri, Shuvendu; Reger, Giles
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
Springer International Publishing AG
2018
Kovakantinen kirja
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
137,30 €
Fuyuto, Kaori
Springer
2019
Kovakantinen kirja
Electroweak Baryogenesis and Its Phenomenology
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Podelski, Andreas
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €

Näytä lisää...