Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science) (English Edition)
New Business Models for the Reuse of Secondary Resources from WEEEs: The FENIX Project (SpringerBriefs in Applied Sciences and Technology) (English Edition)
Accelerator Programming Using Directives: 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers (Lecture ... Science Book 12017) (English Edition)
Sustained Simulation Performance 2012: Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop ... Tohoku University, 2012 (English Edition)
Robust Manufacturing Control: Proceedings of the CIRP Sponsored Conference RoMaC 2012, Bremen, Germany, 18th-20th June 2012 (Lecture Notes in Production Engineering Book 1) (English Edition)
Difference Equations, Discrete Dynamical Systems and Applications: ICDEA, Barcelona, Spain, July 2012 (Springer Proceedings in Mathematics & Statistics Book 180) (English Edition)
Advanced Manufacturing Processes VI: Selected Papers from the 6th Grabchenko’s International Conference on Advanced Manufacturing Processes (InterPartner-2024), ... in Mechanical Engineering) (English Edition)
Advances in Design, Simulation and Manufacturing IV: Proceedings of the 4th International Conference on Design, Simulation, Manufacturing: The Innovation ... in Mechanical Engineering) (English Edition)