Search for Topics All Reviews
	Conferences Tutorials   Validation Routing VLSI Arrays Verification Optimization   Servers Neural nets Distributed systems Portable devices Network architecture Distributed architectures RISC/CISC,VLIW architectures   Networks OO design Coding Tools Methodologies Java Software evolution Object-oriented Embedded systems Design C# Security State diagrams Correctness proofs UML   Graphs Objects Standards Hash-tables Arrays Structures Stacks Encryption Compression   Geometric Algorithms Parallelism Automata Transforms Invariants Patterns   Numerical Linear Algebra Graph Theory Combinatorics Mathematical software PDEs Finite element methods Probability and statistics   Ergonomics Systems Data mining Data models User interfaces Information interfaces Human factors Interaction styles Digital libraries Evaluation/methodology Warehouses Web   AI Deduction Geometry and modeling Scene analysis Document preparation Vision Knowledge representation Robotics Video analysis XML Learning Graphics and realism Expert systems Robotics Discrete event simulation Learning Simulation theory   Engineering Arts Publishing Linguistics Business Humanities Biosciences CAD   Patents Security Systems design Crime Strategic planning Privacy Regulation   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