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