Lybrary.com: ebooks and download videos Search All  Title  Author 
Home / Publishers / ACM Books

Publisher: ACM Books

Displaying 1 to 12 (of 12 products)Pages:  1 

Product Name 
Author
Listed Price Actions 

Communities of Computing: Computer Science and Society in the ACM

Thomas J. Misa

Communities of Computing: Computer Science and Society in the ACM by Thomas J. Misa

Communities of Computing is the first book-length history of the Association for Computing Machinery (ACM), founded in 1947 and with a membership today of 100,000 worldwide. It profiles ACM's notable SIGs, active chapters, and individual members, setting ACM's history into a rich social and political context. The book's 12 core chapters are organized into three thematic sections. "Defining the Discipline" examines the 1960s and 1970s when the field of computer science was taking form at the National Science Foundation, Stanford University, and through ACM's notable efforts in education and curriculum...

2016 / 11 / 18
$47.99

£38.45
€43.79
Ca$64.73
Au$64.61
more than one
type to choose
from

DRM-PDF

DRM-EPUB

Candidate Multilinear Maps

Sanjam Garg

Candidate Multilinear Maps by Sanjam GargThe aim of cryptography is to design primitives and protocols that withstand adversarial behavior. Information theoretic cryptography, how-so-ever desirable, is extremely restrictive and most non-trivial cryptographic tasks are known to be information theoretically impossible. In order to realize sophisticated cryptographic primitives, we forgo information theoretic security and assume limitations on what can be efficiently computed. In other words we attempt to build secure systems conditioned on some computational intractability assumption such as factoring, discrete log, decisional Diffie-Hellman,...
2015 / 4 / 9
$40.99

£32.85
€37.40
Ca$55.29
Au$55.19
to wish list

DRM-EPUB

Edmund Berkeley and the Social Responsibility of Computer Professionals

Bernadette Longo

Edmund Berkeley and the Social Responsibility of Computer Professionals by Bernadette LongoEdmund C. Berkeley (1909 - 1988) was a mathematician, insurance actuary, inventor, publisher, and a founder of the Association for Computing Machinery (ACM). His book Giant Brains or Machines That Think (1949) was the first explanation of computers for a general readership. His journal Computers and Automation (1951-1973) was the first journal for computer professionals. In the 1950s, Berkeley developed mail-order kits for small, personal computers such as Simple Simon and the Braniac. In an era when computer development was on a scale barely affordable by universities or government agencies,...
2015 / 10 / 14
$48.99

£39.26
€44.70
Ca$66.08
Au$65.96
more than one
type to choose
from

DRM-EPUB

DRM-PDF

An Architecture for Fast and General Data Processing on Large Clusters

Matei Zaharia

An Architecture for Fast and General Data Processing on Large Clusters by Matei Zaharia

The past few years have seen a major change in computing systems, as growing data volumes and stalling processor speeds require more and more applications to scale out to clusters. Today, a myriad data sources, from the Internet to business operations to scientific instruments, produce large and valuable data streams. However, the processing capabilities of single machines have not kept up with the size of data. As a result, organizations increasingly need to scale out their computations over clusters.

At the same time, the speed and sophistication required of data processing have grown. In addition...

2016 / 5 / 13
$43.96

£35.23
€40.11
Ca$59.30
Au$59.19
more than one
type to choose
from

DRM-PDF

DRM-EPUB

Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers

Bryan Jeffrey Parno

Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers by Bryan Jeffrey ParnoAs society rushes to digitize sensitive information and services, it is imperative to adopt adequate security protections. However, such protections fundamentally conflict with the benefits we expect from commodity computers. In other words, consumers and businesses value commodity computers because they provide good performance and an abundance of features at relatively low costs. Meanwhile, attempts to build secure systems from the ground up typically abandon such goals, and hence are seldom adopted. In this book, I argue that we can resolve the tension between security and features by leveraging...
2014 / 10 / 11
$48.99

£39.26
€44.70
Ca$66.08
Au$65.96
to wish list

DRM-EPUB

Embracing Interference in Wireless Systems

Shyamnath Gollakota

Embracing Interference in Wireless Systems by Shyamnath GollakotaThe wireless medium is a shared resource. If nearby devices transmit at the same time, their signals interfere, resulting in a collision. In traditional networks, collisions cause the loss of the transmitted information. For this reason, wireless networks have been designed with the assumption that interference is intrinsically harmful and must be avoided. This book, a revised version of the author's award-winning Ph.

D. dissertation, takes an alternate approach: Instead of viewing interference as an inherently counterproductive phenomenon that should to be avoided, we design practical systems...

2014 / 10 / 12
$48.99

£39.26
€44.70
Ca$66.08
Au$65.96
to wish list

DRM-EPUB

A Framework for Scientific Discovery through Video Games

Seth Cooper

A Framework for Scientific Discovery through Video Games by Seth CooperAs science becomes increasingly computational, the limits of what is computationally tractable become a barrier to scientific progress. Many scientific problems, however, are amenable to human problem solving skills that complement computational power. By leveraging these skills on a larger scale---beyond the relatively few individuals currently engaged in scientific inquiry---there is the potential for new scientific discoveries. This book presents a framework for mapping open scientific problems into video games. The game framework combines computational power with human problem solving and...
2014 / 10 / 15
$40.99

£32.85
€37.40
Ca$55.29
Au$55.19
to wish list

DRM-EPUB

The VR Book: Human-Centered Design for Virtual Reality

Jason Jerald

The VR Book: Human-Centered Design for Virtual Reality by Jason JeraldVirtual reality (VR) potentially provides our minds with direct access to digital media in a way that at first seems to have no limits.

However, creating compelling VR experiences is an incredibly complex challenge.

When VR is done well, the results are brilliant and pleasurable experiences that go beyond what we can do in the real world.

When VR is done badly, not only is the system frustrating to use, but sickness can result.

Reasons for bad VR are numerous; some failures come from the limitations of technology, but many come from a lack of understanding perception, interaction, design principles,...

2015 / 10 / 30
$63.95

£51.24
€58.35
Ca$86.26
Au$86.10
more than one
type to choose
from

DRM-PDF

DRM-EPUB

Ada's Legacy: Cultures of Computing from the Victorian to the Digital Age

Robin Hammerman & Andrew L. Russell

Ada's Legacy: Cultures of Computing from the Victorian to the Digital Age by Robin Hammerman & Andrew L. RussellAda's Legacy illustrates the depth and diversity of writers, thinkers, and makers who have been inspired by Ada Lovelace, the English mathematician and writer. The volume, which commemorates the bicentennial of Ada's birth in December 1815, celebrates Lovelace's many achievements as well as the impact of her life and work, which reverberated widely since the late nineteenth century. In the 21st century we have seen a resurgence in Lovelace scholarship, thanks to the growth of interdisciplinary thinking and the expanding influence of women in science, technology, engineering and mathematics....
2015 / 11 / 12
$31.96

£25.61
€29.16
Ca$43.11
Au$43.03
more than one
type to choose
from

DRM-EPUB

DRM-PDF

Verified Functional Programming in Agda

Aaron Stump

Verified Functional Programming in Agda by Aaron StumpAgda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate external artifacts, typically using structural induction. In internal verification, we specify properties of programs through rich types for the programs themselves. This often necessitates including proofs inside code, to show the type checker that the specified properties hold. The power to prove...
2016 / 2 / 12
$63.95

£51.24
€58.35
Ca$86.26
Au$86.10
more than one
type to choose
from

DRM-EPUB

DRM-PDF

Reactive Internet Programming: State Chart XML in Action

Barbier. Franck

Reactive Internet Programming: State Chart XML in Action by Barbier. Franck

Is Internet software so different from "ordinary" software? This book practically answers this question through the presentation of a software design method based on the State Chart XML W3C standard along with Java. Web enterprise, Internet-of-Things, and Android applications, in particular, are seamlessly specified and implemented from "executable models."

Internet software puts forward the idea of event-driven or reactive programming, as pointed out in Bonér et al.'s "Reactive Manifesto" (http://www.reactivemanifesto.org). It tells us that reactiveness is a must. However, beyond concepts,...

2016 / 4 / 29
$59.96

£48.05
€54.71
Ca$80.88
Au$80.73
more than one
type to choose
from

DRM-PDF

DRM-EPUB

Text Data Management and Analysis: A Practical Introduction to Information Retrieval and Text Mining

ChengXiang Zhai & Sean Massung

Text Data Management and Analysis: A Practical Introduction to Information Retrieval and Text Mining by ChengXiang Zhai & Sean Massung

Recent years have seen a dramatic growth of natural language text data, including web pages, news articles, scientific literature, emails, enterprise documents, and social media such as blog articles, forum posts, product reviews, and tweets. This has led to an increasing demand for powerful software tools to help people analyze and manage vast amounts of text data effectively and efficiently. Unlike data generated by a computer system or sensors, text data are usually generated directly by humans, and are accompanied by semantically rich content. As such, text data are especially valuable for...

2016 / 7 / 15
$43.96

£35.23
€40.11
Ca$59.30
Au$59.19
more than one
type to choose
from

DRM-PDF

DRM-EPUB

Displaying 1 to 12 (of 12 products) Pages:  1 
06/25/2017
© 2017 Lybrary.com