Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings

Thinking in Systems: International Bestseller

Architecture of Computing Systems - ARCS 2009: 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings

Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings

Crafting Interpreters

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Chaos: Making a New Science

Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings

Programming with MotifTM

C++ Quick Syntax Reference

Handbook of Model Checking

Web Information Systems Engineering - WISE 2012: 13th International Conference, Paphos, Cyprus, November 28-30, 2012, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

On Trails: An Exploration

Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Object-Oriented Programming and Java: Edition 2

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

Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Complexity: The Emerging Science at the Edge of Order and Chaos