The MIT Press

Program Proofs by K. Rustan M. Leino (Author), Kaleb Leino (Illustrator) Publish...

admin2023-03-28

Distrust: Big Data, Data-Torturing, and the Assault on Science by Gary Smith (Au...

admin2023-03-23

Sales and Operations Planning With SAP IBP (Second Edition) (SAP PRESS) February...

admin2023-03-21

Essentials of Compilation: An Incremental Approach in Racket by Jeremy G. Siek (...

admin2023-03-20

Playing Software: Homo Ludens in Computational Culture February 14, 2023 by Migu...

admin2023-03-08

The Little Learner: A Straight Line to Deep Learning by Daniel P. Friedman (Auth...

admin2023-02-27

All-in On AI: How Smart Companies Win Big with Artificial Intelligence January 2...

admin2023-02-04

Live Coding: A User's Manual (Software Studies) November 22, 2022 by Alan F. Bla...

admin2023-02-04

Artificial Communication: How Algorithms Produce Social Intelligence (Strong Ide...

admin2023-01-25

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathema...

admin2023-01-15