Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Cesare Tinelli, Christel Baier

Compiler Construction, Fachbücher

Principles of Security and Trust, Fachbücher

Foundations of Software Science and Computation Structures, Fachbücher

Programming Languages and Systems, Fachbücher von Jan Vitek

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

Fundamental Approaches to Software Engineering, Fachbücher von Ina Schaefer, Alexander Egyed

Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Michael Huth, Orna Grumberg

Compiler Construction, Fachbücher von Albert Cohen

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

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

Fundamental Approaches to Software Engineering, Fachbücher von Antonia Lopes, Matthew B. Dwyer

Programming Languages and Systems, Fachbücher von Andrew D. Gordon

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

Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Jakob Rehof, C. R. Ramakrishnan

Research and Advanced Technology for Digital Libraries, Fachbücher von Yannis Iliadis, Lazaros Karydis, Giannis Manolopo...