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 ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
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 ...
Lee mas
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.
Lee mas
Semantic Service Provisioning
This book introduces advanced concepts in service provisioning and service engineering, including semantic concepts, dynamic ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
SharePoint 2007 Development Recipes : A Problem-Solution Approach
SharePoint 2007 Development Recipes offers a range of ready–to–use code recipes that provide the building blocks for ...
Lee mas
Silverlight 2 Visual Essentials
Silverlight is a lightweight browser plug–in that frees your code from the traditional confines of the browser. It is a ...
Lee mas
Smart Grid and Internet of Things
This book constitutes the refereed proceedings of the Third EAI International Conference on Smart Grid and Internet of Things, ...
Lee mas
Smart Technologies for Precision Assembly 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14–15, 2020, Revised Selected Papers
This book constitutes the refereed post-conference proceedings of the 9th IFIP WG 5.5 International Precision Assembly Seminar, ...
Lee mas
Soft Computing and its Engineering Applications
This book constitutes the refereed proceedings of the Second International Conference on Soft Computing and its Engineering ...
Lee mas
Software Architecture
This book aims to introduce the theoretical foundations, various sub-fields, current research, and practical methods of software ...
Lee mas
Software Architecture
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference ...
Lee mas
Software Architecture
This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...
Lee mas
Software Architecture (vol. # 3527)
This book constitutes the refereed proceedings of the 2nd European Workshop on Software Architecture, EWSA 2004, held in ...
Lee mas
Software Architecture (vol. # 4344)
This book constitutes the proceedings of the 3rd European Workshop on Software Architecture (EWSA 2006) provided an internationalforumforresearchersandpractitionersfromacademiaandindustry ...
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
