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

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

Compiler Construction, Fachbücher

Principles of Security and Trust, Fachbücher

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

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

Compiler Construction, Fachbücher von Albert Cohen

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

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

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

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

Public-Key Cryptography -- PKC 2015, Fachbücher von Jonathan Katz

Automated Reasoning, Fachbücher von Stephan Schulz, Roberto Sebastiani, Didier Galmiche

Advances in Cryptology – EUROCRYPT 2015, Fachbücher von Marc Fischlin, Elisabeth Oswald

Fundamental Approaches to Software Engineering, Fachbücher von José Fiadeiro, Paola Inverardi

Coordination Models and Languages, Fachbücher von Tom Holvoet, Mirko Viroli