Rewriting and Typed Lambda Calculi, Fachbücher

Interactive Theorem Proving, Fachbücher von Ruben Gamboa

Principles of Security and Trust, Fachbücher

Compiler Construction, Fachbücher von Albert Cohen

Rewriting Techniques and Applications, Fachbücher

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

Design, User Experience, and Usability: Theory, Methodology, and Management, Fachbücher

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

Design, User Experience, and Usability: Designing Pleasurable Experiences, Fachbücher

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

Usability and Internationalization. HCI and Culture, Fachbücher

Tests and Proofs, Fachbücher

Engineering Psychology and Cognitive Ergonomics, Fachbücher von Don Harris

Foundations of Software Science and Computation Structures, Fachbücher

Theory and Practice of Model Transformations, Fachbücher