Design and Development of Web Information Systems

Crafting Interpreters

Foundations of Information and Knowledge Systems: First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings

Compiler Design

Semantics in Data and Knowledge Bases: Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers

C++ Quick Syntax Reference

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

The Business of Hacking: Creating, Developing, and Maintaining an Effective Penetration Testing Team

Practical TLA+: Planning Driven Development

Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

Object-Oriented Programming and Java: Edition 2

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

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

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

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

Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Learn Java for Android Development: Edition 2

Conceptual Modelling and Its Theoretical Foundations: Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday