Search results for “[subject: computers-coding-programming]”

• Author(s): Konstantine Arkoudas • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Programming - GeneralA textbook that teaches students to read and write proofs using Athena.Proof is the primary vehicle for knowledge genera...

• Author(s): Yasmin B. Kafai • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Teaching - Subjects - Science & TechnologyWhy every child needs to learn to code: the shift from “computational thinking” to computational par...

• Author(s): Divakar Viswanath • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Programming - GeneralA variety of programming models relevant to scientists explained, with an emphasis on how programming constructs map to par...

• Author(s): Nick Montfort • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Languages - GeneralA single line of code offers a way to understand the cultural context of computing.This book takes a single line of code—the extr...

• Author(s): Srini Devadas • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Computer ScienceLearning programming with one of “the coolest applications around”: algorithmic puzzles ranging from scheduling selfie time to verif...

• Author(s): William Gropp • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Computer ScienceThe thoroughly updated edition of a guide to parallel programming with MPI, reflecting the latest specifications, with many detailed...

• Author(s): Ricardo Jasinski • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Languages - GeneralA guide to applying software design principles and coding practices to VHDL to improve the readability, maintainability, and q...

• Author(s): Nick Montfort • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Programming - GeneralA new edition of a book for anyone who wants to learn programming to explore and create, with exercises and projects to help re...

• Author(s): Rex Page • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Programming - GeneralAn introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on application...

• Author(s): Maureen D. Neumann • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Computer ScienceA guide for educators to incorporate computational thinking—a set of cognitive skills applied to problem solving—into a broad r...

• Author(s): Robert Rowe • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Genres & Styles - ElectronicMusicians begin formal training by acquiring a body of musical concepts commonly known as musicianship. These concepts...

• Author(s): Julie Sussman • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Programming - GeneralThis instructor's manual and reader's guide accompanies the secondedition of Structure and Interpretation of Computer Programs,...

• Author(s): Adam Barr • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Software Development & Engineering - GeneralAn industry insider explains why there is so much bad software—and why academia doesn't teach programmer...

• Author(s): Steven J. Gortler • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Software Development & Engineering - Computer GraphicsAn introduction to the basic concepts of 3D computer graphics that offers a careful ma...