Title: Practical Foundations for Programming Languages / Edition 2, Author: Robert Harper
Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: Circuit Design with VHDL, third edition / Edition 3, Author: Volnei A. Pedroni
Title: Building High Integrity Applications with SPARK, Author: John W. McCormick
Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: Pearls of Functional Algorithm Design, Author: Richard Bird
Title: The SuperCollider Book, Author: Scott Wilson
Title: Explorations in Computing: An Introduction to Computer Science and Python Programming / Edition 1, Author: John S. Conery
Title: Systematic Program Design: From Clarity to Efficiency, Author: Yanhong Annie Liu
Title: Program Logics for Certified Compilers, Author: Andrew W. Appel
Title: Information Modeling the EXPRESS Way, Author: Douglas A. Schenck
Title: R for Statistics / Edition 1, Author: Pierre-Andre Cornillon
Title: Modern Compiler Design / Edition 2, Author: Dick Grune
Title: Data Structure Practice: for Collegiate Programming Contests and Education / Edition 1, Author: Yonghui Wu
Title: The Haskell School of Music: From Signals to Symphonies, Author: Paul Hudak
Title: Processing: An Introduction to Programming / Edition 1, Author: Jeffrey L. Nyhoff
Title: Temporal Logics in Computer Science: Finite-State Systems, Author: Stéphane Demri
Title: FreeDOS Kernel: An MS-DOS Emulator for Platform Independence & Embedded System Development / Edition 1, Author: Pat Villani
Title: Processing, second edition: A Programming Handbook for Visual Designers and Artists / Edition 2, Author: Casey Reas
Title: C: From Theory to Practice, Second Edition / Edition 2, Author: George S. Tselikis

Pagination Links