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

Rewriting and Typed Lambda Calculi, Fachbücher

Interactive Theorem Proving, Fachbücher von Ruben Gamboa

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

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

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

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

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

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

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

Rules and Reasoning, Fachbücher von William Van Woensel, Enrico Franconi, Stefania Costantini, Fariba Sadri, Dumitru Rom...

Internet of Things – ICIOT 2018, Fachbücher

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

Universal Access in Human-Computer Interaction. Access to Interaction, Fachbücher von Constantine Stephanidis, Margherit...

Universal Access in Human-Computer Interaction. Access to Today's Technologies, Fachbücher von Margherita Antona, Consta...

Universal Access in Human-Computer Interaction. Access to Learning, Health and Well-Being, Fachbücher von Margherita Ant...