Home Advanced Search

Advanced Search - Page 1

Verified Functional Programming in Agda
  • DJVU
  • English
  • Year: 2016
  • Author: Aaron Stump
Computing and the National Science Foundation 1950-2016: Building a Foundation for Modern Computing
  • PDF
  • English
  • Year: 2019
  • Author: Peter A. Freeman; W. Richards Adrion; William Aspray
Data Cleaning
  • PDF
  • English
  • Year: 2019
  • Author: Ihab F. Ilyas, Xu Chu
The Sparse Fourier Transform (Acm Books)
  • PDF
  • English
  • Year: 2018
  • Author: Haitham Hassanieh
Verified Functional Programming in Agda
  • PDF
  • English
  • Year: 2016
  • Author: Aaron Stump
Probabilistic and Causal Inference: The Works of Judea Pearl
  • PDF
  • English
  • Year: 2022
  • Author: Hector Geffner (Author), Rita Dechter (Author), Joseph Halpern (Author)
Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook
  • PDF
  • English
  • Year: 2023
  • Author: Bruce M Kapron (editor)