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

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

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

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

Process Support and Knowledge Representation in Health Care, Fachbücher von Silvia Miksch, Annette ten Teije, Manfred Re...

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

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

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