Electronic Books

Total Books: 481 - 500 /617

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

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

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

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

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

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

Soft Computing and its Engineering Applications

This book constitutes the refereed proceedings of the Second International Conference on Soft Computing and its Engineering ...

Software Architecture

This book aims to introduce the theoretical foundations, various sub-fields, current research, and practical methods of software ...

Software Architecture

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference ...

Software Architecture

This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...

Software Architecture (vol. # 3527)

This book constitutes the refereed proceedings of the 2nd European Workshop on Software Architecture, EWSA 2004, held in ...

Software Architecture (vol. # 4344)

This book constitutes the proceedings of the 3rd European Workshop on Software Architecture (EWSA 2006) provided an internationalforumforresearchersandpractitionersfromacademiaandindustry ...

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

Total Books: 481 - 500 /617