SPECIFICATION | Booky.fi

Adams, Henry
Creative Media Partners, LLC
2022
Pehmeäkantinen kirja

20,60 €

Human Aspects of Information Security, Privacy, and Trust - Third International Conference, HAS 2015, Held as Part of HCI Intern

Tryfonas, Theo; Askoxylakis, Ioannis
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Formalizing Data-Centric Web Services

Saleh, Iman
Springer
2015
Kovakantinen kirja

51,10 €

Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France

Butler, Michael; Conchon, Sylvain; Zaïdi, Fatiha
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX - Special Issue on Cloud Computing

Hameurlain, Abdelkader; Küng, Josef; Wagner, Roland; Schewe, Klaus-Dieter; Bosa, Karoly
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2016
Pehmeäkantinen kirja

51,10 €

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 €

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

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

51,10 €

Lectures on Runtime Verification - Introductory and Advanced Topics

Bartocci, Ezio; Falcone, Yliès
Springer International Publishing AG
2018
Pehmeäkantinen kirja

66,10 €

Manage Projects Successfully

Bloomsbury Publishing Plc
Bloomsbury Publishing PLC
2022
Pehmeäkantinen kirja

9,10 €

Logic-Based Program Synthesis and Transformation : 35th International Symposium, LOPSTR 2025, Rende, Italy, September

Escobar, Santiago; Titolo, Laura
Springer
2025
Pehmeäkantinen kirja

82,00 €

Spec-Driven Development : From Specs to Code with AI Agents

Martinelli, Simon
Apress
2026
Pehmeäkantinen kirja

24,90 €

Risk-based Management of GMP Audits

Hieble-Gerhard, Viola
Tectum Verlag
2010
Pehmeäkantinen kirja

58,60 €

Qualitative Comparative Analysis (QCA) and Configurational Thinking in Management Studies

Schulze-Bentrop, Conrad
Peter Lang AG
2013
Kovakantinen kirja

63,80 €

Simulation-Driven Design by Knowledge-Based Response Correction Techniques

Koziel, Slawomir; Leifsson, Leifur
Springer
2016
Kovakantinen kirja

51,10 €

Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Abate, Alessandro; Boldo, Sylvie
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

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

51,10 €

Interior Lighting : Fundamentals, Technology and Application

van Bommel, Wout
Springer
2019
Kovakantinen kirja

146,40 €

The Automotive Chassis : Volume 2: System Design

Genta, Giancarlo; Morello, Lorenzo
Springer
2021
Pehmeäkantinen kirja

100,90 €

Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part

Majumdar, Rupak; Kunčak, Viktor
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Coordination, Organizations, Institutions, and Norms in Agent Systems XII - COIN 2016 International Workshops, COIN@AAMAS, Singa

Cranefield, Stephen; Mahmoud, Samhar; Padget, Julian; Rocha, Ana Paula
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €