Electronic Books

Total Books: 501 - 520 /603

Software Architecture : Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings

This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...

Software Engineering 2

volume 2 covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics ...

Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...

Spatial Information Theory

This book constitutes the refereed proceedings of the 8th International Conference on Spatial Information Theory, COSIT 2007, ...

Stabilization, Safety, and Security of Distributed Systems

This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security ...

Static Analysis

The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...

Static Analysis

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...

Static Analysis (vol. # 3672)

"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...

Statistical Language and Speech Processing

This book constitutes the proceedings of the 8th International Conference on Statistical Language and Speech Processing, ...

String Processing and Information Retrieval

This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, ...

Supercomputing Frontiers

This book It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore ...

Symbol Grounding and Beyond

PrefaceThis volume is the collection of papers and abstracts of the Third Annual Inter-national Workshop on the Emergence ...

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Coverage in the 78 revised full papers, presented together with three invited papers, includes Bayesian networks, graphical ...

Syntax and Semantics of Prepositions

This book is the first to provide an integrated view of preposition from morphology to reasoning, via syntax and semantics. ...

Technologies for E-Services (vol. # 3811)

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Technologies for E-Services ...

Term Rewriting and Applications (vol. # 3467)

This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...

Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...

Text Analytics : An Introduction to the Science and Applications of Unstructured Information Analysis / John Atkinson-Abutridy

A concise and accessible introduction to the science and applications of text analytics (or text mining), which enables automatic ...

Text, Speech and Dialogue (vol. # 3658)

Thisyear’sconferencewaspartiallyorientedtowardsmulti-modalhuman-computer interaction (HCI), which can be seen as the most ...

Text, Speech and Dialogue : 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008. Proceedings

This book includes text corpora and tagging; transcription problems in spoken corpora; sense disambiguation; links between ...

Total Books: 501 - 520 /603