Title: An Introduction to Statistical Inference and Its Applications with R / Edition 1, Author: Michael W. Trosset
Title: Building High Integrity Applications with SPARK, Author: John W. McCormick
Title: Modern Compiler Implementation in ML / Edition 1, Author: Andrew W. Appel
Title: The Object Primer: Agile Model-Driven Development with UML 2.0 / Edition 3, Author: Scott W. Ambler
Title: The Craft of Prolog, Author: Richard O'Keefe
Title: Learn Ruby the Hard Way: A Simple and Idiomatic Introduction to the Imaginative World Of Computational Thinking with Code / Edition 3, Author: Zed Shaw
Title: Latent Variable Modeling with R / Edition 1, Author: W. Holmes Finch
Title: Modern Fortran Explained: Incorporating Fortran 2018 / Edition 5, Author: Michael Metcalf
Title: Turtles, Termites, and Traffic Jams: Explorations in Massively Parallel Microworlds / Edition 1, Author: Mitchel Resnick
Title: FPGA Prototyping by VHDL Examples: Xilinx Spartan-3 Version / Edition 1, Author: Pong P. Chu
Title: Metamathematics, Machines and Gödel's Proof, Author: N. Shankar
Title: Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp / Edition 1, Author: Peter Norvig
Title: Logic in Computer Science: Modelling and Reasoning about Systems / Edition 2, Author: Michael Huth
Title: Thinking Functionally with Haskell, Author: Richard Bird
Title: Cytokines and the CNS / Edition 2, Author: Richard M. Ransohoff
Title: Common LISP Modules: Artificial Intelligence in the Era of Neural Networks and Chaos Theory / Edition 1, Author: Mark Watson
Title: The Description Logic Handbook: Theory, Implementation and Applications / Edition 2, Author: Franz Baader
Title: The Elements of UMLT 2.0 Style, Author: Scott W. Ambler
Title: Building High Integrity Applications with SPARK, Author: John W. McCormick
Title: Multivariate Time Series Analysis: With R and Financial Applications / Edition 1, Author: Ruey S. Tsay

Pagination Links