Title: Practical Foundations for Programming Languages, Author: Robert Harper
Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: Pearls of Functional Algorithm Design, Author: Richard Bird
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: Introduction to Programming in Python: An Interdisciplinary Approach, Author: Robert Sedgewick
Title: Mastering Software Project Requirements: A Framework for Successful Planning, Development & Alignment, Author: Barbara Davis
Title: Explorations in Computing: An Introduction to Computer Science and Python Programming, Author: John S. Conery
Title: LabVIEW: A Developer's Guide to Real World Integration, Author: Ian Fairweather
Title: PhoneGap Build: Developing Cross Platform Mobile Applications in the Cloud, Author: Bintu Harwani
Title: Learning by Doing with National Instruments Development Boards, Author: Jivan Shrikrishna Parab
Title: Guide to Fortran 2008 Programming, Author: Walter S. Brainerd
Title: Introduction to the Art of Programming Using Scala, Author: Mark C. Lewis
Title: Program Logics for Certified Compilers, Author: Andrew W. Appel
Title: Categories and Computer Science, Author: R. F. C. Walters
Title: Temporal Logics in Computer Science: Finite-State Systems, Author: Stéphane Demri
Title: Modern Compiler Design, Author: Dick Grune
Title: Practical Guide for Oracle SQL, T-SQL and MySQL, Author: Preston Zhang
Title: Programming with Higher-Order Logic, Author: Dale Miller

Pagination Links