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: Programming with Higher-Order Logic, Author: Dale Miller
Title: The SuperCollider Book, Author: Scott Wilson
Title: Smart Computing with Open Source Platforms / Edition 1, Author: Amartya Mukherjee
Title: Mastering Software Project Requirements: A Framework for Successful Planning, Development & Alignment, Author: Barbara Davis
Title: Certifiable Software Applications 3: Downward Cycle, Author: Jean-Louis Boulanger
Title: Practical Guide for Oracle SQL, T-SQL and MySQL, Author: Preston Zhang
Title: Secure and Resilient Software: Requirements, Test Cases, and Testing Methods, Author: Mark S. Merkow
Title: Introduction to Recursive Programming, Author: Manuel Rubio-Sanchez
Title: Agile Model-Based Development Using UML-RSDS, Author: Kevin Lano
Title: The Haskell School of Music: From Signals to Symphonies, Author: Paul Hudak
Title: Modern Compiler Design, Author: Dick Grune
Title: Foundations of Software Engineering, Author: Ashfaque Ahmed
Title: Data Structure Practice: for Collegiate Programming Contests and Education, Author: Yonghui Wu
Title: Programming Language Explorations, Author: Ray Toal

Pagination Links