Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Best of 2016 Recommended by Editor Recommended by Reviewer Recommended by Reader
Search
These reviews are the most popular with readers.
 
Options: For the last:
 
  1-10 of 5335 results Ranking
   The discrete charm of the machine: why the world became digital
Steiglitz K.,  PRINCETON UNIVERSITY PRESS, Princeton, NJ, 2019. 256 pp. Type: Book (978-0-691179-43-8)

Digital computers have found their way into every aspect of modern life. They are now essential for work and ubiquitous in leisure, and used from childhood to retirement age, through every stage of adult life. Although the number of digital comput...

1  
   How testing helps to diagnose proof failures
Petiot G., Kosmatov N., Botella B., Giorgetti A., Julliand J.  Formal Aspects of Computing 30(6): 629-657, 2018. Type: Article

Petiot et al. present testing software components that help optimize the effort of “applying deductive verification to formally prove that a [computer] program respects its formal specification.”...

2  
   Foundations of machine learning
Mohri M., Rostamizadeh A., Talwalkar A.,  The MIT Press, Cambridge, MA, 2012. 480 pp. Type: Book (978-0-262018-25-8)

Although machine learning is one of the newer major scientific domains, a tremendous number of papers have already been published, reporting progress in both theoretical research and practical developments. We have also seen a series of outstandin...

3  
  C++ templates: the complete guide (2nd ed.)
Vandevoorde D., Josuttis N., Gregor D.,  Addison-Wesley Professional, Boston, MA, 2017. 832 pp. Type: Book (978-0-321714-12-1)

The evolution of the C++ language has created the need for revised material on C++ templates. It’s great to see this second edition of C++ templates out at this moment, as it provides a definitive guide to C++ templates with the lates...

4  
   Searching for global employability: can students capitalize on enabling learning environments?
Isomöttönen V., Daniels M., Cajander Å., Pears A., Mcdermott R.  ACM Transactions on Computing Education (TOCE) 19(2): 1-29, 2019. Type: Article, Reviews: (2 of 2)

Today’s higher education systems need to produce graduates with global employability that exhibits creativity and innovation, that is, the ability to solve open-ended problems in different cultural settings, but also domain-specific skill se...

5  
  Handbook of model checking
Clarke E., Henzinger T., Veith H., Bloem R.,  Springer International Publishing, New York, NY, 2018. 1210 pp. Type: Book (978-3-319105-74-1)

Due to the proliferation and pervasiveness of hardware and software entities in everyday life, ascertaining their trustworthiness is of paramount importance. Model checking is a logic-based approach that determines whether the abstract model of an...

6  
  The evolution of an IT service desk
Swan R.  SIGUCCS 2018 (Proceedings of the 2018 ACM SIGUCCS Annual Conference, Orlando, FL,  Oct 7-10, 2018) 115-117, 2018. Type: Proceedings

With the objective of “evolving” an information technology (IT) service desk after 35 years under the same management, Ryan Swan sets out to elaborate on the current status of the service desk and the deficiencies, in his view, that ne...

7  
   Human-centered VR design: five essentials every engineer needs to know
Jerald J.  IEEE Computer Graphics and Applications 38(2): 15-21, 2018. Type: Article

When virtual reality (VR) is not pleasing to see and/or hear, users will remove their headsets or glasses. One main reason is that engineers don’t consider all human aspects of the VR experience when developing VR systems and applications. T...

8  
  Machine learning with TensorFlow
Shukla N.,  Manning Publications Co., Greenwich, CT, 2018. 272 pp. Type: Book (978-1-617293-87-0)

Machine learning with TensorFlow is a short book laid out in three parts. The first part (about 50 pages) gets the reader up to speed with today’s artificial intelligence (AI) and machine learning community. It also covers TensorFlow ...

9  
   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...

10  
 
 
 
Display per page
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2019 ThinkLoud, Inc.
Terms of Use
| Privacy Policy