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

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

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

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

Interactive Theorem Proving, Fachbücher von Christian Urban, Xingyuan Zhang

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

Virtual, Augmented and Mixed Reality, Fachbücher

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

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

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

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

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

Graph Transformation, Fachbücher von Francesco Parisi-Presicce, Bernhard Westfechtel

Tests and Proofs, Fachbücher von Nikolai Kosmatov, Jasmin Christian Blanchette

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

Virtual and Mixed Reality, Fachbücher von Shumaker, Randall