These reviews are the most popular with readers.
All Media Types
For the last:
The physics of quantum information: quantum cryptography, quantum teleportation, quantum computation
Bouwmeester D., Ekert A., Zeilinger A. Springer-Verlag, London, UK, 2000. Type: Divisible Book
A century ago, the discovery of quantum mechanics initiated a revolution in physics that challenged many deeply-held intuitions. Within the last 20 years, the application of quantum mechanics to computation has opened the door to a similar revolu...
Formal methods: an appetizer
Nielson F., Nielson H., Springer International Publishing, New York, NY, 2019. 162 pp. Type: Book (978-3-030051-55-6)
I’ve occasionally been intimidated into ordering an appetizer as the main course, but have rarely regretted it thanks to the presence of “gourmet” friends. This is an excellent, ultra-elegant, and rigorous book. Its 160 printed p...
Introduction to distributed self-stabilizing algorithms
Altisen K., Devismes S., Dubois S., Petit F., Morgan&Claypool Publishers, San Rafael, CA, 2019. 166 pp. Type: Book (978-1-681735-36-8)
Distribution is one of the most pervasive features of modern computing architectures. From the multiple specialized processors that make up a personal computer, to the network of computers in a modern automobile, to the Internet itself, modern sys...
Mind over machine: the power of human intuition and expertise in the era of the computer
Dreyfus H. (ed), Dreyfus S., Athanasiou T., The Free Press, New York, NY, 1986.Type: Book (9789780029080603)
The book under review represents an interesting and highly challenging account of the limitations of computer capabilities in the areas of cognition and artificial reasoning, written by two well-known critics of the artificial intelligence field. ...
Formal languages and compilation (3rd ed.)
Reghizzi S., Breveglieri L., Morzenti A., Springer International Publishing, New York, NY, 2019. 499 pp. Type: Book (978-3-030048-78-5)
Compiler construction literature has always been an interesting mixture of clever tricks and deep theory. Most textbooks try to deal with both aspects, usually emphasizing theory at the beginning and then moving on to the tricks necessary to suppo...
Blurring the lines between blockchains and database systems: the case of hyperledger fabric
Sharma A., Schuhknecht F., Agrawal D., Dittrich J. SIGMOD 2019 (Proceedings of the 2019 International Conference on Management of Data, Amsterdam, the Netherlands, 105-122, 2019. Type: Proceedings
In the past decade, we have witnessed the rise of blockchain systems, encouraged by the hype around cryptocurrencies. Blockchain-based systems are capable of storing and sharing information while protecting its integrity--a property that dist...
Making databases work: the pragmatic wisdom of Michael Stonebraker
Brodie M. Association for Computing Machinery and Morgan & Claypool, New York, NY, 2019. Type: Divisible Book
Michael Stonebraker, in 2014, won the ACM A. M. Turing Award “for fundamental contributions to the concepts and practices underlying modern database systems.” From the back cover: “The book describes, for the broad computing comm...
Internet voting in the U.S.
Simons B., Jones D. Communications of the ACM 55(10): 68-77, 2012. Type: Article
The pros and cons of using the capabilities of the Internet to vote in elections are broadly addressed in this lengthy article. Topics include the many varieties of Internet voting means, situations, and environments. As the title suggests, the fo...
Designing for privacy and its legal framework: data protection by design and default for the Internet of Things
Tam-Larrieux A., Springer International Publishing, New York, NY, 2018. 254 pp. Type: Book (978-3-319986-23-4)
Rarely have I seen a book on such a contemporary sociotechnical topic as privacy protection that so successfully combines information and communications technology (ICT) concepts to legal principles, (European) regulation to implementation approac...
Trustworthy cyber-physical systems: a systematic framework towards design and evaluation of trust and trustworthiness
Nazila G., Springer International Publishing, New York, NY, 2019. 344 pp. Type: Book (978-3-658274-87-0)
Users expect a trustworthy system to behave according to its requirements. Trustworthiness is a fundamental design objective for any system that provides critical functions, for example, transportation systems, medical systems, and water purificat...
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2020 ThinkLoud, Inc.