Search results for “[Subject: computers-technology]”
Filters
- MIT Press
- 2balanceu
- 8080 Books
- 17 Books Ltd
- 17 Books Publishing
- 368 Press
- 1st Book Library
- 1st World Publishing
- 5starcooks
- 12th Media Services
- 45th Parallel Press
- 100000 Whys Encyclopedia
- 2wice Books LLC
- 0xford University Press
- 12-Story Library
- 978-1-64516-902-4
- 978-1-913596-03-3
- 978-9949-7308-6-5
- A K Peters
- A K PETERS
- A&C Black
- A.J.Brice
- A.X. Salvo
- Aaron Martinez
- AB Publisher LLC
- Abbott Press
- Abbott Properties
- Abdo Kids Jumbo
- Abdul Ahad Ansari
- Abingdon Press
- Able Muse Press
- Ablex Publishing Corporation
- ABRAMS
- Abrams Books for Young Readers
- Abremente
- AC Publishing
- Academic
- Academic Press
- Academic Studies Press
- Academica Press
- Academiques
- Academus Publishing, Inc.
- Academy Press
- Acadia Publishing Company
- Accepted, Inc.
- Accessibility Dot Net, Inc.
- Acco
- Accounting Tools
- ACM
- ACM Books
- Acorn Books
- Actuarial Management Company
- Actuel Editions
- Ad Ilissum
- Adam Hott
- Addison Wesley Publishing Company
- Addison-Wesley Professional
- Adel Khediri
- Adesh Silva
- Advantage Learning Technologies, Inc.
- Adventures Unlimited Press
- Advixo (Approved Media Group)
- Afnil
- Afolabi Onadipe
- African Minds
- African Sun Media
- After Midnight Publishing
- Ahmed Elghadban
- AIAA (American Institute of Aeronautics & Ast
- Airways
- Aji Network Intellectual Properties, Inc.
- AKINT
- ALA Editions
- ALA Techsource
- Alan Grid
- Alderbrian Press
- Alemayehu Hailu
- Alephsphere Publishing
- Aletheia Editions
- Alex C. Techworth
- Alex Gibbons
- Alexandra Georgas-Gait Hosbach
- Alexandra Greenfield
- Alexia Scott
- Alfred Vasquez
- Ali Shah Publisher
- Alice James Books
- Alinea Knowledge, LLC
- Alinea Learning
- Alittlepoetic Publishing
- All That Matters
- All Things That Matter Press
- Altamira Press
- Althos
- APA
- APress
- ARC Manor
- ASCD
- ATF Press
- AVA Publishing
- MIT Press
- 2balanceu
- 8080 Books
- 17 Books Ltd
- 17 Books Publishing
- 368 Press
- 1st Book Library
- 1st World Publishing
- 5starcooks
- 12th Media Services
- 45th Parallel Press
- 100000 Whys Encyclopedia
- 2wice Books LLC
- 0xford University Press
- 12-Story Library
- 978-1-64516-902-4
- 978-1-913596-03-3
- 978-9949-7308-6-5
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- A&C Black
- A.J.Brice
- A.X. Salvo
- Aaron Martinez
- AB Publisher LLC
- Abbott Press
- Abbott Properties
- Abdo Kids Jumbo
- Abdul Ahad Ansari
- Abingdon Press
- Able Muse Press
- Ablex Publishing Corporation
- ABRAMS
- Abrams Books for Young Readers
- Abremente
- AC Publishing
- Acad Pr
- Academic
- Academic Press
- Academic Studies Press
- Academica Press
- Academiques
- Academus Publishing, Inc.
- Academy Press
- Acadia Publishing Company
- Accepted, Inc.
- Accessibility Dot Net, Inc.
- Acco
- Accounting Tools
- ACM
- ACM Books
- Acorn Books
- Actuarial Management Company
- Actuel Editions
- Ad Ilissum
- Adam Hott
- Addison Wesley Publishing Company
- Addison-Wesley Professional
- AddisWesle
- Adel Khediri
- Adesh Silva
- Advantage Learning Technologies, Inc.
- Adventures Unlimited Press
- Advixo (Approved Media Group)
- Afnil
- Afolabi Onadipe
- African Minds
- African Sun Media
- After Midnight Publishing
- Ahmed Elghadban
- AIAA (American Institute of Aeronautics & Ast
- Airways
- Aji Network Intellectual Properties, Inc.
- AKINT
- ALA Editions
- ALA Techsource
- Alan Grid
- Alderbrian Press
- Alemayehu Hailu
- Alephsphere Publishing
- Aletheia Editions
- Alex C. Techworth
- Alex Gibbons
- Alexandra Georgas-Gait Hosbach
- Alexandra Greenfield
- Alexia Scott
- Alfred Vasquez
- Ali Shah Publisher
- Alice James Books
- Alinea Knowledge, LLC
- Alinea Learning
- Alittlepoetic Publishing
- APA
- APress
- ARC Manor
- ASCD
- ATF Press
- AVA
- AVA Publishing
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Cookery & Food Services
- Creative Writing, Fiction
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fashion & Textile
- Fine Arts
- Food Science & Technology
- General Books
- Graphic Design & Animation
- Health, Physical Fitness and Yoga
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Military and Police Studies
- Music, Theatre & Films
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Sports and Physical Fitness
- Tourism, Travel Guide & Hospitality
- Veterinary
- A. David Redish
- Adam Smith
- Alex Roland
- Alexander Klose
- Andre Nusselder
- Andreas Heinz
- Andrew J. Nelson
- Arlene Keizer
- Arlindo Oliveira
- Bella Grigoryan
- Benjamin H. Bratton
- Branden Hookway
- Carliss Y. Baldwin
- Carol Thomas Neely
- Carolyn J. Dean
- Cassidy R. Sugimoto
- Charles B. Osburn
- Chris Chatfield
- Coetzee, J. M.
- David Deutsch
- David L. Ferro
- Donald MacKenzie
- E. Natalie Rothman
- Edmund M. Jr Clarke
- Edward Diener
- Elizabeth Losh
- Emerson W. Pugh
- Federica Frabetti
- Frederique De Vignemont
- G. Pascal Zachary
- G. Thomas Couser
- Gareth Loy
- Geoff Alexander
- Geoffrey Hinton
- George Mariscal
- Gerald J. Popek
- Howard Rheingold
- Ian Goodfellow
- Igor Aleksander
- James Meese
- James Pustejovsky
- Jane Gregory
- Jane Margolis
- Jason Gainous
- Jennifer A. Gonzalez
- Jerry L. Potter
- Jimmy Maher
- Joan Copjec
- John M. Jordan
- John Stuart Mill
- John Weaver
- Jon Agar
- Jonathan Allen
- Joseph Harris
- Julie Ellison
- Julien Mailland
- Justine Cassell
- Kai A. Olsen
- Kai Hwang
- Karl Kraus
- Katie MacAlister
- Kelly McGonigal
- Konstantine Arkoudas
- Kristina Hook
- Kurt W. Beyer
- Len D. Martin
- Leo Anthony G. Celi
- Linda Bernardi
- Lorenzo Chiesa
- Luce Irigaray
- Lynette Jones
- Manfred Rost
- Martha Lampland
- Martin Kevorkian
- Mary V. Thompson
- Maurice Estabrooks
- Maurizio Lazzarato
- Melanie Swalwell
- Meredith Broussard
- Michael E. Hobart
- Michael Z. Newman
- Mickey Flodin
- Nancy Forbes
- Naomi Oreskes
- Nathan L. Ensmenger
- Nathan W. Fisk
- Nick Montfort
- Noson S. Yanofsky
- Ofer Bergman
- Patricia A. Vargas
- Patricia S. Churchland
- Patrik Svensson
- Paul E. Ceruzzi
- Paul Hoyningen-Huene
- Peter Van Roy
- R. U. Ayres
- Randall Stross
- Raymond S. Nickerson
- Robert Olwell
- Yasmin B. Kafai
Products
Mechanizing Proof: Computing, Risk, and Trust
Donald MacKenzie
Paperback
Current price
₹4,563
Original price
₹5,476
Original price
₹5,476
Original price
₹5,476
(-17%)
₹4,563
Current price
₹4,563
| /
• Author(s): Donald MacKenzie • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Computer ScienceMost aspects of our private and social lives--our safety, the integrity of the financial system, the functioning of utilities and other s...
View full details
