Fundamental Approaches to Software Engineering [E-Book] : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Softwar...  

Beyer, Dirk
2024

Guide to Computer Processor Architecture [E-Book] : A RISC-V Approach, with High-Level Synthesis /  

Goossens, Bernard
2023

Stabilization, Safety, and Security of Distributed Systems [E-Book] : 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings /  

Johnen, Colette
2021

Structured Object-Oriented Formal Language and Method [E-Book] : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers /  

Duan, Zhenhua
2023