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

• Author(s): Thomas H. Cormen • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming - AlgorithmsA comprehensive update of the leading algorithms text, with new material on matchings in bipartite graphs, online algorithms, mac...

• Author(s): Panos Louridas • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Computers & TechnologyAn accessible introduction to algorithms, explaining not just what they are but how they work, with examples from a wide range of...

• Author(s): Martin Erwig • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: GeneralThis easy-to-follow introduction to computer science reveals how familiar stories like Hansel and Gretel, Sherlock Holmes, and Harry Potter illustrate...

• Author(s): Mykel J. Kochenderfer • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Decision Making & Problem SolvingA broad introduction to algorithms for decision making under uncertainty, introducing the underlying mathematic...

• Author(s): Krzysztof R. Apt | J. W. de Bakker | J. M. Rutten • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Logic DesignThis collection of current research on logic programming languages presents results from a three-year, ESPRI...

• Author(s): Adam Chlipala • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming - GeneralA handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mech...

• Author(s): Richard J. Lipton • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Physics - Quantum TheoryQuantum computing explained in terms of elementary linear algebra, emphasizing computation and algorithms and requiring no backg...

• Author(s): Ralf Herbrich • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Artificial Intelligence - GeneralAn overview of the theory and application of kernel classification methods. Linear classifiers in kernel spaces have emerge...

• Author(s): Gerd Gigerenzer • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: GeneralHow to stay in charge in a world populated by algorithms that beat us in chess, find us romantic partners, and tell us to "turn right in 500 yards....

• Author(s): Nikolaus Correll • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: RoboticsA comprehensive introduction to the field of autonomous robotics aimed at upper-level undergraduates and offering additional online resources. Te...

• Author(s): Florian Jaton • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming - AlgorithmsA laboratory study that investigates how algorithms come into existence. Algorithms--often associated with the terms big data, machi...

• Author(s): Javier Esparza • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming - AlgorithmsA comprehensive introduction to automata theory that uses the novel approach of viewing automata as data structures. This textbook ...

• Author(s): Mizuko Ito • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: EssaysEssays on the challenges and risks of designing algorithms and platforms for children, with an emphasis on algorithmic justice, learning, and equity. One...