Software Engineering books

This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems,...  Read More >>

Bridging theory and practice, this book offers model based control design techniques and methods for verifying design...  Read More >>

Im Vordergrund steht dabei die effiziente und kostengünstige Integration von Hard- und Softwarekomponenten unter...  Read More >>

Creativity and Rationale: Enhancing Human Experience by Design comprises 19 complementary chapters by leading experts...  Read More >>

 Read More >>

The objects displayed on a table can take multiple forms. It is a logical consequence to avoid the detour and the...  Read More >>

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking...  Read More >>

This book constitutes the proceedings of the 10th International Conference on Business Process Management, BPM 2012,...  Read More >>

Process-Driven SOA: Patterns for Aligning Business and IT  Read More >>

The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing...  Read More >>

 Read More >>

This book constitutes the proceedings of the Third Technology Conference on Performance Evaluation and Benchmarking,...  Read More >>

This book constitutes the refereed proceedings of the 15th International Conference on Principles and Practice of...  Read More >>

This book constitutes the refereed proceedings of the International RuleML Symposium, RuleML 2012, held in Montpellier,...  Read More >>

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal...  Read More >>

This booklet tells the story of Justin - a project manager who achieved remarkable results with his team by doing...  Read More >>

This monograph deals with deterministic project scheduling with time windows for activities and with limited resources....  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 6th International Conference on Convergence and Hybrid Information...  Read More >>

This book constitutes the refereed proceedings of the 6th International Conference on Convergence and Hybrid Information...  Read More >>

The authoritative and timely guide to ALM from Microsoft insiders and MVPs Focused on the latest release of Visual...  Read More >>

Fast-track conference proceedings State-of-the-art research Up-to-date results  Read More >>

The next generation of Business Process Management (BPM) methods and tools will support the development of a new...  Read More >>

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

 Read More >>