Software Engineering books

This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software...  Read More >>

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference...  Read More >>

It covers essential concepts such as distributed systems architecture and web technologies, contemporary paradigms...  Read More >>

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference...  Read More >>

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference...  Read More >>

This book covers the fundamental concepts of private AI and its applications. It also covers fusion of Private AI...  Read More >>

The three-volume set LNCS 14801, 14802, and 14803 constitutes the proceedings of the 30th European Conference on...  Read More >>

This introductory textbook on Java programming is different from others by its emphasis on test-driven development....  Read More >>

This book constitutes the proceedings of the Workshops held in conjunction with the 43rd International Conference...  Read More >>

How can we use a DT to support decisions, and how do we maintain it through life?To this end, the book is structured...  Read More >>

Truly Concurrent Process Algebra with Localities introduces localities...  Read More >>

This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability...  Read More >>

As Android apps continue to grow in popularity and an associated job market emerges, the ability to develop software...  Read More >>

This open access book explains the state of the art in quantum software engineering and design, independent from...  Read More >>

Creating an inclusive environment where different software developers can feel welcome and leverage their talents...  Read More >>

As Android apps continue to grow in popularity and an associated job market emerges, the ability to develop software...  Read More >>

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical...  Read More >>

This book constitutes the proceedings of the 30th International Conference on Collaboration Technologies and Social...  Read More >>

Identifying and stopping the dissemination of fabricated news, hate speech, or deceptive information camouflaged...  Read More >>

The two-volume set LNCS 14910 and 14911 constitutes the proceedings of the 35th International Conference on Database...  Read More >>

With the help of this book, readers will find it simpler to increase their employability and relevance to the job...  Read More >>

The two-volume set LNCS 14910 and 14911 constitutes the proceedings of the 35th International Conference on Database...  Read More >>

Artificial intelligence (AI) applications bring agility and modernity to our lives, and the reinforcement learning...  Read More >>

This book constitutes revised selected papers from the 12th and 13th International Conference on Cloud Computing...  Read More >>

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After...  Read More >>