Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: Types and Programming Languages / Edition 1, Author: Benjamin C. Pierce
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: The Python Workbook: A Brief Introduction with Exercises and Solutions / Edition 2, Author: Ben Stephenson
Title: Concepts in Programming Languages / Edition 1, Author: John C. Mitchell
Title: Environmental and Ecological Statistics with R / Edition 1, Author: Song S. Qian
Title: Building High Integrity Applications with SPARK, Author: John W. McCormick
Title: Multivariate Time Series Analysis: With R and Financial Applications / Edition 1, Author: Ruey S. Tsay
Title: Processing: Creative Coding and Computational Art / Edition 1, Author: Ira Greenberg
Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: Pearls of Functional Algorithm Design, Author: Richard Bird
Title: Applied Hierarchical Modeling in Ecology: Analysis of distribution, abundance and species richness in R and BUGS: Volume 1:Prelude and Static Models, Author: Marc Kéry
Title: The SuperCollider Book, Author: Scott Wilson
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: 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: Clinical Trial Data Analysis Using R and SAS / Edition 2, Author: Ding-Geng (Din) Chen
Title: Reasoning About Program Transformations: Imperative Programming and Flow of Data / Edition 1, Author: Jean-Francois Collard

Pagination Links