

Fundamentals of Software Engineering
584,-

Fundamental Approaches to Software Engineering
431,-

Frontiers of Combining Systems
674,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Computer Aided Systems Theory - EUROCAST 2019
584,-

Software Engineering and Formal Methods
737,-

Software Engineering and Formal Methods
674,-

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
791,-

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
458,-

Formal Aspects of Component Software
611,-

Fundamentals of Software Engineering
584,-

Fundamental Approaches to Software Engineering
431,-

Frontiers of Combining Systems
674,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Computer Aided Systems Theory - EUROCAST 2019
584,-

Software Engineering and Formal Methods
737,-

Software Engineering and Formal Methods
674,-

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
791,-

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
458,-

Formal Aspects of Component Software
611,-











