Electronic Books

Total Books: 101 - 120 /420
Constraint Handling Rules : Current Research Topics

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

Lire la suite
Constraint Solving and Language Processing

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

Lire la suite
Cooperative Design, Visualization, and Engineering

This book constitutes the proceedings of the 17th International Conference on Cooperative Design, Visualization, and Engineering, ...

Lire la suite
Cooperative Information Agents X

This book constitutes the refereed proceedings of the 10th International Workshop on Cooperative Information Agents, CIA ...

Lire la suite
Coordination Models and Languages : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...

Lire la suite
Cryptography in C and C++

This book covers everything you need to know to write professional-level cryptographic code. This expanded, improved second ...

Lire la suite
Current Topics in Artificial Intelligence

This book constitutes the thoroughly refered post-proceedings of the 11th Conference of the Spanish Association for Artificial ...

Lire la suite
Current Trends in High Performance Computing and Its Applications

This book contains variety of subjects in modern high performance computing and its applications, such as numerical and ...

Lire la suite
Data Management Technologies and Applications : 8th International Conference, DATA 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Data Management Technologies ...

Lire la suite
Data Science for Economics and Finance Methodologies and Applications

The book starts with an introduction on the use of data science technologies in economics and finance and is followed by ...

Lire la suite
Database Theory - ICDT 2005

This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during ...

Lire la suite
Database Theory – ICDT 2007

The papers are organized in topical sections on information integration and peer to peer, axiomatizations for XML, expressive ...

Lire la suite
Database and Expert Systems Applications

The double volumes LNCS 12391-12392 constitutes the papers of the 31st International Conference on Database and Expert Systems ...

Lire la suite
Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16–19, 2020, Proceedings

This book constitutes the refereed proceedings of the 14th International Baltic Conference on Databases and Information Systems, ...

Lire la suite
Databases, Information Systems, and Peer-to-Peer Computing

The P2P paradigm lends itself to constructing large-scale, complex, adaptive, autonomous and heterogeneous database and information ...

Lire la suite
Databases, Information Systems, and Peer-to-Peer Computing

The P2P paradigm lends itself to constructing large-scale, complex, adaptive, autonomous and heterogeneous database and information ...

Lire la suite
Declarative Agent Languages and Technologies II

The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New ...

Lire la suite
NoIMG
Development of Emotions and Emotion Regulation

The first book to examine emotional development from birth to adulthood, Development of Emotions and Their Regulation fills ...

Lire la suite
Diagrammatic Representation and Inference

This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, ...

Lire la suite
Diagrammatic Representation and Inference

Proceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 ...

Lire la suite
Total Books: 101 - 120 /420