From Programs to Systems - The Systems Perspective in Computing, Fachbücher von Axel Legay, Saddek Bensalem, Yassine Lak...

Rewriting Logic and Its Applications, Fachbücher von Santiago Escobar

Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Klaus Havelund, Erika Abraham

Coalgebraic Methods in Computer Science, Fachbücher von Marcello M. Bonsangue

Fundamental Approaches to Software Engineering, Fachbücher von Arend Rensink, Stefania Gnesi

Compiler Construction, Fachbücher von Albert Cohen

Foundations of Software Science and Computation Structures, Fachbücher von Anca Muscholl

Principles of Security and Trust, Fachbücher von Martín Abadi, Steve Kremer

Communication Technologies for Vehicles, Fachbücher von Alexey Vinel, Marion Berbineau, Axel Sikora

Traffic Monitoring and Analysis, Fachbücher von Steve Uhlig, Alberto Dainotti, Anirban Mahanti

Engineering Multi-Agent Systems, Fachbücher von Fabiano Dalpiaz, M. Birna van Riemsdijk, Jürgen Dix

Cryptographic Hardware and Embedded Systems -- CHES 2015, Fachbücher

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Mahesh Viswanathan, Susanne Graf

Software Engineering for Resilient Systems, Fachbücher von Alessandro Fantechi, Patrizio Pelliccione

Database Systems for Advanced Applications, Fachbücher

Hybrid Systems: Computation and Control, Fachbücher von Magnus Egerstedt, Bud Mishra