Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: Explorations in Computing: An Introduction to Computer Science and Python Programming, Author: John S. Conery
Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: Guide to Fortran 2008 Programming, Author: Walter S. Brainerd
Title: Domain-Specific Languages, Author: Martin Fowler
Title: Pearls of Functional Algorithm Design, Author: Richard Bird
Title: Processing, second edition: A Programming Handbook for Visual Designers and Artists, Author: Casey Reas
Title: Practical Foundations for Programming Languages, Author: Robert Harper
Title: Programming Language Explorations, Author: Ray Toal
Title: Systematic Program Design: From Clarity to Efficiency, Author: Yanhong Annie Liu
Title: A Practical Guide To X Window Programming: Developing Applications with the XT Intrinsics and OSF/Motif, Author: Brian J. Keller
Title: HDL with Digital Design, Author: Nazeih Botros
Title: The Haskell School of Music: From Signals to Symphonies, Author: Paul Hudak
Title: Program Logics for Certified Compilers, Author: Andrew W. Appel
Title: Data Structure Practice: for Collegiate Programming Contests and Education, Author: Yonghui Wu
Title: Practical Guide for Oracle SQL, T-SQL and MySQL, Author: Preston Zhang
Title: Introduction to Software Engineering, Author: Ronald J. Leach
Title: Introduction to Python Programming, Author: Gowrishankar S
Title: Component- Oriented Development and Assembly: Paradigm, Principles, and Practice using Java, Author: Piram Manickam
Title: Programming with Higher-Order Logic, Author: Dale Miller

Pagination Links