Skip to content
MIT Press
  • MIT Press
  • Books
    • Column
      • View all subjects
      • New releases
      • Catalogs
      • Textbooks
      • Series
      • Awards
    • Column
      • Authors
      • Distributed presses
      • The MIT Press Reader
      • Podcasts
      • Collections
    • Column
      • MIT Press Direct

        MIT Press Direct is a distinctive collection of influential MIT Press books curated for scholars and libraries worldwide.

        • Learn more
  • Journals
    • column
      • Journals all topics
      • Economics
      • International Affairs, History, & Political Science
    • column
      • Arts & Humanities
      • Science & Technology
      • Open access
    • column
      • MIT Press journals

        MIT Press began publishing journals in 1970 with the first volumes of Linguistic Inquiry and the Journal of Interdisciplinary History. Today we publish over 30 titles in the arts and humanities, social sciences, and science and technology.

        • Learn more
  • Open Access
    • column
      • Open access at the MIT Press
      • Open access books
      • Open access journals
    • column
      • Direct to Open
      • MIT Open Publishing Services
      • MIT Press Open on PubPub
    • Column
      • Open access

        The MIT Press has been a leader in open access book publishing for over two decades, beginning in 1995 with the publication of William Mitchell’s City of Bits, which appeared simultaneously in print and in a dynamic, open web edition.

        • Learn more
  • Info for
    • column
      • Current authors
      • Prospective authors
      • Instructors
    • column
      • Media inquiries
      • Booksellers
      • Rights and permissions
    • column
      • Resources

        Collaborating with authors, instructors, booksellers, librarians, and the media is at the heart of what we do as a scholarly publisher. If you can’t find the resource you need here, visit our contact page to get in touch.

        • Learn more
  • Give
  • About
    • Column
      • About
      • Jobs
      • Internships
      • MIT Press Editorial Board
      • MIT Press Management Board
      • Our MIT story
    • Column
      • Catalogs
      • News
      • Events
      • Conferences
      • Bookstore
    • Column
      • The MIT Press

        Established in 1962, the MIT Press is one of the largest and most distinguished university presses in the world and a leading publisher of books and journals at the intersection of science, technology, art, social science, and design.

        • Learn more
  • Contact Us
Newsletter
MIT Press
Newsletter

Books

    Authors

      On the site

        Computers / Software Development & Engineering / General

        Showing results 1-10 of 21

        • Books
        • Site Content
        Filter Results OPEN +
        Searching...
        ‹123›
        Automata Theory

        Automata Theory

        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

        Principles of Abstract Interpretation

        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

        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

        Making Games

        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

        The Software Arts

        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

        The Problem with Software

        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

        Modeling and Simulating Software Architectures

        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

        The Stack

        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.
        Security Requirements Engineering

        Security Requirements Engineering

        Security Requirements Engineering

        Designing Secure Socio-Technical Systems

        by Fabiano Dalpiaz, Elda Paja and Paolo Giorgini

        ISBN: 9780262034210

        Publisher: The MIT Press

        Pub Date: January 22, 2016

        A novel, model-driven approach to security requirements engineering that focuses on socio-technical systems rather than merely technical systems.
        Code/Space

        Code/Space

        Code/Space

        Software and Everyday Life

        by Rob Kitchin and Martin Dodge

        ISBN: 9780262525916

        Publisher: The MIT Press

        Pub Date: January 10, 2014

        An analysis of the ways that software creates new spatialities in everyday life, from supermarket checkout lines to airline flight paths.
        ‹123›

        logo
        • Column 1
          • Books
          • Journals
          • The MIT Press Reader
          • Podcasts
          • Imprints
        • Column 2
          • The MIT Press
            • About
            • Bookstore
            • Catalogs
            • Conferences
            • Press Editorial Board
            • Jobs
            • Internships
            • Press Management Board
            • News
            • Staff
            • Code of Conduct
            • Give
        • Column 3
          • Site Help
            • Accessibility
            • FAQ
            • Our eBooks
            • Privacy Policy
            • Terms of Use
        • Column 4
          • Resources
            • Current Authors
            • Prospective Authors
            • Booksellers
            • Instructors
            • Rights and Permissions
            • Media Inquiries
            • MIT Discounts
        • Column 5
          • Digital
            • CogNet
            • Digital Partners and Products
            • Knowledge Futures Group
            • MIT Press Direct
        • Global

          One Broadway 12th Floor Cambridge, MA 02142

        • Contact

        Connect

        © 2023 MIT Press. All Rights Reserved.

        Powered by Supadu