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

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, ...

Rewriting Logic and Its Applications, Fachbücher von Santiago Escobar

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

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

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

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

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

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...