This selection contains titles in Computer Science

## Refine Search

### Content Type

- Commemorative publication 20
- Handbook 10
- Professional book 9
- Reference work 6
- Collected works 5
- Ph.D. thesis 4
- Manual 2
- Collection of essays 2
- Encyclopedia 2
- Briefs 1
- Popular science 1
- Reviews 1

### Topics

- Theory of Computation 1,693 Remove
- Software Engineering / Programming and Operating Systems 188
- Artificial Intelligence 134
- Computer Communication Networks 81
- Computation by Abstract Devices 76

- Programming Techniques 71
- Algorithm Analysis and Problem Complexity 66
- Computer Science (general) 48
- Software Engineering 47
- Programming Languages, Compilers, Interpreters 47
- Logics and Meanings of Programs 47
- Computer System Implementation 44
- Appl. Mathematics / Computational Methods of Engineering 33
- Circuits and Systems 32
- Mathematical Logic and Formal Languages 31
- Mathematics of Computing 29
- Data Structures and Information Theory 28
- Database Management 24
- Mathematical Logic and Foundations 22
- Processor Architectures 18
- Cryptology 18
- Computer Engineering 17
- Engineering (general) 17
- Computer Applications 16
- Computer Hardware 15
- Computer Systems Organization and Communication Networks 14
- Discrete Mathematics in Computer Science 14
- Management of Computing and Information Systems 14
- Applications of Mathematics 14
- Life Sciences (general) 13
- Special Purpose and Application-Based Systems 11
- User Interfaces and Human Computer Interaction 11
- Discrete Mathematics 11
- Popular Computer Science 11
- Control 11
- Simulation and Modeling 10
- Algebra 10
- Coding and Information Theory 9
- Information Systems and Communication Service 9
- Computer-Aided Engineering (CAD, CAE) and Design 9
- Mathematics (general) 9
- Systems Theory, Control 9
- Computational Mathematics and Numerical Analysis 9
- Combinatorics 9
- Computational Intelligence 9
- Electrical Engineering 9
- Business Mathematics 8
- Data Structures 8
- Pattern Recognition 8
- Systems and Data Security 8
- Information Systems Applications (incl.Internet) 7
- Analysis 7
- Educational Technology 7
- System Performance and Evaluation 6
- Operating Systems 6
- Numeric Computing 6
- Computer Graphics 6
- History of Computing 6
- Algorithms 6
- Number Theory 6
- Probability Theory and Stochastic Processes 6
- Electronics and Microelectronics, Instrumentation 6
- Science, Humanities and Social Sciences, multidisciplinary 5
- Models and Principles 5
- Information Storage and Retrieval 5
- Numerical Analysis 5
- Geometry 5
- Operation Research/Decision Theory 4
- IT in Business 4
- Imaging / Radiology 4
- Logic Design 4
- Computers and Education 4
- Computational Science and Engineering 4
- Optimization 4
- Robotics and Automation 4
- Communications Engineering, Networks 4
- Finance, general 3
- Philosophy of Science 3
- Mathematical Applications in Computer Science 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
- Biochemistry 3
- Library Science 2
- Organization 2
- Computer Applications in Chemistry 2
- Logic 2
- Medicine (general) 2
- Arithmetic and Logic Structures 2
- Input/Output and Data Communications 2
- Performance and Reliability 2
- Symbolic and Algebraic Manipulation 2
- Logic in AI 2
- Image Processing and Computer Vision 2
- Computational Biology / Bioinformatics 2
- Agriculture 2
- Evolutionary Biology 2
- Category Theory, Homological Algebra 2

### Release Date

### Language

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

#### Handbook of Model Checking

**Available Formats:**
Softcover
Hardcover
eBook

#### Foraging-Inspired Optimisation Algorithms

**Available Formats:**
Hardcover
eBook
Softcover

#### Computational Matter

**Available Formats:**
Softcover
Hardcover
eBook