Electronic Books

Total Books: 241 - 260 /1548

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Total Books: 241 - 260 /1548