![Model-Driven Engineering and Software Development]( "Model-Driven Engineering and Software Development")
Book
Hammoudi, S. (Ed), Pires, L. F. (Ed), Selić, B. (Ed) (2021)
This book constitutes thoroughly revised and selected papers from the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, held in …
Available Formats:
Softcover
eBook
![Automotive Software Architectures]( "Automotive Software Architectures")
Textbook
Staron, M. (2021)
This book introduces the concept of software architecture as one of the cornerstones of software in modern cars. Following a historical overview of the evolution of software in …
Available Formats:
Hardcover
eBook
![Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing]( "Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing")
Book
Lee, R. (Ed), Kim, J. B. (Ed) (2021)
This edited book presents scientific results of the 21st ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed …
Available Formats:
Hardcover
eBook
![Embedded Software Timing]( "Embedded Software Timing")
Book
Gliwa, P. (2021)
Without correct timing, there is no safe and reliable embedded software. This book shows how to consider timing early in the development process for embedded systems, how to solve …
Available Formats:
Hardcover
eBook
![Software Engineering for Absolute Beginners]( "Software Engineering for Absolute Beginners")
Book
Loubser, N. (2021)
Start programming from scratch, no experience required. This beginners’ guide to software engineering starts with a discussion of the different editors used to create software and …
Available Formats:
Softcover
eBook
![Patterns in the Machine]( "Patterns in the Machine")
Book
Taylor, J. T., Taylor, W. T. (2021)
Discover how to apply software engineering patterns to develop more robust firmware faster than traditional embedded development approaches. In the authors’ experience, …
Available Formats:
Softcover
eBook
![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
