Search for Topics All Reviews
	Tutorials Conferences   Arrays VLSI Verification Optimization Validation Routing   Portable devices Distributed systems Network architecture Distributed architectures RISC/CISC,VLIW architectures Servers Neural nets   Coding Tools Methodologies Software evolution Java Object-oriented Embedded systems Design C# Security State diagrams Correctness proofs UML Networks OO design   Standards Arrays Hash-tables Structures Stacks Encryption Compression Graphs Objects   Transforms Automata Invariants Patterns Geometric Algorithms Parallelism   Mathematical software Combinatorics PDEs Finite element methods Probability and statistics Numerical Linear Algebra Graph Theory   Data mining Data models Information interfaces User interfaces Human factors Interaction styles Digital libraries Evaluation/methodology Warehouses Web Ergonomics Systems   Document preparation Geometry and modeling Scene analysis Knowledge representation Vision Robotics Video analysis XML Learning Graphics and realism Expert systems Robotics Discrete event simulation Learning Simulation theory AI Deduction   Publishing Business Linguistics Humanities Biosciences CAD Engineering Arts   Crime Systems design Strategic planning Privacy Regulation Patents Security   Design Human factors Languages Performance Theory     Reviews limited to All General Terms Algorithms Design Documentation Economics Experimentation Human factors Languages Legal Aspects Management Measurement Performance Reliability Security Standardization Theory Verification Date Reviewed     Simple type theory: a practical logic for expressing and reasoning about mathematical ideas Farmer W., BIRKHAUSER, Basel, Switzerland, 2023. 312 pp.  Type: Book (3031211138) Sep 19 2023     Parallel programming: for multicore and cluster systems (3rd ed.) Rauber T., Rünger G., Springer International Publishing, Cham, Switzerland, 2023. 554 pp.  Type: Book (978-3-031-28923-1) Sep 14 2023      A new history of modern computing Haigh T., Ceruzzi P., MIT Press, Cambridge, MA, 2021. 544 pp.  Type: Book (978-2-625429-00-8), Reviews: (2 of 2) Sep 12 2023     Living with algorithms: agency and user culture in Costa Rica Siles I., MIT Press, Cambridge, MA, 2023. 234 pp.  Type: Book (026254542X) Sep 7 2023     GraphQL: a systematic mapping study Quiña-Mera A., Fernandez P., García J., Ruiz-Cortés A. ACM Computing Surveys 551-35, 2023.  Type: Article Sep 5 2023     more..
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2023 ThinkLoud® Terms of Use | Privacy Policy