1- 20 of 39 results
Grid View Grid
List View List
Grid View Grid
List View List
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: The Haskell School of Music: From Signals to Symphonies, Author: Paul Hudak
QUICK ADD
The Haskell School of Music:…
by Paul Hudak, Donya Quick
Hardcover $71.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: Systematic Program Design: From Clarity to Efficiency, Author: Yanhong Annie Liu
QUICK ADD
Systematic Program Design:…
by Yanhong Annie Liu
Hardcover $105.00
Title: Software Configuration Management Handbook, Third Edition, Author: Alexis Leon
QUICK ADD
Software Configuration…
by Alexis Leon
Hardcover $119.00
Title: Smart Computing with Open Source Platforms, Author: Amartya Mukherjee
QUICK ADD
Smart Computing with Open…
by Amartya Mukherjee, Nilanjan Dey
Hardcover $190.00
Title: Secure and Resilient Software: Requirements, Test Cases, and Testing Methods, Author: Mark S. Merkow
QUICK ADD
Secure and Resilient Software:…
by Mark S. Merkow, Lakshmikanth Raghavan
Hardcover $105.00
Title: Purely Functional Data Structures, Author: Chris Okasaki
QUICK ADD
Purely Functional Data…
by Chris Okasaki
Hardcover $110.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: Programming Language Explorations, Author: Ray Toal
QUICK ADD
Programming Language…
by Ray Toal, Sage Strieker, Marco Berardini
Hardcover $160.00
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: Processing: An Introduction to Programming, Author: Jeffrey L. Nyhoff
QUICK ADD
Processing: An Introduction to…
by Jeffrey L. Nyhoff, Larry R. Nyhoff
Hardcover $180.00
Title: Practical Guide for Oracle SQL, T-SQL and MySQL, Author: Preston Zhang
QUICK ADD
Practical Guide for Oracle SQL…
by Preston Zhang
Hardcover $210.00
Title: Practical Foundations for Programming Languages, Author: Robert Harper
QUICK ADD
Practical Foundations for…
by Robert Harper
Hardcover $89.00
Title: PhoneGap Build: Developing Cross Platform Mobile Applications in the Cloud, Author: Bintu Harwani
QUICK ADD
PhoneGap Build: Developing…
by Bintu Harwani
Hardcover $97.99
Title: Pearls of Functional Algorithm Design, Author: Richard Bird
QUICK ADD
Pearls of Functional Algorithm…
by Richard Bird
Hardcover $76.00
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: Learning by Doing with National Instruments Development Boards, Author: Jivan Shrikrishna Parab
QUICK ADD
Learning by Doing with…
by Jivan Shrikrishna Parab, Ingrid Anne Nazareth, Rajendra S. Gad, Gourish Naik
Hardcover $97.99
Title: LabVIEW: A Developer's Guide to Real World Integration, Author: Ian Fairweather
QUICK ADD
LabVIEW: A Developer's Guide…
by Ian Fairweather (Editor), Anne Brumfield (Editor)
Hardcover $260.00
Title: Introduction to the Art of Programming Using Scala, Author: Mark C. Lewis
QUICK ADD
Introduction to the Art of…
by Mark C. Lewis
Explore Series
Hardcover $230.00

Pagination Links