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

Crafting Interpreters

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

Compiler Design

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

C++ Quick Syntax Reference

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

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

A Cartographic Analysis of Soviet Military City Plans

Practical TLA+: Planning Driven Development

Object-Oriented Programming and Java: Edition 2

Practical Injection Molding

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

Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

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

From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz

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

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

Learn Java for Android Development: Edition 2

Programming Logics: Essays in Memory of Harald Ganzinger