Electronic Books

Total Books: 1361 - 1380 /4790

Conceptual Modelling in Information Systems Engineering

Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...

Conceptual Modelling in Information Systems Engineering

Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...

Conceptual Structures: Inspiration and Application

th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 – 21, ...

Conceptual Structures: Knowledge Architectures for Smart Applications

Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...

Conceptual Structures: Knowledge Architectures for Smart Applications

Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...

Conceptual Structures: Knowledge Visualization and Reasoning : 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, ...

Concise Guide to Quantum Computing

This textbook is intended for practical, laboratory sessions associated with the course of quantum computing and quantum ...

Concurrency Theory

Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...

Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...

Concurrent Zero-Knowledge

Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly ...

Conditionals, Information, and Inference

Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in ...

Cone Beam Computed Tomography in Orthodontics: Indications, Insights, and Innovations / Sunil Kapila

Cone Beam Computed Tomography in Orthodontics provides timely, impartial, and state-of-the-art information on the indications ...

Constituents of Modern System-safety Thinking

Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical ...

Constraint Handling Rules : Current Research Topics

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...

Constraint Satisfaction Techniques for Agent-Based Reasoning

Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...

Constraint Solving and Language Processing

This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...

Constraint-Based Mining and Inductive Databases

The interconnected ideas of inductive databases and constraint-based mining are appealing and have the potential to radically ...

Constructing Ambient Intelligence : AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers

This book constitutes the refereed proceedings of the workshops of the First European Conference on Ambient Intelligence, ...

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Total Books: 1361 - 1380 /4790