## Refine Search

### Content Type

### Topics

- Theory of Computation 2,019 Remove
- Software Engineering / Programming and Operating Systems 209
- Artificial Intelligence 150
- Computer Science (general) 119
- Computer Communication Networks 89

- Programming Techniques 82
- Computation by Abstract Devices 79
- Programming Languages, Compilers, Interpreters 73
- Algorithm Analysis and Problem Complexity 73
- Software Engineering 59
- Logics and Meanings of Programs 49
- Computer System Implementation 45
- Mathematical Logic and Formal Languages 40
- Mathematics of Computing 40
- Data Structures and Information Theory 37
- Appl. Mathematics / Computational Methods of Engineering 36
- Circuits and Systems 35
- Mathematical Logic and Foundations 29
- Database Management 27
- Computer Applications 25
- Engineering (general) 24
- Processor Architectures 22
- Cryptology 22
- Computer Hardware 20
- Computer Systems Organization and Communication Networks 19
- Special Purpose and Application-Based Systems 19
- Computer Engineering 18
- Discrete Mathematics in Computer Science 17
- Discrete Mathematics 17
- Management of Computing and Information Systems 16
- Applications of Mathematics 16
- IT in Business 15
- Data Structures 15
- Information Systems and Communication Service 14
- Simulation and Modeling 14
- Life Sciences (general) 14
- Algebra 14
- User Interfaces and Human Computer Interaction 13
- Computer-Aided Engineering (CAD, CAE) and Design 13
- Analysis 13
- Combinatorics 13
- Coding and Information Theory 12
- Computational Mathematics and Numerical Analysis 12
- Operating Systems 11
- Algorithms 11
- Popular Computer Science 11
- Control 11
- Operation Research/Decision Theory 10
- Information Systems Applications (incl.Internet) 10
- Systems Theory, Control 10
- Optimization 10
- Electrical Engineering 10
- Computer Graphics 9
- Systems and Data Security 9
- Mathematics (general) 9
- Numerical Analysis 9
- Probability Theory and Stochastic Processes 9
- Computational Intelligence 9
- Electronics and Microelectronics, Instrumentation 9
- Business Mathematics 8
- System Performance and Evaluation 8
- Models and Principles 8
- Pattern Recognition 8
- History of Computing 8
- Numeric Computing 7
- Mathematical Applications in Computer Science 7
- Geometry 7
- Educational Technology 7
- Communications Engineering, Networks 7
- Science, Humanities and Social Sciences, multidisciplinary 6
- Number Theory 6
- Imaging / Radiology 5
- Logic Design 5
- Information Storage and Retrieval 5
- Computers and Society 5
- Computational Science and Engineering 5
- Robotics and Automation 5
- Organization 4
- Operations Management 4
- Finance, general 4
- Philosophy of Science 4
- Input/Output and Data Communications 4
- Symbolic and Algebraic Manipulation 4
- Computers and Education 4
- Mathematical Software 4
- Calculus of Variations and Optimal Control; Optimization 4
- Business Strategy/Leadership 3
- Logic 3
- Medicine (general) 3
- Probability and Statistics in Computer Science 3
- Multimedia Information Systems 3
- Natural Language Processing (NLP) 3
- Computer Appl. in Administrative Data Processing 3
- Computational Biology / Bioinformatics 3
- The Computing Profession 3
- e-commerce / e-business 3
- Geographical Information Systems / Cartography 3
- Biochemistry 3
- Evolutionary Biology 3
- Mathematical Modeling and Industrial Mathematics 3

### Release Date

### Language

#### Annals of Operations Research

#### Handbook of Memristor Networks

**Available Formats:**
Hardcover
eBook

#### Representation Theorems in Computer Science

**Available Formats:**
Hardcover
eBook

#### Theory and Applications of Satisfiability Testing – SAT 2019

**Available Formats:**
Softcover
eBook

#### Formal Methods

**Available Formats:**
Hardcover
eBook

#### Intelligent Computer Mathematics

**Available Formats:**
Softcover
eBook

#### Computational Science – ICCS 2019

**Available Formats:**
Softcover
eBook

#### Computational Science – ICCS 2019

**Available Formats:**
Softcover
eBook

#### Computational Science – ICCS 2019

**Available Formats:**
Softcover
eBook

#### Computational Science – ICCS 2019

**Available Formats:**
Softcover
eBook

#### Computational Science – ICCS 2019

**Available Formats:**
Softcover
eBook

#### Carl Adam Petri: Ideas, Personality, Impact

**Available Formats:**
Hardcover
eBook

#### Knowledge Graphs and Semantic Web

**Available Formats:**
Softcover
eBook

#### Membrane Computing

**Available Formats:**
Softcover
eBook

#### Handbook of Model Checking

**Available Formats:**
Softcover
Hardcover
eBook

#### Handbook of Parallel Constraint Reasoning

**Available Formats:**
Softcover
Hardcover
eBook

#### Mathematical Foundations of Advanced Informatics

**Available Formats:**
Softcover
Hardcover
eBook

#### Transactions on Petri Nets and Other Models of Concurrency XIII

**Available Formats:**
Softcover
eBook

#### Hyper-Heuristics: Theory and Applications

**Available Formats:**
Hardcover
eBook

#### Transactions on Computational Collective Intelligence XXX

**Available Formats:**
Softcover
eBook