Search results for “[subject: programming-algorithms]”

• 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): Mykel J. Kochenderfer • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Artificial Intelligence - GeneralA comprehensive introduction to optimization with a focus on practical algorithms for the design of enginee...

• Author(s): Tiziano Bonini • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Programming - AlgorithmsHow global workers, influencers, and activists develop tactics of algorithmic resistance by appropriating and repurposing t...

• 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): 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): 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): 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): Daniel P. Friedman • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Languages - GeneralA new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant li...

• Author(s): Francis Bach • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Computer ScienceA comprehensive and cutting-edge introduction to the foundations and modern applications of learning theory.Research has exploded in ...