Specifications | Booky.fi

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

Martinelli, Simon
APress
2026
Pehmeäkantinen kirja

24,90 €

Architectural Specifications for the Painting, Enameling, Staining and Finishing of Woods Generally in a Medium and First Class

[dewar, John] [from Old Catalog]
Creative Media Partners, LLC
2025
Kovakantinen kirja

30,10 €

Architectural Specifications for the Painting, Enameling, Staining and Finishing of Woods Generally in a Medium and First Class

[dewar, John] [from Old Catalog]
Creative Media Partners, LLC
2025
Pehmeäkantinen kirja

15,30 €

Basic Prediction Techniques in Modern Video Coding Standards

Kim, Byung-Gyu; Goswami, Kalyan
Springer
2016
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 €

Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June

Petrenko, Alexander K.; Voronkov, Andrei
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,10 €

Automated Methods in Cryptographic Fault Analysis

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

100,90 €

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

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

51,10 €

Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 20

Howar, Falk; Barnat, Jiří
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja

51,10 €

Simulation-Driven Design by Knowledge-Based Response Correction Techniques

Koziel, Slawomir; Leifsson, Leifur
Springer
2016
Kovakantinen 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 €

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

Schairer, Axel
Shaker Verlag
2006
Pehmeäkantinen kirja

81,70 €

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 €

Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Pr

Butler, Michael; Raschke, Alexander; Hoang, Thai Son; Reichl, Klaus
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,10 €

Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse,

Johnsen, Einar Broch; Schaefer, Ina
Springer
2018
Pehmeäkantinen kirja

51,10 €

Standard DWA-A 161E Static Calculation of Jacking Pipes

Wasserwirtschaft
2018
Pehmeäkantinen kirja

122,20 €

Assembling Technique Based on the Statistical Feed-Forward Control Model for Low Precision Manufacturing Processes

Hernández Zavala, Carlos Alberto
Shaker Verlag
2013
Pehmeäkantinen kirja

81,40 €

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 €

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 €