Validation&Verification | Akateeminen Kirjakauppa

Logical Foundations of Cyber-Physical Systems

Platzer, André
Springer International Publishing AG
2018
Kovakantinen kirja

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

Thinking-Driven Testing - The Most Reasonable Approach to Quality Control

Roman, Adam
Springer International Publishing AG
2018
Kovakantinen kirja

71,10 €

Advances in Computing and Data Sciences - Second International Conference, ICACDS 2018, Dehradun, India, April 20-21, 2018, Revi

Singh, Mayank; Gupta, P. K.; Tyagi, Vipin; Flusser, Jan; Ören, Tuncer
Springer Verlag, Singapore
2018
Pehmeäkantinen kirja

51,10 €

Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

Bakhshi, Rena; Ballarini, Paolo; Barbot, Benoît; Castel-Taleb, Hind; Remke, Anne
Springer Nature Switzerland AG
2018
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

80,70 €

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 €

Advances in Computing and Data Sciences - Second International Conference, ICACDS 2018, Dehradun, India, April 20-21, 2018, Revi

Singh, Mayank; Gupta, P. K.; Tyagi, Vipin; Flusser, Jan; Ören, Tuncer
Springer Verlag, Singapore
2018
Pehmeäkantinen kirja

51,10 €

Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September

Simonis, Helmut
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

137,30 €

Knowledge Engineering Tools and Techniques for AI Planning

Vallati, Mauro; Kitchin, Diane
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja

155,50 €

Autonomous Driving Handbook

Huang, Yu; Yang, Zijiang
Springer Verlag, Singapore
2026
Kovakantinen kirja

149,80 €

Future Internet Testing - First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Pape

Vos, Tanja E.J.; Lakhotia, Kiran; Bauersfeld, Sebastian
Springer International Publishing AG
2014
Pehmeäkantinen kirja

51,10 €

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 €

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 €

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 €

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 €

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 €

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 €

Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Procee

Wotawa, Franz; Nica, Mihai; Kushik, Natalia
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €