|
|

avaa valikko

specification | Akateeminen Kirjakauppa

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



Hameurlain, Abdelkader; Küng, Josef; Wagner, Roland; Schewe, Klaus-Dieter; Bosa, Karoly
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2016
Pehmeäkantinen kirja
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX - Special Issue on Cloud Computing
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Adams, Henry
Creative Media Partners, LLC
2022
Pehmeäkantinen kirja
Notes in Mechanical Engineering
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
20,60 €
Martinelli, Simon
Apress
2026
Pehmeäkantinen kirja
Spec-Driven Development : From Specs to Code with AI Agents
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
24,90 €
Saleh, Iman
Springer
2015
Kovakantinen kirja
Formalizing Data-Centric Web Services
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Butler, Michael; Conchon, Sylvain; Zaïdi, Fatiha
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Koziel, Slawomir; Leifsson, Leifur
Springer
2016
Kovakantinen kirja
Simulation-Driven Design by Knowledge-Based Response Correction Techniques
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bozzano, Marco; Papadopoulos, Yiannis
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Abate, Alessandro; Boldo, Sylvie
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bartocci, Ezio; Falcone, Yliès
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Lectures on Runtime Verification - Introductory and Advanced Topics
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,10 €
Tian, Cong; Nagoya, Fumiko; Liu, Shaoying; Duan, Zhenhua
Springer
2018
Pehmeäkantinen kirja
Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bloomsbury Publishing Plc
Bloomsbury Publishing PLC
2022
Pehmeäkantinen kirja
Manage Projects Successfully
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
13,90 €
Escobar, Santiago; Titolo, Laura
Springer
2025
Pehmeäkantinen kirja
Logic-Based Program Synthesis and Transformation : 35th International Symposium, LOPSTR 2025, Rende, Italy, September
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,70 €
Tryfonas, Theo; Askoxylakis, Ioannis
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Human Aspects of Information Security, Privacy, and Trust - Third International Conference, HAS 2015, Held as Part of HCI Intern
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Schulze-Bentrop, Conrad
Peter Lang AG
2013
Kovakantinen kirja
Qualitative Comparative Analysis (QCA) and Configurational Thinking in Management Studies
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
63,90 €
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 €
Genta, Giancarlo; Morello, Lorenzo
Springer
2021
Pehmeäkantinen kirja
The Automotive Chassis : Volume 2: System Design
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Smale, Glen
Quarto Publishing Group USA Inc
2021
Kovakantinen kirja
Porsche at Le Mans - 70 Years
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
61,10 €
Drira, Khalil; Wang, Hongbing; Yu, Qi; Wang, Yan; Yan, Yuhong; Charoy, François; Mendling, Jan; Mohamed, Mohamed; Wang, Zhongjie
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Service-Oriented Computing – ICSOC 2016 Workshops - ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Motika, Christian
Books on Demand
2017
Kovakantinen kirja
SCCharts - Language and Interactive Incremental Compilation
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
96,00 €
Johnsen, Einar Broch; Schaefer, Ina
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €

Näytä lisää...