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