Computers / Languages / General
Showing results 1-9 of 94
Filter Results OPEN +
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
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
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
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
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
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
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.
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
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
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
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
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
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
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.