Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings

Crafting Interpreters

Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings

Compiler Design

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

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

C++ Quick Syntax Reference

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Practical TLA+: Planning Driven Development

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Object-Oriented Programming and Java: Edition 2

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

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

Programming Logics: Essays in Memory of Harald Ganzinger

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

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

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

Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings