Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: The SuperCollider Book, Author: Scott Wilson
Title: The Haskell School of Music: From Signals to Symphonies, Author: Paul Hudak
Title: Temporal Logics in Computer Science: Finite-State Systems, Author: Stéphane Demri
Title: Systematic Program Design: From Clarity to Efficiency, Author: Yanhong Annie Liu
Title: Software Engineering Measurement / Edition 1, Author: Ph.D.
Title: Software Configuration Management Handbook, Third Edition / Edition 3, Author: Alexis Leon
Title: Smart Computing with Open Source Platforms / Edition 1, Author: Amartya Mukherjee
Title: Secure and Resilient Software: Requirements, Test Cases, and Testing Methods, Author: Mark S. Merkow
Title: R for Statistics / Edition 1, Author: Pierre-Andre Cornillon
Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: Programming with Higher-Order Logic, Author: Dale Miller
Title: Programming Language Explorations, Author: Ray Toal
Title: Programming Language Explorations, Author: Ray Toal
Title: Program Logics for Certified Compilers, Author: Andrew W. Appel
Title: Processing: An Introduction to Programming / Edition 1, Author: Jeffrey L. Nyhoff
Title: Processing, second edition: A Programming Handbook for Visual Designers and Artists / Edition 2, Author: Casey Reas
Title: Practical Guide for Oracle SQL, T-SQL and MySQL, Author: Preston Zhang
Title: Practical Foundations for Programming Languages / Edition 2, Author: Robert Harper
Title: PhoneGap Build: Developing Cross Platform Mobile Applications in the Cloud, Author: Bintu Harwani

Pagination Links