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
C#
Embedded systems
Design
Security
State diagrams
Correctness proofs
UML
OO design
Coding Tools
Methodologies
Networks
Object-oriented
Software evolution
Java
Structures
Stacks
Encryption
Compression
Objects
Standards
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
Interaction styles
Digital libraries
Evaluation/methodology
Warehouses
Web
Systems
Data mining
Data models
Ergonomics
Human factors
Information interfaces
User interfaces
Document preparation
Graphics and realism
Video analysis
Learning
Expert systems
Robotics
Learning
Simulation theory
XML
Deduction
Geometry and modeling
Scene analysis
AI
Discrete event simulation
Robotics
Knowledge representation
Vision
Humanities
Biosciences
CAD
Arts
Publishing
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