Specifications | Booky.fi

Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

Bozzano, Marco; Papadopoulos, Yiannis
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Porsche at Le Mans - 70 Years

Smale, Glen
Quarto Publishing Group USA Inc
2021
Kovakantinen kirja

60,60 €

Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017

Yevtushenko, Nina; Cavalli, Ana Rosa; Yenigün, Hüsnü
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Service-Oriented Computing – ICSOC 2016 Workshops : ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October

Drira, Khalil; Wang, Hongbing; Yu, Qi; Wang, Yan; Yan, Yuhong; Charoy, François; Mendling, Jan; Mohamed, Mohamed; Wang, Zhongjie
Springer
2017
Pehmeäkantinen kirja

51,10 €

Standard DWA-A 161E Static Calculation of Jacking Pipes

Wasserwirtschaft
2018
Pehmeäkantinen kirja

122,20 €

Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Gallardo, María del Mar; Merino, Pedro
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,10 €

Data Analytics and Management in Data Intensive Domains - 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, Octob

Manolopoulos, Yannis; Stupnikov, Sergey
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,10 €

Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development

Schairer, Axel
Shaker Verlag
2006
Pehmeäkantinen kirja

81,70 €

Simulation-Driven Design by Knowledge-Based Response Correction Techniques

Koziel, Slawomir; Leifsson, Leifur
Springer
2016
Kovakantinen kirja

51,10 €

Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23,

Paskevich, Andrei; Wies, Thomas
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2

Tian, Cong; Nagoya, Fumiko; Liu, Shaoying; Duan, Zhenhua
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,10 €

Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018,

Lambers, Leen; Weber, Jens
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,10 €

Automated Methods in Cryptographic Fault Analysis

Breier, Jakub; Hou, Xiaolu; Bhasin, Shivam
Springer Nature Switzerland AG
2019
Kovakantinen kirja

100,90 €

Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of t

Vojnar, Tomáš; Zhang, Lijun
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,10 €

Praxishandbuch OPC UA

Steinkrauss, Uwe; Mersch, Henning; Berger, Christoph; Haas, Christian; Hoppe, Stefan; Traynor, John; Münch, Chris;
Vogel Business Media
2019
Pehmeäkantinen kirja