![Software Quality: Future Perspectives on Software Engineering Quality]( "Software Quality: Future Perspectives on Software Engineering Quality")
Book
Winkler, D. (Ed), Biffl, S. (Ed), Mendez, D. (Ed), Wimmer, M. (Ed), Bergsmann, J. (Ed) (2021)
This book constitutes the refereed proceedings of the 13th Software Quality Days Conference, SWQD 2021, which was planned to be held in Vienna, Austria, during January 19–21, …
Available Formats:
Softcover
eBook
![Lean and Agile Software Development]( "Lean and Agile Software Development")
Book
Przybyłek, A. (Ed), Miler, J. (Ed), Poth, A. (Ed), Riel, A. (Ed) (2021)
This book constitutes the proceedings of the 5th International Conference on Lean and Agile Software Development, LASD 2021, which was held online on January 23, 2021. The …
Available Formats:
Softcover
eBook
![New Perspectives in Software Engineering]( "New Perspectives in Software Engineering")
Book
Mejia, J. (Ed), Muñoz, M. (Ed), Rocha, Á. (Ed), Quiñonez, Y. (Ed) (2021)
This book contains a selection of papers from the 2020 International Conference on Software Process Improvement (CIMPS 20), held between the 21st and 23rd of October in Mazatlán, …
Available Formats:
Softcover
eBook
![Parallel Agile – faster delivery, fewer defects, lower cost]( "Parallel Agile – faster delivery, fewer defects, lower cost")
Book
Rosenberg, D., Boehm, B., Stephens, M., Suscheck, C., Dhalipathi, S. R., Wang, B. (2020)
From the beginning of software time, people have wondered why it isn’t possible to accelerate software projects by simply adding staff. This is sometimes known as the “nine women …
Available Formats:
Softcover
Hardcover
eBook
![High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production]( "High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production")
Book
Jordan, V. (Ed), Filimonov, N. (Ed), Tarasov, I. (Ed), Faerman, V. (Ed) (2020)
This book constitutes selected revised and extended papers from the 10th International Conference on High-Performance Computing Systems and Technologies in Scientific Research, …
Available Formats:
Softcover
eBook
![Static Analysis]( "Static Analysis")
Book
Pichardie, D. (Ed), Sighireanu, M. (Ed) (2020)
This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020. The 14 regular papers …
Available Formats:
Softcover
eBook
![Design Patterns in .NET Core 3]( "Design Patterns in .NET Core 3")
Book
Nesteruk, D. (2020)
Implement design patterns in .NET Core 3 using the latest versions of the C# and F# languages. This book provides a comprehensive overview of the field of design patterns as they …
Available Formats:
Softcover
eBook
![Transactions on Rough Sets XXII]( "Transactions on Rough Sets XXII")
Book
Peters, J. F. (Ed), Skowron, A. (Ed) (2020)
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough …
Available Formats:
Softcover
eBook
![Theory of Cryptography]( "Theory of Cryptography")
Book
Pass, R. (Ed), Pietrzak, K. (Ed) (2020)
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in …
Available Formats:
Softcover
eBook
![Deductive Software Verification: Future Perspectives]( "Deductive Software Verification: Future Perspectives")
Book
Ahrendt, W. (Ed), Beckert, B. (Ed), Bubel, R. (Ed), Hähnle, R. (Ed), Ulbrich, M. (Ed) (2020)
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification. Since the inception of the KeY project two decades …
Available Formats:
Softcover
eBook
![Service-Oriented Computing]( "Service-Oriented Computing")
Book
Kafeza, E. (Ed), Benatallah, B. (Ed), Martinelli, F. (Ed), Hacid, H. (Ed), Bouguettaya, A. (Ed), Motahari, H. (Ed) (2020)
This book constitutes the proceedings of the 18th International Conference on Service-Oriented Computing, ICSOC 2020, which was planned to take place in Dubai, UAE, during …
Available Formats:
Softcover
eBook
![Service-Oriented Computing]( "Service-Oriented Computing")
Book
Dustdar, S. (Ed) (2020)
This book constitutes the refereed proceedings of the 14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, held in Crete, Greece, in September 2020.* …
Available Formats:
Softcover
eBook
![Software Verification]( "Software Verification")
Book
Christakis, M. (Ed), Polikarpova, N. (Ed), Duggirala, P. S. (Ed), Schrammel, P. (Ed) (2020)
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software …
Available Formats:
Softcover
eBook
![Economics of Grids, Clouds, Systems, and Services]( "Economics of Grids, Clouds, Systems, and Services")
Book
Djemame, K. (Ed), Altmann, J. (Ed), Bañares, J. Á. (Ed), Agmon Ben-Yehuda, O. (Ed), Stankovski, V. (Ed), Tuffin, B. (Ed) (2020)
This book constitutes the refereed proceedings of the 17th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2020, held in Izola, Slovenia, in …
Available Formats:
Softcover
eBook
![Advances in Service-Oriented and Cloud Computing]( "Advances in Service-Oriented and Cloud Computing")
Book
Fazio, M. (Ed), Zimmermann, W. (Ed) (2020)
This volume contains the technical papers presented in the workshops, which took place at the 7th European Conference on Service-Oriented and Cloud Computing, ESOCC 2018, held in …
Available Formats:
Softcover
eBook
![Job Scheduling Strategies for Parallel Processing]( "Job Scheduling Strategies for Parallel Processing")
Book
Klusáček, D. (Ed), Cirne, W. (Ed), Desai, N. (Ed) (2020)
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2020, held …
Available Formats:
Softcover
eBook
![MonoGame Mastery]( "MonoGame Mastery")
Book
Capellman, J., Salin, L. (2020)
Master the art of game creation with MonoGame—the cross-platform framework of choice for independent developers. Learn the various aspects needed to create your next game by …
Available Formats:
Softcover
eBook
![Quantitative Evaluation of Systems]( "Quantitative Evaluation of Systems")
Book
Gribaudo, M. (Ed), Jansen, D. N. (Ed), Remke, A. (Ed) (2020)
This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 …
Available Formats:
Softcover
eBook
![Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles]( "Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles")
Book
Margaria, T. (Ed), Steffen, B. (Ed) (2020)
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was …
Available Formats:
Softcover
eBook
![Technologies and Innovation]( "Technologies and Innovation")
Book
Valencia-García, R. (Ed), Alcaraz-Marmol, G. (Ed), Del Cioppo-Morstadt, J. (Ed), Vera-Lucio, N. (Ed), Bucaram-Leverone, M. (Ed) (2020)
This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020. The 16 …
Available Formats:
Softcover
eBook
