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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
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, ...
Continue reading
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 ...
Continue readingProgramming 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 ...
Continue reading
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 ...
Continue reading
Quality of Information and Communications Technology
This book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications ...
Continue reading
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, ...
Continue reading
Rationale-Based Software Engineering
Many decisions are required throughout the software development process. These decisions, and to some extent the decision-making ...
Continue reading
Reversible Computation
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
Continue reading
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 ...
Continue reading
Services Computing – SCC 2020
This volume constitutes the proceedings of the 17th International Conference on Services Computing 2020, held as Part of ...
Continue reading
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, ...
Continue reading
Soft Computing and its Engineering Applications
This book constitutes the refereed proceedings of the Second International Conference on Soft Computing and its Engineering ...
Continue reading
Software Architecture
This book aims to introduce the theoretical foundations, various sub-fields, current research, and practical methods of software ...
Continue reading
Software Architecture
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference ...
Continue reading
Software Architecture
This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...
Continue reading
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 ...
Continue reading
