Electronic Books

Total Books: 381 - 400 /478

Semantic Web, Ontologies and Databases : VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers

Among the topics addressed are semantics-aware data models and query languages; ontology-based views, mapping, transformations, ...

Semantic Web:Concepts, Technologies and Applications

This book provides a well-paced introduction to the Semantic Web, which is gaining in understanding and acceptance as new ...

Semantics in Acquisition

This book is unique in that it relates two linguistic subfields: Semantics and Language Acquisition. The volume contains ...

Semantics in Data and Knowledge Bases : Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers

This book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...

Semantics with Applications: An Appetizer

Semantics will have an important role to play in the future development of software systems and domain specific languages, ...

Semantics, Web and Mining

Finding knowledge – or meaning – in data is the goal of every knowledge d- covery e?ort. Subsequent goals and questions ...

Service-Oriented Computing ICSOC 2006

This book constitutes the workshops of the 4th International Conference on Service-Oriented Computing, ICSOC 2006, held in ...

Service-Oriented Computing: Agents, Semantics, and Engineering

This book constitutes the refereed proceedings of the International Workshop on Service-Oriented Computing: Agents, Semantics, ...

Service-Oriented Computing: Agents, Semantics, and Engineering : AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008 Proceedings

The book address a range of topics at the intersection of service-oriented computing, semantic technology, and intelligent ...

Signs of Logic

This work sheds considerable new light on these and other aspects of Peirce’s philosophy and his pragmatic theory of meaning. ...

Similarity Search and Applications : 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 – October 2, 2020, Proceedings

This book constitutes the refereed proceedings of the 13th International Conference on Similarity Search and Applications, ...

Social Networks and the Semantic Web

Social Networks and the Semantic Web combines the concepts and the methods of two fields of investigation, which together ...

Soft Methods for Handling Variability and Imprecision

This book gathers contributions to the 4th International Conference on Soft methods in Probability and Statistics. Its aim ...

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

Spatial Information Theory

Constitutes the refereed proceedings of the International Conference on Spatial Information Theory, COSIT 2005, held in Elliottville, ...

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

Total Books: 381 - 400 /478