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   Software evolution Methodologies Java Coding Tools Object-oriented Embedded systems Design Security C# State diagrams Correctness proofs Networks UML OO design   Arrays Hash-tables Standards 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   Information interfaces Data models User interfaces Data mining Human factors Interaction styles Digital libraries Evaluation/methodology Warehouses Web Ergonomics Systems   Knowledge representation Scene analysis Vision Document preparation Geometry and modeling Robotics Video analysis XML Learning Expert systems Graphics and realism Robotics Discrete event simulation Learning AI Simulation theory Deduction   Business Linguistics Publishing 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     Randomness and elements of decision theory applied to signals Borda M., Terebes R., Malutan R., Ilea I., Cislariu M., Miclea A., Barburiceanu S., Springer International Publishing, Cham, Switzerland, 2021. 377 pp.  Type: Book (978-3-030903-13-8) Sep 21 2023     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     more..
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2023 ThinkLoud® Terms of Use | Privacy Policy