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

• Author(s): Thomas H. Cormen • Publisher: Mit Press • Publisher Imprint: Mit Press • BISAC: Programming - AlgorithmsFor anyone who has ever wondered how computers solve problems, an engagingly written guide for nonexperts to the basics of comput...

• Author(s): Kenneth A. de Jong • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Artificial Intelligence - GeneralA clear and comprehensive introduction to the field of evolutionary computation that takes an integrated approach.Evol...

• Author(s): Klaus Jansen • Publisher: de Gruyter • Publisher Imprint: de Gruyter • BISAC: Programming - AlgorithmsGegenstand dieses Lehrbuchs ist die Behandlung schwer lösbarer diskreter Optimierungsprobleme. Im ersten Teil werden schnelle Algo...

• 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): 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): 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): Noam Nisan | Yannai Gonczarowski • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: AppliedRandomization is an important tool in the design of algorithms, and the ability of randomization to provide enhanced power is a ma...

• Author(s): Janusz S. Kowalik • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Computer ScienceFifteen original contributions from experts in high-speed computation on multi-processor architectures, concurrent programming and paral...

• 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): 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): 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): Christos H. Papadimitriou • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: World Literature - American - 21st CenturyThe world of computation according to Turing, an interactive tutoring program, as told to star-crossed...

• 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): 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): Hannah Fry • Publisher: W. W. Norton & Company • Publisher Imprint: W. W. Norton & Company • BISAC: History & CriticismIf you were accused of a crime, who would you rather decide your sentence--a mathematically consistent...

• 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): John McCarthy | Paul W. Abrahams | Daniel J. Edwards • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming Languages - GeneralThe manual describes LISP, a formal mathematical language. LISP differs from most prog...

• 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): 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): 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): Gregor Kiczales | Jim Des Rivieres | Daniel G. Bobrow • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming Languages - GeneralThe authors introduce this new approach to programming language design, describe its ...

• 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): Jaime Carbonell • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Intelligence (AI) & SemanticsHaving played a central role at the inception of artificial intelligence research, machine learning has recently reemerge...

• Author(s): J. W. de Bakker | Erik P. de Vink • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Languages - GeneralControl Flow Semantics presents a unified, formal treatment of the semantics of a wide spectrum of control flow notio...

• Author(s): Hector J. Levesque • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Intelligence (AI) & SemanticsStudents explore the idea that thinking is a form of computation by learning to write simple computer programs for tas...

• 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): 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: Languages - GeneralStructure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This lon...

• 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): Luciana Parisi • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Media StudiesA proposal that algorithms are not simply instructions to be performed but thinking entities that construct digital spatio-temporalities. In C...

• Author(s): Jerry L. Potter | Dennis B. Gannon • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Computer ScienceThe development of parallel processing, with the attendant technology of advanced software engineering, VLSI circuits, ...

• Author(s): Robert Ulichney • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Software Development & Engineering - Computer GraphicsDigital Halftoning addresses the problem of developing algorithms that best match the specific p...

• Author(s): Panos Louridas • Publisher: Mit Press • Publisher Imprint: Mit Press • BISAC: Programming - AlgorithmsAn introduction to algorithms for readers with no background in advanced mathematics or computer science, emphasizing examples and ...

• Author(s): Benjamin C. Pierce • Publisher: Mit Press • Publisher Imprint: Mit Press • BISAC: Programming - Object OrientedA comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatical...

• Author(s): Daniel P. Friedman • Publisher: Mit Press • Publisher Imprint: Mit Press • BISAC: Languages - GeneralA new edition of a textbook that provides students with a deep, working understanding of the essential concepts of programming langu...