Title: Circuit Design with VHDL, third edition / Edition 3, Author: Volnei A. Pedroni
Title: Domain-Specific Languages / Edition 1, Author: Martin Fowler
Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: The Haskell School of Music: From Signals to Symphonies, Author: Paul Hudak
Title: Practical Foundations for Programming Languages / Edition 2, Author: Robert Harper
Title: Modern Compiler Design / Edition 2, Author: Dick Grune
Title: Pearls of Functional Algorithm Design, Author: Richard Bird
Title: Program Logics for Certified Compilers, Author: Andrew W. Appel
Title: Categories and Computer Science, Author: R. F. C. Walters
Title: Information Modeling the EXPRESS Way, Author: Douglas A. Schenck
Title: Smart Computing with Open Source Platforms / Edition 1, Author: Amartya Mukherjee
Title: Agile Model-Based Development Using UML-RSDS / Edition 1, Author: Kevin Lano
Title: How to Reduce the Cost of Software Testing / Edition 1, Author: Matthew Heusser
Title: Introduction to Programming in Python: An Interdisciplinary Approach / Edition 1, Author: Robert Sedgewick
Title: The SuperCollider Book, Author: Scott Wilson
Title: Embedded Software Development with C / Edition 1, Author: Kai Qian
Title: R for Statistics / Edition 1, Author: Pierre-Andre Cornillon
Title: Building High Integrity Applications with SPARK, Author: John W. McCormick
Title: Introduction to the Art of Programming Using Scala / Edition 1, Author: Mark C. Lewis

Pagination Links