Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: Pearls of Functional Algorithm Design, Author: Richard Bird
Title: Practical Foundations for Programming Languages, 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: Learning by Doing with National Instruments Development Boards, Author: Jivan Shrikrishna Parab
Title: Temporal Logics in Computer Science: Finite-State Systems, Author: Stéphane Demri
Title: Component- Oriented Development and Assembly: Paradigm, Principles, and Practice using Java, Author: Piram Manickam
Title: Smart Computing with Open Source Platforms, Author: Amartya Mukherjee
Title: FreeDOS Kernel: An MS-DOS Emulator for Platform Independence & Embedded System Development, Author: Pat Villani
Title: Secure and Resilient Software: Requirements, Test Cases, and Testing Methods, Author: Mark S. Merkow
Title: Categories and Computer Science, Author: R. F. C. Walters
Title: Software Configuration Management Handbook, Third Edition, Author: Alexis Leon
Title: Introduction to Programming in Python: An Interdisciplinary Approach, Author: Robert Sedgewick
Title: Rhetorical Code Studies: Discovering Arguments in and around Code, Author: Kevin Brock
Title: Information Modeling the EXPRESS Way, Author: Douglas A. Schenck
Title: Program Logics for Certified Compilers, Author: Andrew W. Appel
Title: Introduction to Software Engineering, Author: Ronald J. Leach
Title: The Haskell School of Music: From Signals to Symphonies, Author: Paul Hudak

Pagination Links