Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: Pearls of Functional Algorithm Design, Author: Richard Bird
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: Smart Computing with Open Source Platforms, Author: Amartya Mukherjee
Title: Mastering Software Project Requirements: A Framework for Successful Planning, Development & Alignment, Author: Barbara Davis
Title: Introduction to the Art of Programming Using Scala / Edition 1, Author: Mark C. Lewis
Title: Data Structure Practice: for Collegiate Programming Contests and Education, Author: Yonghui Wu
Title: Introduction to Python Programming, Author: Gowrishankar S
Title: How to Reduce the Cost of Software Testing, Author: Matthew Heusser
Title: Certifiable Software Applications 3: Downward Cycle, Author: Jean-Louis Boulanger
Title: A Practical Guide To X Window Programming: Developing Applications with the XT Intrinsics and OSF/Motif, Author: Brian J. Keller
Title: FreeDOS Kernel: An MS-DOS Emulator for Platform Independence & Embedded System Development, Author: Pat Villani
Title: Categories and Computer Science, Author: R. F. C. Walters
Title: Program Logics for Certified Compilers, Author: Andrew W. Appel
Title: Agile Model-Based Development Using UML-RSDS, Author: Kevin Lano
Title: Information Modeling the EXPRESS Way, Author: Douglas A. Schenck
Title: Software Engineering Measurement, Author: Ph.D.

Pagination Links