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 Software Engineering, Author: Ronald J. Leach
Title: Agile Model-Based Development Using UML-RSDS, Author: Kevin Lano
Title: Practical Guide for Oracle SQL, T-SQL and MySQL, Author: Preston Zhang
Title: Introduction to the Art of Programming Using Scala, Author: Mark C. Lewis
Title: HDL with Digital Design, Author: Nazeih Botros
Title: Modern Compiler Design, Author: Dick Grune
Title: Guide to Fortran 2008 Programming, Author: Walter S. Brainerd
Title: Processing: An Introduction to Programming, Author: Jeffrey L. Nyhoff
Title: Introduction to Python Programming, Author: Gowrishankar S
Title: Systematic Program Design: From Clarity to Efficiency, Author: Yanhong Annie Liu
Title: Programming Language Explorations, Author: Ray Toal
Title: Foundations of Software Engineering, Author: Ashfaque Ahmed
Title: Categories and Computer Science, Author: R. F. C. Walters
Title: FreeDOS Kernel: An MS-DOS Emulator for Platform Independence & Embedded System Development, Author: Pat Villani

Pagination Links