Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Navigating the Labyrinth: An Executive Guide to Data Management

Handbook of Service Description: USDL and Its Methods

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

BPMN 2.0 Handbook Second Edition: Methods, Concepts, Case Studies and Standards in Business Process Management Notation

The Essence of Software Engineering

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

Scaling a Software Business: The Digitalization Journey

Playing with Java Microservices on Kubernetes and OpenShift

Windows PowerShell for Developers: Enhance Your Productivity and Enable Rapid Application Development

Formal Object-Oriented Development

Hacking Web Intelligence: Open Source Intelligence and Web Reconnaissance Concepts and Techniques

Domain-Driven Design and Microservices

The Future of Software Quality Assurance

Product-Focused Software Process Improvement: 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings

Breaking into Information Security: Crafting a Custom Career Path to Get the Job You Really Want

Predictive Analytics and Data Mining: Concepts and Practice with RapidMiner

IIN Strategy – A Telecommunications Service Bureau

The CMDB Imperative: How to Realize the Dream and Avoid the Nightmares: How to Realize the Dream and Avoid the Nightmares

A Simplified Approach to It Architecture with Bpmn: A Coherent Methodology for Modeling Every Level of the Enterprise