Title: Introduction to the Art of Programming Using Scala, Author: Mark C. Lewis
Title: R for Statistics, Author: Pierre-Andre Cornillon
Title: Oracle and PL/SQL Recipes: A Problem-Solution Approach, Author: Josh Juneau
Title: Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings, Author: Matt Kaufmann
Title: Practical MDX Queries: For Microsoft SQL Server Analysis Services 2008, Author: Art Tennick
Title: SOA and Web Services Interface Design: Principles, Techniques, and Standards, Author: James Bean
Title: Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers, Author: Stefano Berardi
Title: Basic Simple Type Theory, Author: J. Roger Hindley
Title: Logic in Computer Science: Modelling and Reasoning about Systems, Author: Michael Huth
Title: Term Rewriting and All That, Author: Franz Baader
Title: FreeDOS Kernel: An MS-DOS Emulator for Platform Independence & Embedded System Development, Author: Pat Villani
Title: Fortran 90 For Engineers / Edition 1, Author: Delores M. Etter
Title: Categories and Computer Science, Author: R. F. C. Walters

Pagination Links