Skip to main content
Perlego
Browse
Institutions
Pricing
Login
DeutschEnglishEspañolFrançaisItaliano
DeutschEnglishEspañolFrançaisItaliano

Browse by topic

  • Architecture
  • Art
  • Biological Sciences
  • Business
  • Computer Science
  • Design
  • Economics
  • Education
  • History
  • Languages & Linguistics
  • Law
  • Literature
  • Mathematics
  • Media & Performing Arts
  • Medicine
  • Personal Development
  • Philosophy
  • Physical Sciences
  • Politics & International Relations
  • Psychology
  • Social Sciences
  • Study Aids
  • Technology & Engineering
  • Theology & Religion

Or browse by

  • Subtopics
  • Publishers
  • Index

Browse study resources

  • Knowledge Base
  • Study Guides
  • Essay Writing Guides
  1. Home
  2. Browse
  3. ACM Books

ACM Books

Showing 61 - 67 out of 67 books
Verified Functional Programming in Agda_cover
Verified Functional Programming in AgdaAaron Stump
2016
Verified Functional Programming in Agda
Verified Functional Programming in Agda
Aaron Stump
2016
Edmund Berkeley and the Social Responsibility of Computer Professionals_cover
Edmund Berkeley and the Social Responsibility of Computer ProfessionalsBernadette Longo
2015
Edmund Berkeley and the Social Responsibility of Computer Professionals
Edmund Berkeley and the Social Responsibility of Computer Professionals
Bernadette Longo
2015
Candidate Multilinear Maps_cover
Candidate Multilinear MapsSanjam Garg
2015
Candidate Multilinear Maps
Candidate Multilinear Maps
Sanjam Garg
2015
Smarter Than Their Machines_cover
Smarter Than Their MachinesJohn Cullinane
2014
Smarter Than Their Machines
Smarter Than Their Machines
John Cullinane
2014
A Framework for Scientific Discovery through Video Games_cover
A Framework for Scientific Discovery through Video GamesSeth Cooper
2014
A Framework for Scientific Discovery through Video Games
A Framework for Scientific Discovery through Video Games
Seth Cooper
2014
Embracing Interference in Wireless Systems_cover
Embracing Interference in Wireless SystemsShyamnath Gollakota
2014
Embracing Interference in Wireless Systems
Embracing Interference in Wireless Systems
Shyamnath Gollakota
2014
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers_cover
Trust Extension as a Mechanism for Secure Code Execution on Commodity ComputersBryan Jeffrey Parno
2014
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers
Bryan Jeffrey Parno
2014
1
2

PERLEGO

PricingFAQsContact UsPerlego for InstructorsPerlego for InstitutionsPerlego for PublishersBarclays CustomersCareersPress

BROWSE

TopicsPublishersIndexKnowledge BaseStudy GuidesHarvard Referencing GuidesAPA Referencing GuidesEssay Writing GuidesResearch Assistant
ArchitectureArtBiological SciencesBusinessComputer ScienceDesignEconomicsEducationHistoryLanguages & LinguisticsLawLiteratureMathematicsMedia & Performing ArtsMedicinePersonal DevelopmentPhilosophyPhysical SciencesPolitics & International RelationsPsychologySocial SciencesStudy AidsTechnology & EngineeringTheology & Religion

Made with ☂︎ in London - © 2025 Perlego Ltd - Perlego HQ, 26 Hatton Garden, London, EC1N 8BR, United Kingdom - VAT 246681777

PrivacyTermsContent Policy
, (opens in new tab)
BooksSubtopicsPublishersIndexMissionCookiesSmart SearchAccessibility
, (opens in new tab)
Help Centre
, (opens in new tab)
Knowledge Base
, (opens in new tab)

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Instagram
Facebook
LinkedIn
Tiktok
X
DeutschEnglishEspañolFrançaisItaliano