Computing Reviews, the leading online review service for computing literature.

Search


Tutorials Conferences


Arrays Validation Optimization Verification VLSI Routing


Portable devices Servers Distributed architectures Network architecture Distributed systems Neural nets RISC/CISC,VLIW architectures


Software evolution Networks Security Embedded systems Java OO design State diagrams Coding Tools Correctness proofs Design Object-oriented Methodologies UML C#


Arrays Graphs Stacks Structures Hash-tables Objects Encryption Standards Compression


Transforms Geometric Algorithms Patterns Invariants Automata Parallelism

Mathematical software Numerical Linear Algebra Finite element methods PDEs Combinatorics Graph Theory Probability and statistics

Information interfaces Ergonomics Evaluation/methodology Interaction styles User interfaces Systems Warehouses Data mining Web Digital libraries Human factors Data models

AI Expert systems Video analysis Vision Deduction Robotics Geometry and modeling Learning Learning Robotics Scene analysis Simulation theory Graphics and realism Document preparation Discrete event simulation XML Knowledge representation

Business Engineering Biosciences Humanities Linguistics Arts CAD Publishing

Crime Patents Privacy Strategic planning Systems design Security Regulation

Design Human factors Languages Performance Theory

Reviews limited to

Date Reviewed


Future scenarios: what are the future services and applications? Kloch C., Kristensen J., Bilstrup B. Wireless Personal Communications: An International Journal 53(3): 315-327, 2010. Type: Article	Jul 30 2010


From flow logic to static type systems for coordination languages De Nicola R., Gorla D., Hansen R., Nielson F., Nielson H., Probst C., Pugliese R. Science of Computer Programming 75(6): 376-397, 2010. Type: Article	Jul 30 2010


Programming assistance based on contracts and modular verification in the automation domain Hurnaus D., Prähofer H. SAC 2010 (Proceedings of the 2010 ACM Symposium on Applied Computing, Sierre, Switzerland, Mar 22-26, 2010) 2544-2551, 2010. Type: Proceedings	Jul 30 2010


Artificial intelligence: a modern approach Russell S., Norvig P., Prentice Hall Press, Upper Saddle River, NJ, 2009. 1152 pp. Type: Book	Jul 30 2010


Computational social network analysis: trends, tools and research advances Abraham A., Hassanien A., Snsel V., Springer Publishing Company, Incorporated, Dordrecht, Netherlands, 2009. 485 pp. Type: Book	Jul 30 2010

more..