## Refine Search

### Content Type

### Topics

- Theory of Computation 1,752 Remove
- Software Engineering / Programming and Operating Systems 198
- Artificial Intelligence 147
- Computer Communication Networks 86
- Computation by Abstract Devices 78

- Programming Techniques 74
- Algorithm Analysis and Problem Complexity 72
- Software Engineering 52
- Computer Science (general) 51
- Programming Languages, Compilers, Interpreters 50
- Logics and Meanings of Programs 49
- Computer System Implementation 45
- Data Structures and Information Theory 35
- Mathematics of Computing 35
- Appl. Mathematics / Computational Methods of Engineering 34
- Mathematical Logic and Formal Languages 33
- Circuits and Systems 33
- Database Management 25
- Mathematical Logic and Foundations 25
- Processor Architectures 23
- Engineering (general) 20
- Computer Systems Organization and Communication Networks 19
- Cryptology 19
- Computer Hardware 18
- Discrete Mathematics in Computer Science 17
- Computer Applications 17
- Computer Engineering 17
- Applications of Mathematics 16
- Management of Computing and Information Systems 14
- Combinatorics 14
- Special Purpose and Application-Based Systems 13
- Life Sciences (general) 13
- Algebra 13
- Simulation and Modeling 12
- Computer-Aided Engineering (CAD, CAE) and Design 12
- Optimization 12
- Information Systems and Communication Service 11
- User Interfaces and Human Computer Interaction 11
- Discrete Mathematics 11
- Popular Computer Science 11
- Control 11
- Operation Research/Decision Theory 10
- Coding and Information Theory 10
- Mathematics (general) 10
- Analysis 10
- Systems Theory, Control 10
- Computational Mathematics and Numerical Analysis 10
- Algorithms 10
- Computational Intelligence 10
- Electrical Engineering 10
- Data Structures 9
- Information Systems Applications (incl.Internet) 9
- Pattern Recognition 9
- Business Mathematics 8
- Computer Graphics 8
- Systems and Data Security 8
- System Performance and Evaluation 7
- Operating Systems 7
- Numeric Computing 7
- Numerical Analysis 7
- Geometry 7
- Educational Technology 7
- Electronics and Microelectronics, Instrumentation 7
- IT in Business 6
- Models and Principles 6
- Information Storage and Retrieval 6
- History of Computing 6
- Number Theory 6
- Probability Theory and Stochastic Processes 6
- Science, Humanities and Social Sciences, multidisciplinary 5
- Imaging / Radiology 5
- Logic Design 5
- Philosophy of Science 4
- Input/Output and Data Communications 4
- Mathematical Applications in Computer Science 4
- Symbolic and Algebraic Manipulation 4
- Computational Biology / Bioinformatics 4
- Computers and Education 4
- Biochemistry 4
- Computational Science and Engineering 4
- Robotics and Automation 4
- Communications Engineering, Networks 4
- Finance, general 3
- Human Genetics 3
- Arithmetic and Logic Structures 3
- Computer Appl. in Administrative Data Processing 3
- Computers and Society 3
- The Computing Profession 3
- e-commerce / e-business 3
- Geographical Information Systems / Cartography 3
- Evolutionary Biology 3
- Mathematical Modeling and Industrial Mathematics 3
- Calculus of Variations and Optimal Control; Optimization 3
- Complex Systems 3
- Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences 3
- Complexity 3
- Manufacturing, Machines, Tools, Processes 3
- Library Science 2
- Organization 2
- Computer Applications in Chemistry 2

### Release Date

### Language

#### Numerical Algorithms

#### Annals of Operations Research

#### Calcolo

#### Arto Salomaa: Mathematician, Computer Scientist, and Teacher

**Available Formats:**
Hardcover
eBook

#### Handbook of Memristor Networks

**Available Formats:**
Hardcover
eBook

#### Hypothesis-Driven Simulation Studies

**Available Formats:**
Softcover
eBook

#### PRICAI 2019: Trends in Artificial Intelligence

**Available Formats:**
Softcover
eBook

#### Representation Theorems in Computer Science

**Available Formats:**
Hardcover
eBook

#### Formal Methods

**Available Formats:**
Hardcover
eBook

#### Intelligent Computer Mathematics

**Available Formats:**
Softcover
eBook

#### Theory and Applications of Satisfiability Testing – SAT 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

#### 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

#### Computational Artifacts

**Available Formats:**
Softcover
Hardcover
eBook