Electronic Books

Total Books: 61 - 80 /420
C++ /CLI : The Visual C++ Language for .NET

C++/CLI: The Visual C++ Language for .NET introduces Microsoft's extensions to the C++ syntax that allow you to target the ...

Lee mas
CONCUR 2005 - Concurrency Theory

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

Lee mas
CONCUR 2007 – Concurrency Theory

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

Lee mas
CONCUR 2007 – Concurrency Theory

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

Lee mas
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 ...

Lee mas
Categories for Software Engineering

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

Lee mas
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 ...

Lee mas
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 ...

Lee mas
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, ...

Lee mas
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. ...

Lee mas
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 ...

Lee mas
Computational Cognitive Modeling and Linguistic Theory

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

Lee mas
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, ...

Lee mas
Computational Linguistics and Intelligent Text Processing (vol. # 3406)

This book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent ...

Lee mas
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. ...

Lee mas
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 ...

Lee mas
Computational Logic in Multi-Agent Systems

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...

Lee mas
Computational Logic in Multi-Agent Systems

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...

Lee mas
Computational Logic in Multi-Agent Systems (vol. # 3487)

The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, ...

Lee mas
Computational Logic in Multi-Agent Systems (vol. # 3900)

The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article ...

Lee mas
Total Books: 61 - 80 /420