SDL 2007: Design for Dependable Systems
Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
اقرأ المزيد
SOFSEM 2008: Theory and Practice of Computer Science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
This book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
اقرأ المزيد
SQL Server 2008 Transact-SQL Recipes
SQL Server 2008 Transact–SQL Recipes: A Problem–Solution Approach is an example–based guide to the Transact–SQL language ...
اقرأ المزيد
Satellite Events at the MoDELS 2005 Conference
This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...
اقرأ المزيد
Scaling Topic Maps : Third International Conference on Topic Maps Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers
This book is organized in topical sections on applied topic maps in industry and administration, visualisation and representation ...
اقرأ المزيد
Scaling a Software Business
This book presents the Scaling Management Framework, a model based on collected experiences from companies that have already ...
اقرأ المزيد
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
In this volume the methodological aspects of the scenario logic and probabilistic (LP) non-success risk management are considered. ...
اقرأ المزيد
Scenarios: Models, Transformations and Tools
Visual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases ...
اقرأ المزيد
Science and Technologies for Smart Cities
This book constitutes the refereed proceedings of the 5th Annual Smart City 360° Summit, held in Braga, Portugal, in December ...
اقرأ المزيد
Secure Transaction Protocol Analysis : Models and Applications
The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. ...
اقرأ المزيد
Security and Privacy in Digital Rights Management
This book about the ACM Workshop on Security and Privacy in Digital Rights Management is the ?rst scienti?c workshop with ...
اقرأ المزيد
Security and Trust Management : 16th International Workshop, STM 2020, Guildford, UK, September 17–18, 2020, Proceedings
This book constitutes the proceedings of the 16th International Workshop on Security and Trust Management, STM 2020, co-located ...
اقرأ المزيد
Self-Organizing Systems : Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings
This book is organized in topical sections on peer-to-peer systems, overlay networks as well as resource and service management.
اقرأ المزيد
Semantic Service Provisioning
This book introduces advanced concepts in service provisioning and service engineering, including semantic concepts, dynamic ...
اقرأ المزيد
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 ...
اقرأ المزيد
Semiconductor Modeling:
Semiconductor Modeling: For Simulating Signal, Power, and Electromagnetic Integrity gives designers and engineers a broad ...
اقرأ المزيد
Sequence Analysis and Modern C++ : The Creation of the SeqAn3 Bioinformatics Library / Hannes Hauswedell
Every developer who previously worked with C++ will enjoy the in-depth chapter on important changes in the language from ...
اقرأ المزيد
Service Availability : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
The book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
اقرأ المزيد
Service-Oriented Computing - ICSOC 2008 : 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings
The book present original research in the field of service oriented computing, from theoretical and foundational results ...
اقرأ المزيد
Services Computing – SCC 2020
This volume constitutes the proceedings of the 17th International Conference on Services Computing 2020, held as Part of ...
اقرأ المزيد
