
Program Proofs
Program Proofs by K. Rustan M. Leino (Author), Kaleb Leino (Illustrator) Publish...
Program Proofs by K. Rustan M. Leino (Author), Kaleb Leino (Illustrator) Publish...
Distrust: Big Data, Data-Torturing, and the Assault on Science by Gary Smith (Au...
Sales and Operations Planning With SAP IBP (Second Edition) (SAP PRESS) February...
Essentials of Compilation: An Incremental Approach in Racket by Jeremy G. Siek (...
Playing Software: Homo Ludens in Computational Culture February 14, 2023 by Migu...
The Little Learner: A Straight Line to Deep Learning by Daniel P. Friedman (Auth...
All-in On AI: How Smart Companies Win Big with Artificial Intelligence January 2...
Live Coding: A User's Manual (Software Studies) November 22, 2022 by Alan F. Bla...
Artificial Communication: How Algorithms Produce Social Intelligence (Strong Ide...
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathema...