Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: Pearls of Functional Algorithm Design, Author: Richard Bird
Title: Guide to Fortran 2008 Programming, Author: Walter S. Brainerd
Title: Domain-Specific Languages, Author: Martin Fowler
Title: The Haskell School of Music: From Signals to Symphonies, Author: Paul Hudak
Title: The Guide to MIDI Orchestration 4e, Author: Paul Gilreath
Title: Programming with Higher-Order Logic, Author: Dale Miller
Title: Modern Compiler Design, Author: Dick Grune
Title: Practical Foundations for Programming Languages, Author: Robert Harper
Title: Systematic Program Design: From Clarity to Efficiency, Author: Yanhong Annie Liu
Title: Building High Integrity Applications with SPARK, Author: John W. McCormick
Title: Software Configuration Management Handbook, Third Edition, Author: Alexis Leon
Title: Learning by Doing with National Instruments Development Boards, Author: Jivan Shrikrishna Parab
Title: Smart Computing with Open Source Platforms, Author: Amartya Mukherjee
Title: Introduction to the Art of Programming Using Scala, Author: Mark C. Lewis
Title: Explorations in Computing: An Introduction to Computer Science and Python Programming, Author: John S. Conery
Title: Introduction to Python Programming, Author: Gowrishankar S
Title: R for Statistics, Author: Pierre-Andre Cornillon
Title: Introduction to Software Engineering, Author: Ronald J. Leach

Pagination Links