Computers / Software Development & Engineering / General

Showing results 1-10 of 21

Filter Results OPEN +

Sort by: Per page: ‹12 3 ›

Automata Theory

An Algorithmic Approach

by Javier Esparza and Michael Blondin

ISBN: 9780262048637

Publisher: The MIT Press

Pub Date: October 17, 2023

A comprehensive introduction to automata theory that uses the novel approach of viewing automata as data structures.

Principles of Abstract Interpretation

by Patrick Cousot

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.

The Elements of Computing Systems, second edition

The Elements of Computing Systems

Building a Modern Computer from First Principles

by Noam Nisan and Shimon Schocken

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.

Making Games

The Politics and Poetics of Game Creation Tools

by Stefan Werning

ISBN: 9780262044837

Publisher: The MIT Press

Pub Date: February 16, 2021

An argument that production tools shape the aesthetics and political economy of games as an expressive medium.

The Software Arts

by Warren Sack

ISBN: 9780262039703

Publisher: The MIT Press

Pub Date: April 9, 2019

An alternative history of software that places the liberal arts at the very center of software's evolution.

The Problem with Software

Why Smart Engineers Write Bad Code

by Adam Barr

ISBN: 9780262038515

Publisher: The MIT Press

Pub Date: October 23, 2018

An industry insider explains why there is so much bad software—and why academia doesn't teach programmers what industry wants them to know.

Modeling and Simulating Software Architectures

The Palladio Approach

by Ralf H. Reussner, Steffen Becker, Jens Happe, Robert Heinrich, Anne Koziolek, Heiko Koziolek, Max Kramer and Klaus Krogmann

ISBN: 9780262034760

Publisher: The MIT Press

Pub Date: October 28, 2016

A new, quantitative architecture simulation approach to software design that circumvents costly testing cycles by modeling quality of service in early design states.

The Stack

On Software and Sovereignty

by Benjamin H. Bratton

ISBN: 9780262029575

Publisher: The MIT Press

Pub Date: February 19, 2016

A comprehensive political and design theory of planetary-scale computation proposing that The Stack—an accidental megastructure—is both a technological apparatus and a model for a new geopolitical architecture.