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, 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: Practical Guide for Oracle SQL, T-SQL and MySQL, Author: Preston Zhang
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: Introduction to Python Programming, Author: Gowrishankar S
Title: High Performance Computing: Programming and Applications, Author: John Levesque
Title: Data Structure Practice: for Collegiate Programming Contests and Education, Author: Yonghui Wu
Title: Component- Oriented Development and Assembly: Paradigm, Principles, and Practice using Java, Author: Piram Manickam
Title: Smart Computing with Open Source Platforms / Edition 1, Author: Amartya Mukherjee
Title: R for Statistics / Edition 1, Author: Pierre-Andre Cornillon
Title: How to Reduce the Cost of Software Testing, Author: Matthew Heusser
Title: Introduction to the Art of Programming Using Scala / Edition 1, Author: Mark C. Lewis
Title: Software Engineering with UML / Edition 1, Author: Bhuvan Unhelkar

Pagination Links