Title: Information Modeling the EXPRESS Way, Author: Douglas A. Schenck
Title: Pearls of Functional Algorithm Design, Author: Richard Bird
Title: Systematic Program Design: From Clarity to Efficiency, Author: Yanhong Annie Liu
Title: Program Logics for Certified Compilers, Author: Andrew W. Appel
Title: Explorations in Computing: An Introduction to Computer Science and Python Programming / Edition 1, Author: John S. Conery
Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: Software Configuration Management Handbook, Third Edition / Edition 3, Author: Alexis Leon
Title: Introduction to Programming in Python: An Interdisciplinary Approach / Edition 1, Author: Robert Sedgewick
Title: Building High Integrity Applications with SPARK, Author: John W. McCormick
Title: Practical Foundations for Programming Languages / Edition 2, Author: Robert Harper
Title: C: From Theory to Practice, Second Edition / Edition 2, Author: George S. Tselikis
Title: FreeDOS Kernel: An MS-DOS Emulator for Platform Independence & Embedded System Development / Edition 1, Author: Pat Villani
Title: Introduction to the Art of Programming Using Scala / Edition 1, Author: Mark C. Lewis
Title: R for Statistics / Edition 1, Author: Pierre-Andre Cornillon
Title: Processing: An Introduction to Programming / Edition 1, Author: Jeffrey L. Nyhoff
Title: The Haskell School of Music: From Signals to Symphonies, Author: Paul Hudak
Title: Learning by Doing with National Instruments Development Boards / Edition 1, Author: Jivan Shrikrishna Parab