Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher

Compiler Construction, Fachbücher von Albert Cohen

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

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

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

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

Human Aspects of IT for the Aged Population. Design for Aging, Fachbücher von Gavriel Salvendy, Jia Zhou

Rewriting and Typed Lambda Calculi, Fachbücher

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

Theory and Practice of Model Transformations, Fachbücher von Manuel Wimmer, Dimitris Kolovos

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

Universal Access in Human-Computer Interaction. Access to the Human Environment and Culture, Fachbücher von Constantine ...

Human Aspects of Information Security, Privacy, and Trust, Fachbücher von Ioannis Askoxylakis, Theo Tryfonas

Design, User Experience, and Usability: Users and Interactions, Fachbücher von Aaron Marcus

Social Computing and Social Media, Fachbücher

Proceedings of the 2015 International Conference on Communications, Signal Processing, and Systems, Fachbücher