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

Interactive Theorem Proving, Fachbücher von Ruben Gamboa, Gerwin Klein

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

Knowledge Representation for Health Care, Fachbücher von Silvia Miksch, Annette ten Teije, David Riaño

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

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

Compiler Construction, Fachbücher von Albert Cohen

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

Virtual, Augmented and Mixed Reality, Fachbücher

Design, User Experience, and Usability: Understanding Users and Contexts, Fachbücher von Aaron Marcus, Wentao Wang

Design, User Experience, and Usability: Theory, Methodology, and Management, Fachbücher von Wentao Wang, Aaron Marcus

Universal Access in Human–Computer Interaction. Human and Technological Environments, Fachbücher von Constantine Stephan...

Learning and Collaboration Technologies. Novel Learning Ecosystems, Fachbücher von Andri Ioannou, Panayiotis Zaphiris

Design, User Experience, and Usability: Designing Pleasurable Experiences, Fachbücher von Wentao Wang, Aaron Marcus

Verified Software: Theories, Tools and Experiments, Fachbücher

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