![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
![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
![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
![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
![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
![Computer Security]( "Computer Security")
Book
Boureanu, I. (Ed), Pallas, F. (Ed), Pohle, J. (Ed), Sasse, A. (Ed), Drăgan, C. C. (Ed), Manulis, M. (Ed), Giannetsos, T. (Ed), Dadoyan, C. (Ed), Gouvas, P. (Ed), Hallman, R. A. (Ed), Li, S. (Ed), Chang, V. (Ed) (2020)
This book constitutes the refereed post-conference proceedings of the Interdisciplinary Workshop on Trust, Identity, Privacy, and Security in the Digital Economy, DETIPS 2020; the …
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
![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
![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
![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
![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
![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
![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
![Formal Methods for Software Engineering]( "Formal Methods for Software Engineering")
Textbook
Roggenbach, M., Cerone, A., Schlingloff, B., Schneider, G., Shaikh, S. A. (2021)
This is a graduate-level introduction to formal methods. The first part presents two formal languages: logic, in various forms, and Communicating Sequential Process (CSP) as a …
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
![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 4th International Conference on Lean and Agile Software Development, LASD 2021, which was held online on January 23, 2021. The …
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
