Electronic Books

Total Books: 1361 - 1380 /4790

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Total Books: 1361 - 1380 /4790