Software Engineering books

Proceedings of the NATO Advanced Research Workshop, Quebec City, Quebec, Canada, August 17--20, 1993  Read More >>

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program...  Read More >>

This book constitutes the refereed proceedings of the 5th International Workshop on Multiple Access Communications,...  Read More >>

The 4th FTRA International Conference on Computer Science and its Applications (CSA-12) will be held in Jeju, Korea...  Read More >>

The 18 revised full papers and 5 short papers presented were carefully reviewed and selected from 47 (full papers)...  Read More >>

This book constitutes the thoroughly reviewed post-proceedings of the 9th International Workshop, EUMAS 2011, held...  Read More >>

This book presents a fundamental mathematical and logical approach to soft­ ware and systems engineering.  Read More >>

Distributed and Parallel Systems: From Instruction Parallelism to Cluster Computing is the proceedings of the third...  Read More >>

The European Commission facilitates and supports applied research in knowledge management through its Information...  Read More >>

The authors of this book have, for the past eight years, conducted research in knowledge-based software engineering,...  Read More >>

This book is a result of the ISD'97, Sixth International Conference on Information Systems Development-Methods and...  Read More >>

Constitutes the proceedings of the 13th Pacific Rim Conference on Multimedia, held in Singapore during December...  Read More >>

The advent of the World Wide Web has changed the perspectives of groupware systems. The first generation of Web-based...  Read More >>

The book will be valuable for those interested in the development of programming tools and environments, as well...  Read More >>

Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite...  Read More >>

Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994  Read More >>

Summary""Hadoop in Practice"" collects 85 Hadoop examples and presents them in a problem/solution format. Each technique...  Read More >>

This book is a result of the Tenth International Conference on Information Systems Development (ISD2001) held at...  Read More >>

• Proof theoretic methods, which provide tools to deal with questions of feasibility of computations and also to...  Read More >>

Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program...  Read More >>

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

SOFTWARE ENGINEERING ESSENTIALS Volume 2: The Supporting Process FOURTH EDITION A multi- text software engineering...  Read More >>

SOFTWARE ENGINEERING ESSENTIALS Volume I: The Engineering Fundamentals FOURTH EDITION A multi- text software engineering...  Read More >>

Models in System Design will help designers and researchers to understand these latest techniques in system design...  Read More >>

Contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011...  Read More >>