Title: Practical Foundations for Programming Languages, Author: Robert Harper
Title: Modern Compiler Design, Author: Dick Grune
Title: Domain-Specific Languages, Author: Martin Fowler
Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: Pearls of Functional Algorithm Design, Author: Richard Bird
Title: Circuit Design with VHDL, third edition, Author: Volnei A. Pedroni
Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: How to Reduce the Cost of Software Testing, Author: Matthew Heusser
Title: The Haskell School of Music: From Signals to Symphonies, Author: Paul Hudak
Title: Introduction to the Art of Programming Using Scala, Author: Mark C. Lewis
Title: Systematic Program Design: From Clarity to Efficiency, Author: Yanhong Annie Liu
Title: Programming Language Explorations, Author: Ray Toal
Title: Building High Integrity Applications with SPARK, Author: John W. McCormick
Title: Introduction to Programming in Python: An Interdisciplinary Approach, Author: Robert Sedgewick
Title: A Practical Guide To X Window Programming: Developing Applications with the XT Intrinsics and OSF/Motif, Author: Brian J. Keller
Title: Secure and Resilient Software: Requirements, Test Cases, and Testing Methods, Author: Mark S. Merkow
Title: Guide to Fortran 2008 Programming, Author: Walter S. Brainerd
Title: Foundations of Software Engineering, Author: Ashfaque Ahmed
Title: Data Structure Practice: for Collegiate Programming Contests and Education, Author: Yonghui Wu
Title: Embedded Software Development with C, Author: Kai Qian

Pagination Links