How to Write Good Programs: A Guide for Students

Navigating the Labyrinth: An Executive Guide to Data Management

Generic and Indexed Programming

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

The Essence of Software Engineering

Scaling a Software Business: The Digitalization Journey

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Playing with Java Microservices on Kubernetes and OpenShift

Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings

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

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

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

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Domain-Driven Design and Microservices

Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

The Future of Software Quality Assurance

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings

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

Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings