Software Engineering books

This book constitutes the proceedings of the 6th International ICST Conference, TridentCom 2010, held in Berlin,...  Read More >>

 Read More >>

Integrating case studies to show the object oriented approach to software engineering, this title presents an introduction...  Read More >>

The complexity of issues requiring rational decision making grows and thus such decisions are becoming more and...  Read More >>

An introductory course in Software Engineering remains one of the hardest subjects to teach. Executing any software...  Read More >>

Model checking is a powerful approach for the formal verification of software. The first part describes in simple...  Read More >>

This book is concerned with a number of theories that can be used for describ­ ing and analyzing systems of interacting...  Read More >>

Contains the papers presented at the nineteenth annual Safety-Critical Systems Symposium, held at Southampton, UK,...  Read More >>

A text/reference addressing software testing, quality assurance, and validation and verification.  Read More >>

"" The vigorous growth in the study of algorithmic information theory has continued during the past few years, which...  Read More >>

With contributions by W.van der Aalst, P. Barril, T. Basten, J.-M. Colom, A. Diagne, C. Dutheillet, W. El Kaim,...  Read More >>

Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information...  Read More >>

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software....  Read More >>

 Read More >>

This volume constitutes the third of three parts of the refereed proceedings of the First International Conference...  Read More >>

This volume constitutes the second of three parts of the refereed proceedings of the First International Conference...  Read More >>

This volume constitutes the first of three parts of the refereed proceedings of the First International Conference...  Read More >>

Discusses about the 8th Conference on Software Engineering, Artificial Intelligence Research, Management and Applications...  Read More >>

This book constitutes the refereed proceedings of the 12th International Conference on Distributed Computing and...  Read More >>

 Read More >>

Suitable for practitioners, postgraduate students and researchers in optimization and optimal control, this book...  Read More >>

Mathematical Programming has been of significant interest and relevance in engineering, an area that is very rich...  Read More >>

""Beginning Google SketchUp for 3D Printing starts by explaining how to use SketchUp and itsplug-ins to make your...  Read More >>

Silverlight is Microsoft's cross-browser technology for creating rich user experiences on the Web. Like its predecessor,...  Read More >>

This volume presents state-of-the-art complementarity applications, algorithms, extensions and theory in the form...  Read More >>