Search results for “[Subject: programming-macintosh]”

• Author(s): Harold Abelson | Amanda Abelson • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Computer ScienceThis classic guide teaches the art of programming to first time programmers. Logo for the Macintosh teaches the art of pro...

• Author(s): Jan Maluszynski • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming Languages - GeneralThe themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research dire...

• Author(s): Brian Harvey • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming Languages - GeneralThis series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volume...

• Author(s): Glynn Winskel • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming Languages - GeneralThe Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginnin...

• Author(s): Benjamin C. Pierce • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Computer ScienceA thorough and accessible introduction to a range of key ideas in type systems for programming language. The study of type systems for ...

• Author(s): Pascal Van Hentenryck • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming Languages - GeneralConference proceedings presenting the state-of-the-art in Logic Programming.

• Author(s): Golan Levin • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Teaching - Subjects - Science & TechnologyAn essential guide for teaching and learning computational art and design: exercises, assignments, interviews, a...

• Author(s): R. Kent Dybvig • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming Languages - GeneralA thoroughly updated and expanded edition brings this popular introductory text and reference up to date with the current Sc...

• Author(s): Krzysztof R. Apt | Franco Turini • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Intelligence (AI) & SemanticsInvestigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming ...

• Author(s): Harvey Abramson | M. H. Rogers • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Artificial Intelligence - GeneralA comprehensive survey of the theory and applications of meta-programming, covering problems of representa...

• Author(s): Harold Abelson • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Computer ScienceA new version of the classic and widely used text adapted for the JavaScript programming language. Since the publication of its first editi...

• Author(s): John V. Guttag • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Languages - PythonThe new edition of an introduction to the art of computational problem solving using Python. This book introduces students with little or...

• Author(s): Danny de Schreye • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Artificial Intelligence - GeneralIncludes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations...

• Author(s): Chris Hanson • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Computer ScienceStrategies for building large systems that can be easily adapted for new situations with only minor programming modifications. Time pressures...

• 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): Kim B. Bruce • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming - Object OrientedA presentation of the formal underpinnings of object-oriented programming languages.In recent years, object-oriented programming...

• Author(s): Gregory V. Wilson | Paul Lu • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming - GeneralForeword by Bjarne Stroustrup Software is generally acknowledged to be the single greatest obstacle preventing mainstream...

• 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): Marina Umaschi Bers • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Schools - Levels - Early Childhood (Incl. Preschool & KinderWhy children should be taught coding not as a technical skill but as a new literacy--a...

• Author(s): Peter Van Roy | Seif Haridi • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming - GeneralTeaching the science and the technology of programming as a unified discipline that shows the deep relationships between ...

• Author(s): K. Rustan M. Leino • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Languages - GeneralThis comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach...

• 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): Hridesh Rajan • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Languages - JavaA textbook that uses a hands-on approach to teach principles of programming languages, with Java as the implementation language. This introd...

• Author(s): Olivier Boissier • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: RoboticsThe main concepts and techniques of multi-agent oriented programming, which supports the multi-agent systems paradigm at the programming level.A ...

• Author(s): Michael L. Littman • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Artificial Intelligence - GeneralHow we can get more joy from our machines by telling them what our hearts desire. In this informative, accessible, and...