The Societal Impacts of Algorithmic Decision-Making
- Length: 364 pages
- Publication Date: 2023-09-08
Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook
- Length: 426 pages
- Publication Date: 2023-05-22
Semantic Web for the Working Ontologist: Effective Modeling for Linked Data, Rdfs, and Owl
- Length: 510 pages
- Publication Date: 2020-08-03
Text Data Management and Analysis: A Practical Introduction to Information Retrieval and Text Mining
- Length: 532 pages
- Publication Date: 2016-06-30
Verified Functional Programming in Agda
by Aaron Stump
- Length: 284 pages
- Publication Date: 2016-02-01