Search results for “[subject: computers-software]”

• Author(s): Edmund M. Jr Clarke • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Computer ScienceAn expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology tha...

• Author(s): Leo Anthony G. Celi • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Public HealthKey concepts, frameworks, examples, and lessons learned in designing and implementing health information and communication techno...

• 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): Steven L. Tanimoto • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Image ProcessingBasic principles of image processing and programming explained without college-level mathematics. This book explores image proc...

• Author(s): Jesper Juul • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: HistoryThe surprising history of the Commodore 64, the best-selling home computer of the 1980s—the machine that taught the world that computing should...

• Author(s): Christel Baier • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Computer ScienceA comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and so...

• 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): Emerson W. Pugh • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Hardware - Mainframes & MinicomputersIBM's 360 and Early 370 Systems describes the creation of this remarkable system and the developments it ...

• Author(s): Harry J. Paarsch • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Research & MethodologyA practical guide to using modern software effectively in quantitative research in the social and natural sciences.This...