Computers / Languages / General
Showing results 1-10 of 94
Filter Results OPEN +
Programming Your GPU with OpenMP
Programming Your GPU with OpenMP
Performance Portability for GPUs
ISBN: 9780262547536
Publisher: The MIT Press
Pub Date: November 7, 2023
The essential guide for writing portable, parallel programs for GPUs using the OpenMP programming model.
Program Proofs
ISBN: 9780262546232
Publisher: The MIT Press
Pub Date: March 7, 2023
This comprehensive and highly readable textbook teaches students how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.
Essentials of Compilation
An Incremental Approach in Racket
ISBN: 9780262047760
Publisher: The MIT Press
Pub Date: February 21, 2023
A hands-on approach to understanding and building compilers.
An Experiential Introduction to Principles of Programming Languages
An Experiential Introduction to Principles of Programming Languages
ISBN: 9780262045452
Publisher: The MIT Press
Pub Date: May 3, 2022
A textbook that uses a hands-on approach to teach principles of programming languages, with Java as the implementation language.
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs
JavaScript Edition
ISBN: 9780262543231
Publisher: The MIT Press
Pub Date: April 12, 2022
A new version of the classic and widely used text adapted for the JavaScript programming language.
Principles of Abstract Interpretation
Principles of Abstract Interpretation
ISBN: 9780262044905
Publisher: The MIT Press
Pub Date: September 21, 2021
Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.
Introduction to Computation and Programming Using Python, third edition
Introduction to Computation and Programming Using Python
With Application to Computational Modeling and Understanding Data
ISBN: 9780262542364
Publisher: The MIT Press
Pub Date: January 5, 2021
The new edition of an introduction to the art of computational problem solving using Python.
Circuit Design with VHDL, third edition
Circuit Design with VHDL
ISBN: 9780262042642
Publisher: The MIT Press
Pub Date: April 14, 2020
A completely updated and expanded comprehensive treatment of VHDL and its applications to the design and simulation of real, industry-standard circuits.
The Reasoned Schemer, second edition
The Reasoned Schemer
ISBN: 9780262535519
Publisher: The MIT Press
Pub Date: March 9, 2018
A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.
Thinking as Computation
A First Course
ISBN: 9780262534741
Publisher: The MIT Press
Pub Date: August 11, 2017
Students explore the idea that thinking is a form of computation by learning to write simple computer programs for tasks that require thought.

Programming Your GPU with OpenMP
Programming Your GPU with OpenMP
Performance Portability for GPUs
ISBN: 9780262547536
Publisher: The MIT Press
Pub Date: November 7, 2023
Program Proofs
ISBN: 9780262546232
Publisher: The MIT Press
Pub Date: March 7, 2023
Essentials of Compilation
An Incremental Approach in Racket
ISBN: 9780262047760
Publisher: The MIT Press
Pub Date: February 21, 2023
An Experiential Introduction to Principles of Programming Languages
An Experiential Introduction to Principles of Programming Languages
ISBN: 9780262045452
Publisher: The MIT Press
Pub Date: May 3, 2022
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs
JavaScript Edition
ISBN: 9780262543231
Publisher: The MIT Press
Pub Date: April 12, 2022
Principles of Abstract Interpretation
Principles of Abstract Interpretation
ISBN: 9780262044905
Publisher: The MIT Press
Pub Date: September 21, 2021
Introduction to Computation and Programming Using Python, third edition
Introduction to Computation and Programming Using Python
With Application to Computational Modeling and Understanding Data
ISBN: 9780262542364
Publisher: The MIT Press
Pub Date: January 5, 2021
Circuit Design with VHDL, third edition
Circuit Design with VHDL
ISBN: 9780262042642
Publisher: The MIT Press
Pub Date: April 14, 2020
The Reasoned Schemer, second edition
The Reasoned Schemer
ISBN: 9780262535519
Publisher: The MIT Press
Pub Date: March 9, 2018
Thinking as Computation
A First Course
ISBN: 9780262534741
Publisher: The MIT Press
Pub Date: August 11, 2017