Strategie e Terapie Chetogeniche: dalla VLCKD alle chetogeniche classiche e cicliche per la clinica e lo sport (Italian Edition)

Secure Systems Development with UML

ACS Without an Attitude (NASA Monographs in Systems and Software Engineering)

Present and Ulterior Software Engineering

Modeling, Design, and Simulation of Systems with Uncertainties (Mathematical Engineering)

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2014 (Lecture Notes in Electrical Engineering, 361)

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Parallel and Distributed Processing and Applications: Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings (Lecture Notes in Computer Science, 3758)

Software Engineering with OBJ: Algebraic Specification in Action (Advances in Formal Methods, 2)