Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems Volume 2
Shaker Verlag - Aachener Informatik-Berichte, Software Engineering ISBN 978-3-8440-9984-3, Taal: Engels 174 pagina's, 30,80 € meer ...
Calphad-Based Alloy Design for FCC-Based Multi-Principal Element Alloys
Shaker Verlag - Werkstoffanwendungen im Maschinenbau ISBN 978-3-8191-0137-3, Taal: Engels 208 pagina's, 59,80 € meer ...
Model-Driven Engineering of Digital Twins with Informative and Assistive Services
Shaker Verlag - Aachener Informatik-Berichte, Software Engineering ISBN 978-3-8191-0196-0, Taal: Engels 282 pagina's, 35,80 € meer ...