Electronic Books

Total Books: 241 - 260 /1548

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

Calibrating the Cosmos

Calibrating the Cosmos describes hard science, but is gently written. It explains in clear, non-mathematical language the ...

Cambridge and Vienna

The Institute Vienna Circle held a conference in 2003, Cambridge and Vienna: Frank P. Ramsey and the Vienna Circle, to commemorate ...

Canadian Semantic Web

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

Case and Linking in Language Comprehension

This volume contains detailed introductions to human syntactic processing as well as to German syntax which will be helpful ...

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

Cellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings

This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular ...

Central European Functional Programming School

This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...

Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

This volume presents texts from selected lectures given by leading researchers at the Second Central European Functional ...

Challenges in Language Testing Around the World : Insights for language test users / Betty Lanteigne, Christine Coombe, James Dean Brown

This book combines insights from language assessment literacy and critical language testing through critical analyses and ...

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

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

Chinese Railways

Although being huge by any measure, Chinese Railways are a bottleneck for economic growth in China. The state-owned enterprise ...

Chinese Spoken Language, Processing

This book contains a selection of refereed papers presented at the Fifth Inter- tionalSymposium on Chinese Spoken Language ...

Claude-Nicolas Ledoux : architecture and Utopia in the era of the French Revolution / Anthony Vidler, Claude Nicolas Ledoux

Claude-Nicolas Ledoux (1736-1806) is today regarded as chief representative of French revolutionary architecture. With his ...

Clear English Pronunciation : A Practical Guide /Dick Smakman

This book: introduces the phenomenon of pronunciation as part of a broader communicative realm; explains and demonstrates ...

Cleft and Craniofacial Orthodontics / Pradip R. Shetye, Travis L Gibson

Provides orthodontists, plastic and oral and maxillofacial surgeons, speech and language therapists, pediatric dentists, ...

Total Books: 241 - 260 /1548