Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: Domain-Specific Languages / Edition 1, Author: Martin Fowler
Title: Practical Foundations for Programming Languages / Edition 2, Author: Robert Harper
Title: An Introduction to Statistical Inference and Its Applications with R / Edition 1, Author: Michael W. Trosset
Title: FPGA Prototyping by VHDL Examples: Xilinx MicroBlaze MCS SoC / Edition 2, Author: Pong P. Chu
Title: Introductory Fisheries Analyses with R / Edition 1, Author: Derek H. Ogle
Title: Generalized Additive Models: An Introduction with R, Second Edition / Edition 2, Author: Simon N. Wood
Title: Environmental and Ecological Statistics with R / Edition 1, Author: Song S. Qian
Title: The SuperCollider Book, Author: Scott Wilson
Title: The Python Workbook: A Brief Introduction with Exercises and Solutions / Edition 2, Author: Ben Stephenson
Title: Java in Two Semesters: Featuring JavaFX / Edition 4, Author: Quentin Charatan
Title: Circuit Design with VHDL, third edition / Edition 3, Author: Volnei A. Pedroni
Title: Concepts in Programming Languages / Edition 1, Author: John C. Mitchell
Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: The Haskell School of Music: From Signals to Symphonies, Author: Paul Hudak
Title: Financial Risk Modelling and Portfolio Optimization with R / Edition 2, Author: Bernhard Pfaff
Title: Modern Compiler Design / Edition 2, Author: Dick Grune
Title: Practical Common Lisp / Edition 1, Author: Peter Seibel
Title: Digital System Design with FPGA: Implementation Using Verilog and VHDL / Edition 1, Author: Bora Tar
Title: Program Logics for Certified Compilers, Author: Andrew W. Appel

Pagination Links