Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Just Enough Software Architecture: A Risk-Driven Approach

The French School of Programming

Domain-Driven Design: Tackling Complexity in the Heart of Software

Algorithms: Edition 4

XDA Developers' Android Hacker's Toolkit: The Complete Guide to Rooting, ROMs and Theming

Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

Modern Software Engineering: Doing What Works to Build Better Software Faster

Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Software Engineering at Google: Lessons Learned from Programming Over Time

Present and Ulterior Software Engineering

Human Machine Interaction: Research Results of the MMI Program

Mastering Windows Server 2012 R2

Software Engineering: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Domain-Driven Design in PHP

Domain-Driven Design Reference: Definitions and Pattern Summaries

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers