Electronic Books

Total Books: 121 - 140 /701

CONCUR 2005 - Concurrency Theory

This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...

CONCUR 2006 - Concurrency Theory

This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...

CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...

Canadian Semantic Web

This book covers a variety of well known topics of interest to practitioners in industry and research scientists. The range ...

Categories for Software Engineering

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...

Causation, Coherence and Concepts : A Collection of Essays

the papers cover epistemology, general philosophy of science, philosophy of language, and philosophy of mind. The section ...

Charting a New Course: Natural Language Processing and Information Retrieval.

This book celebrates the life and work of Karen Spärck Jones in her seventieth year. she is one of the major figures of ...

Charting the Topic Maps Research and Applications Landscape

The papers in this volume were presented at the workshop “Topic Map Research and Applications 2005” held on October 6-7, ...

Chinese Computational Linguistics : 19th China National Conference, CCL 2020, Hainan, China, October 30 – November 1, 2020, Proceedings

This book constitutes the proceedings of the 19th China National Conference on Computational Linguistics, CCL 2020, held ...

Cognitive Systems

This book organized in topical sections on multimodal human-computer interfaces, neuropsychology and neurocomputing, Chinese-German ...

Cognitive Systems

This book organized in topical sections on multimodal human-computer interfaces, neuropsychology and neurocomputing, Chinese-German ...

Collaboration Technologies and Social Computing : 26th International Conference, CollabTech 2020, Tartu, Estonia, September 8–11, 2020, Proceedings

This book constitutes the proceedings of the 26th International Conference on Collaboration Technologies and Social Computing, ...

Communicating Sequential Processes. The First 25 Years

This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. ...

Compiling ESTEREL

Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution ...

Completeness Theory for Propositional Logics

Completeness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion ...

Compositionality and Concepts in Linguistics and Psychology

By highlighting relations between experimental and theoretical work, this volume explores new ways of addressing one of the ...

Computable Models of the Law : Languages, Dialogues, Games, Ontologies

This book originate from a workshop held at the European University Institute of Florence, Italy, in December 2006. The workshop ...

Computational Cognitive Modeling and Linguistic Theory

This book introduces a general framework that allows natural language researchers to enhance existing competence theories ...

Total Books: 121 - 140 /701