Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
 
Conferences Tutorials
 
VLSI Routing Arrays Validation Optimization Verification
 
Neural nets RISC/CISC,VLIW architectures Distributed architectures Portable devices Servers Network architecture Distributed systems
 
Networks Security Embedded systems Object-oriented Java OO design State diagrams Software evolution UML C# Methodologies Coding Tools Correctness proofs Design
 
Structures Arrays Graphs Stacks Hash-tables Encryption Compression Objects Standards
 
Automata Parallelism Transforms Geometric Algorithms Patterns Invariants
 
Numerical Linear Algebra PDEs Finite element methods Combinatorics Graph Theory Probability and statistics Mathematical software
 
Human factors Data models Systems Information interfaces User interfaces Ergonomics Evaluation/methodology Interaction styles Warehouses Data mining Web Digital libraries
 
AI Expert systems Knowledge representation Learning Robotics Vision Geometry and modeling Graphics and realism Scene analysis Simulation theory Document preparation Learning Discrete event simulation Deduction Robotics Video analysis XML
 
Business Engineering Biosciences Humanities Arts Linguistics CAD Publishing
 
Privacy Regulation Systems design Security Crime Patents Strategic planning
 
Design Human factors Languages Performance Theory
 
 
Reviews limited to
Date Reviewed
 
 
Computational artifacts: towards a philosophy of computer science
Turner R.,  Springer International Publishing, New York, NY, 2018. 255 pp. Type: Book (978-3-662555-64-4)
Jul 15 2019
 
 
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems
Cauchi N., Laurenti L., Lahijanian M., Abate A., Kwiatkowska M., Cardelli L.  HSCC 2019 (Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada,  Apr 16-18, 2019) 240-251, 2019. Type: Proceedings
Jul 12 2019
 
 
From Gutenberg to Google: the history of our future
Wheeler T.,  Brookings Institution Press, Washington, DC, 2019. 300 pp. Type: Book (978-0-815735-32-8)
Jul 11 2019
 
 
Practical minimum cut algorithms
Henzinger M., Noe A., Schulz C., Strash D.  Journal of Experimental Algorithmics 231-8, 2018. Type: Article
Jul 10 2019
 
 
The Bitcoin standard: the decentralized alternative to central banking
Ammous S.,  Wiley Publishing, Hoboken, NJ, 2018. 304 pp. Type: Book (978-1-119473-86-2)
Jul 9 2019
 
  more..    
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