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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
Computational Collective Intelligence : 12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 – December 3, 2020, Proceedings
This volume constitutes the refereed proceedings of the 12th International Conference on Computational Collective Intelligence, ...
اقرأ المزيد
Computational Linguistics and Intelligent Text Processing (vol. # 3406)
This book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent ...
اقرأ المزيد
Computational Linguistics and Intelligent Text Processing (vol. # 3878)
CICLing 2006 (www.CICLing.org) was the 7th Annual Conference on Intelligent Text Processing and Computational Linguistics. ...
اقرأ المزيد
Computational Linguistics and Intelligent Text Processing : 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings
The CICLing conferences are intended to provide a wide-scope forum for the discussion of both the art and craft of natural ...
اقرأ المزيد
