Search
for Topics
All Reviews
Conferences
Tutorials
Verification
Optimization
Routing
Validation
Arrays
VLSI
Network architecture
Distributed architectures
RISC/CISC,VLIW architectures
Neural nets
Servers
Portable devices
Distributed systems
Correctness proofs
UML
Embedded systems
Coding Tools
Methodologies
Security
State diagrams
Object-oriented
OO design
Networks
C#
Design
Software evolution
Java
Compression
Structures
Standards
Stacks
Encryption
Objects
Graphs
Arrays
Hash-tables
Invariants
Patterns
Parallelism
Geometric Algorithms
Transforms
Automata
PDEs
Finite element methods
Probability and statistics
Graph Theory
Numerical Linear Algebra
Mathematical software
Combinatorics
Web
Interaction styles
Data mining
Data models
Evaluation/methodology
Warehouses
Human factors
Systems
Ergonomics
Digital libraries
Information interfaces
User interfaces
Learning
Simulation theory
XML
Video analysis
Geometry and modeling
Scene analysis
Expert systems
Robotics
Discrete event simulation
Robotics
Deduction
Document preparation
AI
Graphics and realism
Learning
Knowledge representation
Vision
Humanities
Publishing
Biosciences
CAD
Arts
Engineering
Business
Linguistics
Strategic planning
Privacy
Regulation
Security
Patents
Crime
Systems design
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
Syllogistic logic and mathematical proof
Mancosu P., Mugnai M., Oxford University Press, Oxford, England, 2023. 240 pp. Type: Book (0198876920)
Apr 26 2024
Digital oil: machineries of knowing
Monteiro E., MIT Press, Cambridge, MA, 2022. 228 pp. Type: Book (0262544679)
Apr 25 2024
Mental health in the digital age (2nd ed.)
Bauman S., Rivers I., Palgrave Macmillan, New York, NY, 2023. 220 pp. Type: Book (3031321219)
Apr 24 2024
Robots and the people who love them: holding on to our humanity in an age of social robots
Herold E., St. Martins Press, Inc., New York , NY, 2024. 256 pp. Type: Book (9781250122216)
Apr 23 2024
Digital ecosystem for innovation in agriculture
Chaudhary S., Biradar C., Divakaran S., Raval M., Springer International Publishing, Singapore, 2023. 280 pp. Type: Book (9789819905775)
Apr 22 2024
more..
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy