Interactive Systems. Design, Specification, and Verification, Fachbücher von Gavin Doherty, Ann Blandford

Adaptive Multimedia Retrieval:User, Context, and Feedback, Fachbücher von Marcin Detyniecki, Eric J. Bruno, Stéphane Mar...

Programming Multi-Agent-Systems, Fachbücher

Knowledge Discovery and Emergent Complexity in Bioinformatics, Fachbücher von Ronald Westra, Karl Tuyls, Ann Nowé, Yvan ...

Logic-Based Program Synthesis and Transformation, Fachbücher

Information Security Applications, Fachbücher von Moti, Jae-Kwang Yi, Okyeon Yung, Lee

Task Models and Diagrams for Users Interface Design, Fachbücher von Kris Luyten, Karin Coninx, Kevin A. Schneider

Types for Proofs and Programs, Fachbücher

Brain-Inspired Computing, Fachbücher von Nicolai Petkov, Thomas Lippert, Lucio Grandinetti

Combinatorial Algorithms, Fachbücher von Thierry Lecroq, Laurent Mouchard

Automated Deduction in Geometry, Fachbücher von Pedro Quaresma, Francisco Botana

Environments for Multi-Agent Systems III, Fachbücher von Fabien Michel, H. Van Dyke Parunak, Danny Weyns

Radio Frequency Identification: Security and Privacy Issues, Fachbücher von Michael Hutter, Jörn-Marc Schmidt

Mathematical Methods for Curves and Surfaces, Fachbücher

Data Management Technologies and Applications, Fachbücher von Jorge Bernardino, Joaquim Filipe, Christoph Quix

Multi-Agent-Based Simulation VII, Fachbücher von Keiki Takadama