This selection contains titles in Theoretical Computer Science

## Refine Search

### Content Type

### Topics

- Artificial Intelligence 4,073
- Computer Communication Networks 2,080
- Information Systems Applications (incl.Internet) 1,483
- Software Engineering 1,292
- Computational Intelligence 1,210

- Software Engineering / Programming and Operating Systems 1,050
- Theory of Computation 1,029
- Algorithm Analysis and Problem Complexity 995
- Image Processing and Computer Vision 933
- Cryptology 883
- User Interfaces and Human Computer Interaction 861
- Systems and Data Security 720
- Programming Techniques 686
- Data Mining and Knowledge Discovery 672
- Database Management 670
- Pattern Recognition 653
- Information Storage and Retrieval 613
- Programming Languages, Compilers, Interpreters 569
- Logics and Meanings of Programs 569
- Computation by Abstract Devices 537
- Mathematical Logic and Formal Languages 462
- Communications Engineering, Networks 450
- Astronomy, Observations and Techniques 414
- Simulation and Modeling 326
- Computer System Implementation 323
- Astrophysics and Astroparticles 318
- Data Structures and Information Theory 311
- Biochemistry 309
- Physical Chemistry 285
- Neurosciences 277
- Analysis 277
- Computers and Society 275
- Probability Theory and Stochastic Processes 274
- Discrete Mathematics in Computer Science 268
- Oncology 259
- Management of Computing and Information Systems 255
- Computer Systems Organization and Communication Networks 247
- Computer Applications 246
- Computer Graphics 241
- Computers and Education 235
- Robotics and Automation 235
- Information Systems and Communication Service 228
- Classical Mechanics 214
- Special Purpose and Application-Based Systems 213
- Cell Biology 211
- Natural Language Processing (NLP) 210
- Biomedical Engineering and Bioengineering 208
- Pharmacology / Toxicology 205
- Cardiology 205
- Computer Science (general) 203
- Neurology 202
- Control , Robotics, Mechatronics 201
- Mathematics (general) 198
- Engineering Design 198
- Science, Humanities and Social Sciences, multidisciplinary 195
- IT in Business 192
- Applications of Mathematics 192
- Signal, Image and Speech Processing 190
- Computer Imaging, Vision, Pattern Recognition and Graphics 186
- Life Sciences (general) 185
- Operation Research/Decision Theory 180
- Characterization and Evaluation of Materials 179
- Medicine (general) 178
- Optics, Lasers, Photonics, Optical Devices 176
- Polymer Sciences 174
- Appl. Mathematics / Computational Methods of Engineering 174
- System Performance and Evaluation 173
- Plant Sciences 171
- Ecology 170
- Computer Engineering 164
- Vibration, Dynamical Systems, Control 159
- Theoretical, Mathematical and Computational Physics 153
- Engineering Fluid Dynamics 149
- Immunology 147
- Geotechnical Engineering & Applied Earth Sciences 147
- Economic Theory/Quantitative Economics/Mathematical Methods 147
- Theoretical and Applied Mechanics 145
- Solid Mechanics 145
- Neurosurgery 144
- Automotive Engineering 142
- Chemistry (general) 141
- Computational Biology / Bioinformatics 138
- Condensed Matter Physics 138
- Algebra 137
- Computer-Aided Engineering (CAD, CAE) and Design 135
- Electronics and Microelectronics, Instrumentation 135
- Popular Computer Science 134
- Manufacturing, Machines, Tools, Processes 134
- Operating Systems 133
- Computational Mathematics and Numerical Analysis 133
- Multimedia Information Systems 131
- Physics (general) 131
- Mechanical Engineering 128
- Mathematical Logic and Foundations 127
- Fluid- and Aerodynamics 127
- Engineering (general) 127
- Organic Chemistry 126
- Numerical Analysis 125
- Mathematical Methods in Physics 122
- Biomedicine (general) 119

### Release Date

### Language

#### Theory and Applications of Time Series Analysis

**Available Formats:**
Hardcover
eBook

#### Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support

**Available Formats:**
Softcover
eBook

#### Advances in Soft Computing

**Available Formats:**
Softcover
eBook

#### Mathematical Optimization Theory and Operations Research

**Available Formats:**
Softcover
eBook

#### Mathematics of Program Construction

**Available Formats:**
Softcover
eBook

#### Information Technologies and Mathematical Modelling. Queueing Theory and Applications

**Available Formats:**
Softcover
eBook

#### Model-Based Safety and Assessment

**Available Formats:**
Softcover
eBook

#### Theoretical Aspects of Computing – ICTAC 2019

**Available Formats:**
Softcover
eBook

#### Formal Methods Teaching

**Available Formats:**
Softcover
eBook

#### Algorithmic Decision Theory

**Available Formats:**
Softcover
eBook

#### Computational Logistics

**Available Formats:**
Softcover
eBook

#### Numerical Geometry, Grid Generation and Scientific Computing

**Available Formats:**
Hardcover
eBook

#### Rules and Reasoning

**Available Formats:**
Softcover
eBook

#### Graph-Theoretic Concepts in Computer Science

**Available Formats:**
Softcover
eBook

#### Model Checking Software

**Available Formats:**
Softcover
eBook

#### Artificial Intelligence

**Available Formats:**
Softcover
eBook

#### Reachability Problems

**Available Formats:**
Softcover
eBook

#### Unifying Theories of Programming

**Available Formats:**
Softcover
eBook

#### Logic, Rationality, and Interaction

**Available Formats:**
Softcover
eBook

#### Theoretical Computer Science

**Available Formats:**
Softcover
eBook