che-chandler.de

Providing Sound Foundations for Cryptography

Cryptography is concerned with the construction of schemes that withstand any abuse.A cryptograph...

Semantic Web for the Working Ontologist

Framework for Scientific Discovery through Video Games

As science becomes increasingly computational, the limits of what iscomputationally tractable bec...

The Continuing Arms Race

As human activities moved to the digital domain, so did all the well-known malicious behaviors in...

Making Databases Work

This book celebrates Michael Stonebraker's accomplishments that led to his 2014 ACM A.M. Turing A...

Communities of Computing

Communities of Computing is the first book-length history of the Association for Computing Machin...

The Handbook of Multimodal-Multisensor Interfaces, Volume 3

The Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on wh...

Logic, Automata, and Computational Complexity

Professor Stephen A. Cook is a pioneer of the theory of computational complexity. His w...

Formal Methods for Safe Autonomy

This book introduces new verification and synthesis algorithms to provide certifiable trusts for ...

Concurrency

This book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half...

Hardness of Approximation Between P and NP

Nash equilibrium is the central solution concept in Game Theory.Since Nash s original paper in 19...

Pick, Click, Flick!

This book provides a comprehensive study of the many ways to interact with computers and computer...