Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: Domain-Specific Languages / Edition 1, Author: Martin Fowler
Title: Effective Coding with VHDL: Principles and Best Practice, Author: Ricardo Jasinski
Title: Practical Foundations for Programming Languages / Edition 2, Author: Robert Harper
Title: Programming with Higher-Order Logic, Author: Dale Miller
Title: The SuperCollider Book, Author: Scott Wilson
Title: Circuit Design with VHDL, third edition / Edition 3, Author: Volnei A. Pedroni
Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: The Haskell School of Music: From Signals to Symphonies, Author: Paul Hudak
Title: Modern Compiler Design / Edition 2, Author: Dick Grune
Title: Program Logics for Certified Compilers, Author: Andrew W. Appel
Title: A Practical Guide To X Window Programming: Developing Applications with the XT Intrinsics and OSF/Motif, Author: Brian J. Keller
Title: Systematic Program Design: From Clarity to Efficiency, Author: Yanhong Annie Liu
Title: Introduction to Programming in Python: An Interdisciplinary Approach / Edition 1, Author: Robert Sedgewick
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: Explorations in Computing: An Introduction to Computer Science and Python Programming / Edition 1, Author: John S. Conery
Title: Introduction to Python Programming, Author: Gowrishankar S
Title: Software Configuration Management Handbook, Third Edition / Edition 3, Author: Alexis Leon
Title: Computer Programming for Beginners: A Step-By-Step Guide, Author: Murali Chemuturi

Pagination Links