|
|

avaa valikko

specifications | Akateeminen Kirjakauppa

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



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 €
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 €
Smale, Glen
Quarto Publishing Group USA Inc
2021
Kovakantinen kirja
Porsche at Le Mans - 70 Years
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
60,80 €
Majumdar, Rupak; Kunčak, Viktor
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Cranefield, Stephen; Mahmoud, Samhar; Padget, Julian; Rocha, Ana Paula
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Coordination, Organizations, Institutions, and Norms in Agent Systems XII - COIN 2016 International Workshops, COIN@AAMAS, Singa
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,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 €
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 €

Wasserwirtschaft
2018
Pehmeäkantinen kirja
Standard DWA-A 161E Static Calculation of Jacking Pipes
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
122,20 €
Gallardo, María del Mar; Merino, Pedro
Springer
2018
Pehmeäkantinen kirja
Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
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 €
Bajorat, Jan; Dix, Reinhold; Gössling, Andreas; Plank, Martin; Sauer, Olaf; Iatrou, Chris Paul; Masa, Mirco; Finster, Sören; Urb
Vogel Business Media
2018
Kovakantinen kirja
Praxishandbuch OPC UA
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
86,70 €
Hernández Zavala, Carlos Alberto
Shaker Verlag
2013
Pehmeäkantinen kirja
Assembling Technique Based on the Statistical Feed-Forward Control Model for Low Precision Manufacturing Processes
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,40 €
Schairer, Axel
Shaker Verlag
2006
Pehmeäkantinen kirja
Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,70 €
Kim, Byung-Gyu; Goswami, Kalyan
Springer
2016
Pehmeäkantinen kirja
Basic Prediction Techniques in Modern Video Coding Standards
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Majumdar, Rupak; Kunčak, Viktor
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Hermenegildo, Manuel V; Lopez-Garcia, Pedro
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Yevtushenko, Nina; Cavalli, Ana Rosa; Yenigün, Hüsnü
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Paskevich, Andrei; Wies, Thomas
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €

Beuth Verlag
2018
Pehmeäkantinen kirja
Iron and steel: Quality standards 3/2
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
315,70 €

Näytä lisää...