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

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

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

Fundamental Approaches to Software Engineering, Fachbücher

Usability and Internationalization. HCI and Culture, Fachbücher von Nuray Aykin

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

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

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

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

Independent Component Analysis and Signal Separation, Fachbücher

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

Software Analysis, Testing, and Evolution, Fachbücher

Ergonomics and Health Aspects of Work with Computers, Fachbücher von Ben-Tzion Karsh

Modelling Foundations and Applications, Fachbücher von Gabriele Taentzer, Francis Bordeleau