Software Engineering for Self-Adaptive Systems: International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Crafting Interpreters

Architecting Critical Systems: First International Symposium, Prague, Czech Republic, June 23-25, 2010

Compiler Design

Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

Xamarin Mobile Application Development: Cross-Platform C# and Xamarin.Forms Fundamentals

C++ Quick Syntax Reference

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

Requirements Targeting Software and Systems Engineering: International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997

Practical TLA+: Planning Driven Development

UML'99 - The Unified Modeling Language: Beyond the Standard: Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings

Object-Oriented Programming and Java: Edition 2

Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Beginning C for Arduino, Second Edition: Learn C Programming for the Arduino, Edition 2

Digital Communication: Solutions Manual, Edition 2

Pro TBB: C++ Parallel Programming with Threading Building Blocks

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Exploring C++: The Programmer's Introduction to C++