Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Crafting Interpreters

Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Compiler Design

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

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

C++ Quick Syntax Reference

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Object-Oriented Programming and Java: Edition 2

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

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

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings

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

Adapting Proofs-as-Programs: The Curry--Howard Protocol

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

Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings

Lecture Slides for the Clang Libraries [LLVM/Clang 15] (Edition 0.0)

Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge: 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings