21- 40 of 440 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: Purely Functional Data Structures / Edition 1, Author: Chris Okasaki
QUICK ADD
Purely Functional Data…
by Chris Okasaki
Paperback $64.00
Title: An Introduction to Statistical Inference and Its Applications with R / Edition 1, Author: Michael W. Trosset
QUICK ADD
An Introduction to Statistical…
by Michael W. Trosset
#81 in Series
Hardcover $120.00
Title: Building High Integrity Applications with SPARK, Author: John W. McCormick
QUICK ADD
Building High Integrity…
by John W. McCormick, Peter C. Chapin
Paperback $68.00
Title: Modern Compiler Implementation in ML / Edition 1, Author: Andrew W. Appel
QUICK ADD
Modern Compiler Implementation…
by Andrew W. Appel
Paperback $99.00
Title: The Object Primer: Agile Model-Driven Development with UML 2.0 / Edition 3, Author: Scott W. Ambler
QUICK ADD
The Object Primer: Agile Model…
by Scott W. Ambler
Paperback $83.00
Title: Latent Variable Modeling with R / Edition 1, Author: W. Holmes Finch
QUICK ADD
Latent Variable Modeling with…
by W. Holmes Finch, Brian F. French
Paperback $74.99
Title: Circuit Design with VHDL, third edition / Edition 3, Author: Volnei A. Pedroni
QUICK ADD
Circuit Design with VHDL,…
by Volnei A. Pedroni
Explore Series
Hardcover $65.00
Title: Modern Fortran Explained: Incorporating Fortran 2018 / Edition 5, Author: Michael Metcalf
QUICK ADD
Modern Fortran Explained:…
by Michael Metcalf, John Reid, Malcolm Cohen
Explore Series
Paperback $73.00
Title: FPGA Prototyping by VHDL Examples: Xilinx Spartan-3 Version / Edition 1, Author: Pong P. Chu
QUICK ADD
FPGA Prototyping by VHDL…
by Pong P. Chu
Hardcover $132.95
Title: Metamathematics, Machines and Gödel's Proof, Author: N. Shankar
QUICK ADD
Metamathematics, Machines and…
by N. Shankar
#38 in Series
Paperback $59.00
Title: Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp / Edition 1, Author: Peter Norvig
QUICK ADD
Paradigms of Artificial…
by Peter Norvig
Paperback $72.95
Title: Logic in Computer Science: Modelling and Reasoning about Systems / Edition 2, Author: Michael Huth
QUICK ADD
Logic in Computer Science:…
by Michael Huth, Mark Ryan
Paperback $73.00
Title: Thinking Functionally with Haskell, Author: Richard Bird
QUICK ADD
Thinking Functionally with…
by Richard Bird
Paperback $64.00
Title: Cytokines and the CNS / Edition 2, Author: Richard M. Ransohoff
QUICK ADD
Cytokines and the CNS /…
by Richard M. Ransohoff, Etty N. Benveniste
Paperback $82.99
Title: Common LISP Modules: Artificial Intelligence in the Era of Neural Networks and Chaos Theory / Edition 1, Author: Mark Watson
QUICK ADD
Common LISP Modules:…
by Mark Watson
Paperback $59.99
Title: The Description Logic Handbook: Theory, Implementation and Applications / Edition 2, Author: Franz Baader
QUICK ADD
The Description Logic Handbook…
by Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider
Paperback $85.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: Multivariate Time Series Analysis: With R and Financial Applications / Edition 1, Author: Ruey S. Tsay
QUICK ADD
Multivariate Time Series…
by Ruey S. Tsay
Explore Series
Hardcover $159.75
Title: Introduction to Assembly Language Programming: For Pentium and RISC Processors / Edition 2, Author: Sivarama P. Dandamudi
QUICK ADD
Introduction to Assembly…
by Sivarama P. Dandamudi
Explore Series
Paperback $109.00

Pagination Links