Semistructured Database Design
Semistructured Database Design provides an essential reference for anyone interested in the effective management of semsistructured ...
Lee mas
Service-Oriented Computing ICSOC 2006
This book constitutes the workshops of the 4th International Conference on Service-Oriented Computing, ICSOC 2006, held in ...
Lee mas
Service-Oriented Computing – ICSOC 2005
The 2005 edition had the important and ambitious goal of bringing together the different communities working in Web services ...
Lee mas
Service-Oriented Computing: Agents, Semantics, and Engineering
This book constitutes the refereed proceedings of the International Workshop on Service-Oriented Computing: Agents, Semantics, ...
Lee mas
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 ...
Lee mas
Signs of Logic
This work sheds considerable new light on these and other aspects of Peirce’s philosophy and his pragmatic theory of meaning. ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
Soft Computing in Ontologies and Semantic Web
This book covers in a great depth the fast growing topic of tools, techniques and applications of soft computing in the ontologies ...
Lee mas
Soft Computing in Web Information Retrieval
This book presents some recent works on the application of Soft Computing techniques in information access on the World Wide ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Software Engineering 2
volume 2 covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics ...
Lee mas
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 ...
Lee mas
Spatial Information Theory
This book constitutes the refereed proceedings of the 8th International Conference on Spatial Information Theory, COSIT 2007, ...
Lee mas
Spatial Information Theory
Constitutes the refereed proceedings of the International Conference on Spatial Information Theory, COSIT 2005, held in Elliottville, ...
Lee mas
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security ...
Lee mas
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lee mas
Static Analysis
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...
Lee mas
Static Analysis (vol. # 3672)
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Lee mas
