Electronic Books

Total Books: 41 - 60 /73

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Modelling and Development of Intelligent Systems : 6th International Conference, MDIS 2019, Sibiu, Romania, October 3–5, 2019, Revised Selected Papers

This volume constitutes the refereed proceedings of the 6th International Conference on Modelling and Development of Intelligent ...

Objects, Components, Models and Patterns : 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings

This book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models ...

OpenMP: Portable Multi-Level Parallelism on Modern Systems

This book constitutes the proceedings of the 16th International Workshop on OpenMP, IWOMP 2020, held in Austin, TX, USA, ...

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

This book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...

Progress in Cryptology - AFRICACRYPT 2020 : 12th International Conference on Cryptology in Africa, Cairo, Egypt, July 20 – 22, 2020, Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on the Theory and Application of Cryptographic ...

Quality of Information and Communications Technology

This book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications ...

Quality of Software Architectures. Models and Architectures : 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

This book is organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, ...

Rationale-Based Software Engineering

Many decisions are required throughout the software development process. These decisions, and to some extent the decision-making ...

Reversible Computation

This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...

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

Services Computing – SCC 2020

This volume constitutes the proceedings of the 17th International Conference on Services Computing 2020, held as Part of ...

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

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 by Example : Using C# and .NET / Paul Michaels

Guides you in understanding how a software solution is designed using different architectural processes and scenarios. Each ...

Total Books: 41 - 60 /73