Computer Aided Verification, Fachbücher von Corina S. Pasareanu, Daniel Kroening

Human-Computer Interaction. Novel Interaction Methods and Techniques, Fachbücher von Julie A., Jacko

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

Internationalization, Design and Global Development, Fachbücher von Nuray Aykin

Human-Computer Interaction: Design and Evaluation, Fachbücher von Masaaki Kurosu

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

Intelligent Computer Mathematics, Fachbücher von Volker Sorge, Manfred Kerber, Cezary Kaliszyk, Jacques Carette, Florian...

Human-Computer Interaction: Users and Contexts, Fachbücher von Masaaki Kurosu

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

Data Integration in the Life Sciences, Fachbücher

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

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

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

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

Information Processing in Cells and Tissues, Fachbücher von Stephen Smith, Michael A. Lones, Gary Fogel, Andy Tyrrell

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Kenneth McMillan, Xavier Rival