StartPrev107108109110111112113114115NextEnd
(Hardback)
By: Patrick Cousot
ISBN: 9780262044905
Readership/Audience: General
Publication Date: Oct 2021
Publisher: MIT Press Ltd
See more...
"An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs"--
(Paperback)
By: Chris Collins
ISBN: 9780262548274
Readership/Audience: General
Publication Date: Oct 2024
Publisher: MIT Press Ltd
See more...
"An original argument about argument structure that extends the work of a veteran MIT author"--
(Paperback)
By: Francisco J. Varela
ISBN: 9780262551403
Readership/Audience: General
Publication Date: Jun 2025
Publisher: MIT Press Ltd
See more...
"A reissue of a classic work in philosophical biology written by Francisco Varela, with introductory material by Evan Thompson and Ezequiel Di Paolo"--
(Hardback)
By: Daniel P. Ahn
ISBN: 9780262038379
Readership/Audience: Tertiary Education
Publication Date: Apr 2019
Publisher: MIT Press Ltd
See more...
A rigorous but practical introduction to the economic, financial, and political principles underlying commodity markets.
(Hardback)
By: David J. Hand
ISBN: 9780262082907
Readership/Audience: Professional and Scholarly
Publication Date: Aug 2001
Publisher: MIT Press Ltd
See more...
The first truly interdisciplinary text on data mining, blending the contributions of information science, computer science, and statistics.
(Paperback)
By: Patrick Lambe
ISBN: 9780262545037
Readership/Audience: General
Publication Date: May 2023
Publisher: MIT Press Ltd
See more...
"An expert on the topic of knowledge managment argues how the process of KM implementation can be improved"--
(Hardback)
By: Christel Baier
ISBN: 9780262026499
Readership/Audience: Professional and Scholarly
Publication Date: Apr 2008
Publisher: MIT Press Ltd
See more...
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.
(Paperback)
By: Peter Sterling
ISBN: 9780262534680
Readership/Audience: Professional and Scholarly
Publication Date: Jun 2017
Publisher: MIT Press Ltd
See more...
Two distinguished neuroscientists distil general principles from more than a century of scientific study, reverse engineering the brain to understand its design.
(Hardback)
By: Howie Choset
ISBN: 9780262033275
Readership/Audience: Professional and Scholarly
Publication Date: May 2005
Publisher: MIT Press Ltd
See more...
A text that makes the mathematical underpinnings of robot motion accessible and relates low-level details of implementation to high-level algorithmic concepts.
(Hardback)
By: Peter H. Christensen
ISBN: 9780262048958
Readership/Audience: General
Publication Date: Jun 2024
Publisher: MIT Press Ltd
See more...
"Prior Art offers the first ever history of the use of patents in architecture, spanning the period 1830 - 1996"--
(Paperback)
By: Anne Kaun
ISBN: 9780262545495
Readership/Audience: General
Publication Date: Jun 2023
Publisher: MIT Press Ltd
See more...
"Prison Media argues that prisons and prison work have been essential to the development of media infrastructures and distribution and to our understanding of how power and authority operate"--
(Paperback)
By: Jaap-Henk Hoepman
ISBN: 9780262547208
Readership/Audience: General
Publication Date: Nov 2023
UK Publication Date: 22nd September 2023
Publisher: MIT Press Ltd
See more...
(Hardback)
By: Jaap-Henk Hoepman
ISBN: 9780262045827
Readership/Audience: General
Publication Date: Oct 2021
UK Publication Date: 1st October 2021
Publisher: MIT Press Ltd
See more...
"This book debunks 10 myths about how hard it really is to design privacy-friendly systems"--
(Hardback)
By: Daphne Koller
ISBN: 9780262013192
Readership/Audience: Tertiary Education
Publication Date: Jul 2009
Publisher: MIT Press Ltd
See more...
A general framework for constructing and using probabilistic models of complex systems that would enable a computer to use available information for making decisions.
(Paperback)
By: James-A. Goulet
ISBN: 9780262538701
Readership/Audience: Tertiary Education
Publication Date: Apr 2020
Publisher: MIT Press Ltd
See more...
An introduction to key concepts and techniques in probabilistic machine learning for civil engineering students and professionals; with many step-by-step examples, illustrations, and exercises.
(Hardback)
By: Kevin P. Murphy
ISBN: 9780262048439
Readership/Audience: General
Publication Date: Sep 2023
Publisher: MIT Press Ltd
See more...
"An advanced book for researchers and graduate students working in machine learning and statistics that reflects the influence of deep learning"--
(Hardback)
By: Kevin P. Murphy
ISBN: 9780262046824
Readership/Audience: General
Publication Date: Feb 2022
Publisher: MIT Press Ltd
See more...
(Hardback)
By: Sebastian Thrun
ISBN: 9780262201629
Readership/Audience: Professional and Scholarly
Publication Date: Aug 2005
Publisher: MIT Press Ltd
See more...
An introduction to the techniques and algorithms of the newest field in robotics.
(Hardback, second edition)
By: Roger B. Myerson
ISBN: 9780262043120
Readership/Audience: Tertiary Education
Publication Date: Dec 2019
Publisher: MIT Press Ltd
See more...
An introduction to the use of probability models for analyzing risk and economic decisions, using spreadsheets to represent and simulate uncertainty.
(Paperback)
By: Stefan Keine
ISBN: 9780262538275
Readership/Audience: Professional and Scholarly
Publication Date: Feb 2020
Publisher: MIT Press Ltd
See more...
A comprehensive theory of selective opacity effectsconfigurations in which syntactic domains are opaque to some processes but transparent to otherswithin a Minimalist framework.
(Hardback, second edition)
By: Casey Reas
ISBN: 9780262028288
Readership/Audience: General
Publication Date: Dec 2014
Publisher: MIT Press Ltd
See more...
The new edition of an introduction to computer programming within the context of the visual arts, using the open-source programming language Processing; thoroughly updated throughout.
(Paperback)
By: Christopher B. Bingham
ISBN: 9780262547338
Readership/Audience: General
Publication Date: Dec 2023
UK Publication Date: 2nd November 2023
Publisher: MIT Press Ltd
See more...
(Paperback)
By: K. Rustan M. Leino
ISBN: 9780262546232
Readership/Audience: General
Publication Date: Apr 2023
Publisher: MIT Press Ltd
See more...
"The book shows what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs"--
(Paperback)
By: Srini Devadas
ISBN: 9780262534307
Readership/Audience: Tertiary Education
Publication Date: Nov 2017
Publisher: MIT Press Ltd
See more...
Learning programming with one of the coolest applications around: algorithmic puzzles ranging from scheduling selfie time to verifying the six degrees of separation hypothesis.
