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

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

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

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

Knowledge Representation for Health-Care. Data, Processes and Guidelines, Fachbücher von Silvia Miksch, Annette ten Teij...

Applications of Declarative Programming and Knowledge Management, Fachbücher von Armin Wolf, Hans Tompits, Jörg Pührer, ...

Adaptive Resource Management and Scheduling for Cloud Computing, Fachbücher von Florin Pop, Gradinariu Potop-Butucaru

Cellular Automata and Discrete Complex Systems, Fachbücher

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

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

Computational Forensics, Fachbücher von Utpal Garain, Faisal Shafait

Graph Structures for Knowledge Representation and Reasoning, Fachbücher von Madalina Croitoru, Christophe Gonzales, Stef...

Serviceology for Services, Fachbücher von Dimitris Karagiannis, Yoshinori Hara

Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction, Fachbücher von Ronald Poppe, Nick Campbell,...

Computer-Assisted and Robotic Endoscopy, Fachbücher von Tobias Reichl, Timothy Soper, Daniel Mirota, Xiongbiao Luo

Clinical Image-Based Procedures. Translational Research in Medical Imaging, Fachbücher von Marius George Linguraru, Mari...