Software Engineering books

This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a...  Read More >>

 Read More >>

Constitutes the refereed proceedings of four workshops held in conjunction with the Third European Conference, ServiceWave...  Read More >>

This book constitutes the refereed proceedings of the 30th International Conference on Conceptual Modeling, ER 2011,...  Read More >>

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods,...  Read More >>

This volume constitutes the refereed proceedings of the Fourth European Conference, ServiceWave 2011, held in Poznan,...  Read More >>

This book constitutes the refereed proceedings of workshops, held at the 30th International Conference on Conceptual...  Read More >>

Eclipse has always been a great choice for an IDE. C/C++ Development Tooling for Eclipse has also matured enough...  Read More >>

So much technology works, not by good design or by being a good fit to purpose, but because people make it work...  Read More >>

Temporal and modal logic, process calculus, and model checking have become essential software techniques for the...  Read More >>

Many books focus on increasing the quality of software through the use of formal methods. One of the main challenges...  Read More >>

Serving as an introduction to diagrammatical visual languages, this book covers the underlying theory of graph grammars...  Read More >>

Computer Architecture/Software Engineering  Read More >>

Surveying the contents the reader will find that the papers fall into three categories which we can roughly designate...  Read More >>

Einfache Beispiele sind PDAs (Personal Digital Assistants), Handhelds oder auch Mobiltelefone. Der Autor erläutert...  Read More >>

Developers must take time from writing and debugging code to cope with the operational problems thrust upon them...  Read More >>

Since the early seventies concepts of specification have become central in the whole area of computer science. The...  Read More >>

Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey...  Read More >>

The main purpose of this book is to bring together much of the research conducted in recent years in a subject I...  Read More >>

This two volume set LNCS 7016 and LNCS 7017 constitutes the refereed proceedings of the 11th International Conference...  Read More >>

Constitutes the refereed proceedings of the 11th International Conference on Algorithms and Architectures for Parallel...  Read More >>

Dependency Injection in .NET is a comprehensive guide that introduces DI to .NET developers. It covers core concepts...  Read More >>

Microsoft® Dynamics CRM 2011 Unleashed presents start-to-finish guidance for planning, customizing, deploying, integrating,...  Read More >>

Much unnecessary complexity obstructs the construction of these systems when conventional databases, file systems,...  Read More >>

Impressive progress in mathematical methods for programming software systems makes it possible to think about unifying...  Read More >>