Electronic Books

Total Books: 81 - 100 /478

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

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

This book cover all current issues in computational linguistics research and present intelligent text processing applications. ...

Computational Linguistics and Intelligent Text Processing

This book cover all current issues in computational linguistics research and present intelligent text processing applications. ...

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

Computational Logic in Multi-Agent Systems

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

Computational Logic in Multi-Agent Systems

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

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

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

Computational Processing of the Portuguese Language : 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings

This book constitutes the thoroughly refereed proceedings of the 8th International Workshop on Computational Processing of ...

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...

Total Books: 81 - 100 /478