1- 20 of 48 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Practical Foundations for Programming Languages / Edition 2, Author: Robert Harper
QUICK ADD
Practical Foundations for…
by Robert Harper
Hardcover $89.00
Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
QUICK ADD
Type Theory and Formal Proof:…
by Rob Nederpelt, Herman Geuvers
Hardcover $94.00
Title: Circuit Design with VHDL, third edition, Author: Volnei A. Pedroni
QUICK ADD
Circuit Design with VHDL,…
by Volnei A. Pedroni
Explore Series
Hardcover $65.00
Title: Building High Integrity Applications with SPARK, Author: John W. McCormick
QUICK ADD
Building High Integrity…
by John W. McCormick, Peter C. Chapin
Hardcover $164.00
Title: Purely Functional Data Structures, Author: Chris Okasaki
QUICK ADD
Purely Functional Data…
by Chris Okasaki
Hardcover $110.00
Title: Pearls of Functional Algorithm Design, Author: Richard Bird
QUICK ADD
Pearls of Functional Algorithm…
by Richard Bird
Hardcover $76.00
Title: Programming with Higher-Order Logic, Author: Dale Miller
QUICK ADD
Programming with Higher-Order…
by Dale Miller, Gopalan Nadathur
Hardcover $61.00
Title: The SuperCollider Book, Author: Scott Wilson
QUICK ADD
The SuperCollider Book
by Scott Wilson (Editor), David Cottle (Editor), Nick Collins (Editor), James McCartney (Foreword by)
Explore Series
Hardcover $100.00
Title: Introduction to Programming in Python: An Interdisciplinary Approach / Edition 1, Author: Robert Sedgewick
QUICK ADD
Introduction to Programming in…
by Robert Sedgewick, Kevin Wayne, Robert Dondero
Hardcover $93.09
Title: Program Logics for Certified Compilers, Author: Andrew W. Appel
QUICK ADD
Program Logics for Certified…
by Andrew W. Appel, Robert Dockins (Contribution by), Aquinas Hobor (Contribution by), Lennart Beringer (Contribution by), Josiah Dodds (Contribution by)
Hardcover $111.00
Title: How to Reduce the Cost of Software Testing, Author: Matthew Heusser
QUICK ADD
How to Reduce the Cost of…
by Matthew Heusser (Editor), Govind Kulkarni (Editor)
Hardcover $89.99
Title: Modern Compiler Design, Author: Dick Grune
QUICK ADD
Modern Compiler Design
by Dick Grune, Kees van Reeuwijk, Henri E. Bal, Ceriel J.H. Jacobs, Koen Langendoen
Hardcover $129.99
Title: Embedded Software Development with C, Author: Kai Qian
QUICK ADD
Embedded Software Development…
by Kai Qian, Li Cao, David Den Haring
Hardcover $99.99
Title: Programming Language Explorations, Author: Ray Toal
QUICK ADD
Programming Language…
by Ray Toal, Sage Strieker, Marco Berardini
Hardcover $160.00
Title: Rhetorical Code Studies: Discovering Arguments in and around Code, Author: Kevin Brock
QUICK ADD
Rhetorical Code Studies:…
by Kevin Brock
Explore Series
Hardcover $54.95
Title: Software Configuration Management Handbook, Third Edition / Edition 3, Author: Alexis Leon
QUICK ADD
Software Configuration…
by Alexis Leon
Hardcover $119.00
Title: High Performance Computing: Programming and Applications, Author: John Levesque
QUICK ADD
High Performance Computing:…
by John Levesque, Gene Wagenbreth
Explore Series
Hardcover $130.00
Title: Temporal Logics in Computer Science: Finite-State Systems, Author: Stéphane Demri
QUICK ADD
Temporal Logics in Computer…
by Stéphane Demri, Valentin Goranko, Martin Lange
#58 in Series
Hardcover $148.00
Title: Component- Oriented Development and Assembly: Paradigm, Principles, and Practice using Java, Author: Piram Manickam
QUICK ADD
Component- Oriented…
by Piram Manickam, S. Sangeetha, S. V. Subrahmanya
Explore Series
Hardcover $97.99
Title: HDL with Digital Design, Author: Nazeih Botros
QUICK ADD
HDL with Digital Design
by Nazeih Botros
Explore Series
Hardcover $79.95

Pagination Links