Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook

  • Length: 426 pages
  • Publication Date: 2023-05-22
0 (0)

The Societal Impacts of Algorithmic Decision-Making

  • Length: 364 pages
  • Publication Date: 2023-09-08
0 (0)

Data Cleaning

  • Length: 282 pages
  • Publication Date: 2019-06-18
0 (0)

Verified Functional Programming in Agda

  • Length: 284 pages
  • Publication Date: 2016-02-01
0 (0)