Fundamental Approaches to Software Engineering, Fachbücher

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

Compiler Construction, Fachbücher von Albert Cohen

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

Foundations of Software Science and Computational Structures, Fachbücher von Helmut Seidl

Principles of Security and Trust, Fachbücher

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

Programming Languages and Systems, Fachbücher

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

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

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

Rewriting and Typed Lambda Calculi, Fachbücher von Gilles Dowek

Public-Key Cryptography -- PKC 2014, Fachbücher von Hugo Krawczyk

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Erika Ábrahám, Catuscia Palamidessi

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

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