Computers / Programming / General
Showing results 1-9 of 29
Filter Results OPEN +
Certified Programming with Dependent Types
A Pragmatic Introduction to the Coq Proof Assistant
ISBN: 9780262545747
Publisher: The MIT Press
Pub Date: June 7, 2022
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus.
The Elements of Computing Systems
Building a Modern Computer from First Principles
ISBN: 9780262539807
Publisher: The MIT Press
Pub Date: June 15, 2021
A new and extensively revised edition of a popular textbook used in universities, coding boot camps, hacker clubs, and online courses.
Exploratory Programming for the Arts and Humanities
ISBN: 9780262044608
Publisher: The MIT Press
Pub Date: May 18, 2021
A new edition of a book for anyone who wants to learn programming to explore and create, with exercises and projects to help readers learn by doing.
Software Design for Flexibility
How to Avoid Programming Yourself into a Corner
ISBN: 9780262045490
Publisher: The MIT Press
Pub Date: March 9, 2021
Strategies for building systems that can be adapted for new situations with only minor programming modifications.
Critical Code Studies
ISBN: 9780262043656
Publisher: The MIT Press
Pub Date: March 3, 2020
An argument that we must read code for more than what it does—we must consider what it means.
The Little Typer
ISBN: 9780262536431
Publisher: The MIT Press
Pub Date: September 18, 2018
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
How to Design Programs
An Introduction to Programming and Computing
ISBN: 9780262534802
Publisher: The MIT Press
Pub Date: May 4, 2018
A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming.
Elements of Causal Inference
Foundations and Learning Algorithms
ISBN: 9780262037310
Publisher: The MIT Press
Pub Date: November 29, 2017
A concise and self-contained introduction to causal inference, increasingly important in data science and machine learning.
Programming for the Puzzled
Learn to Program While Solving Puzzles
ISBN: 9780262534307
Publisher: The MIT Press
Pub Date: November 3, 2017
Learning programming with one of “the coolest applications around”: algorithmic puzzles ranging from scheduling selfie time to verifying the six degrees of separation hypothesis.
Certified Programming with Dependent Types
A Pragmatic Introduction to the Coq Proof Assistant
ISBN: 9780262545747
Publisher: The MIT Press
Pub Date: June 7, 2022
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus.
The Elements of Computing Systems
Building a Modern Computer from First Principles
ISBN: 9780262539807
Publisher: The MIT Press
Pub Date: June 15, 2021
A new and extensively revised edition of a popular textbook used in universities, coding boot camps, hacker clubs, and online courses.
Exploratory Programming for the Arts and Humanities
ISBN: 9780262044608
Publisher: The MIT Press
Pub Date: May 18, 2021
A new edition of a book for anyone who wants to learn programming to explore and create, with exercises and projects to help readers learn by doing.
Software Design for Flexibility
How to Avoid Programming Yourself into a Corner
ISBN: 9780262045490
Publisher: The MIT Press
Pub Date: March 9, 2021
Strategies for building systems that can be adapted for new situations with only minor programming modifications.
Critical Code Studies
ISBN: 9780262043656
Publisher: The MIT Press
Pub Date: March 3, 2020
An argument that we must read code for more than what it does—we must consider what it means.
The Little Typer
ISBN: 9780262536431
Publisher: The MIT Press
Pub Date: September 18, 2018
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
How to Design Programs
An Introduction to Programming and Computing
ISBN: 9780262534802
Publisher: The MIT Press
Pub Date: May 4, 2018
A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming.
Elements of Causal Inference
Foundations and Learning Algorithms
ISBN: 9780262037310
Publisher: The MIT Press
Pub Date: November 29, 2017
A concise and self-contained introduction to causal inference, increasingly important in data science and machine learning.
Programming for the Puzzled
Learn to Program While Solving Puzzles
ISBN: 9780262534307
Publisher: The MIT Press
Pub Date: November 3, 2017
Learning programming with one of “the coolest applications around”: algorithmic puzzles ranging from scheduling selfie time to verifying the six degrees of separation hypothesis.