Verification: Theory and Practice - Essays in Honor of Zohar Manna (Lecture Notes in Computer Science, Volume 2772) View product
Node.js Web Development Guide: Real-Time Server-Side Applications - Third Edition (English Edition) View product
Assembly Language Programming Guide for Pentium and RISC Processors: A Comprehensive Textbook View product
MDX Solutions: Comprehensive Guide to Microsoft SQL Server Analysis Services 2005 and Hyperion Essbase View product
HTML5 Multimedia Development Cookbook: Essential Guide to Interactive Web Content Creation View product
CoffeeScript Application Development Cookbook: Essential Recipes for Building Interactive Web Applications View product
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: ECSQARU 2001 Conference Proceedings, Computer Science Notes, Volume 2143 View product
Theories of Programming Languages: Cambridge University Press Edition by John C. Reynolds (Paperback) View product
