Computer science

31 Titles

All Books

Cover image

Uncertainty Quantification of Machine Learning Models

Laurens Sluijterman (Author)
March 26, 2025
Cover image

Structured Randomness

Daniël Kuijsters (Author)
July 4, 2025
Cover image

Guiding Automated Theorem Proving with Machine Learning

Jelle Piepenbrock (Author)
March 12, 2025

Comparing and Constructing (Co)Inductive Predicates

Ruben Turkenburg (Author)
June 19, 2026
cover image

Commutative algebra and symmetric cryptography

Robert Christian Subroto (Author)
November 24, 2025