Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook
- Length: 426 pages
- Publication Date: 2023-05-22
The Societal Impacts of Algorithmic Decision-Making
- Length: 364 pages
- Publication Date: 2023-09-08
Applied Affective Computing
- Length: 308 pages
- Publication Date: 2022-02-04
Circuits, Packets, and Protocols: Entrepreneurs and Computer Communications, 1968-1988
- Length: 632 pages
- Publication Date: 2022-04-19
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