Mathematical Theory of Computation eTextbooks

Exploring Complex Networks with Quantum Walks

Computational Theory of Iterative Methods

Studies in Computational Mathematics : Book 15

R for SAS and SPSS Users

Implementation and Applications

Advances in Numerical Methods

Lecture Notes in Electrical Engineering : Book 11

ITIL Version 3 at a Glance

Information Quick Reference

Information Systems Development

Towards a Service Provision Society

Multiresonator-Based Chipless RFID

Barcode of the Future

Utility Maximization in Nonconvex Wireless Systems

Foundations in Signal Processing, Communications and Networking : Book 5

Ontology Engineering in a Networked World

Journeys to Data Mining

Experiences from 15 Renowned Researchers

Mathematics of Discrete Structures for Computer Science

Paraconsistency

Logic and Applications

Stochastic Reachability Analysis of Hybrid Systems

Communications and Control Engineering

Guide to Computational Geometry Processing

Foundations, Algorithms, and Methods

Variational Analysis and Aerospace Engineering: Mathematical Challenges for Aerospace Design

Contributions from a Workshop held at the School of Mathematics in Erice, Italy

Loewy Decomposition of Linear Differential Equations

Computer Science (R0)

Risk Management Technologies

With Logic and Probabilistic Models

Internet Policy and Economics

Challenges and Perspectives

Representation and Management of Narrative Information

Theoretical Principles and Implementation

Towards an Information Theory of Complex Networks

Statistical Methods and Applications

Demand-Driven Associative Classification

Demand-Driven Associative Classification

Ontologies in Urban Development Projects

Ontologies In Urban Development Projects

Guide to Geometric Algebra in Practice

Perception-Action Cycle

Models, Architectures, and Hardware

Invariants of Behavior

Constancy and Variability in Neural Systems

Low Rank Approximation

Algorithms, Implementation, Applications

Euclidean Shortest Paths

Exact or Approximate Algorithms

From Brains to Systems

Brain-Inspired Cognitive Systems 2010

Sleep and Anesthesia

Neural Correlates in Theory and Experiment

The Relevance of the Time Domain to Neural Network Models

Springer Series in Cognitive and Neural Systems : Book 3

Designing Sorting Networks

A New Paradigm

Digital Imaging and Communications in Medicine (DICOM)

A Practical Introduction and Survival Guide

Learning to Rank for Information Retrieval

Schema Matching and Mapping

Data-Centric Systems and Applications

Conditionals and Modularity in General Logics

Cognitive Technologies

Periodic Review Inventory Systems

Performance Analysis and Optimization of Inventory Systems within Supply Chains

A Feature-Centric View of Information Retrieval

The Information Retrieval Series : Book 27

Haptic Systems Architecture Modeling

Methods of Cut-Elimination

Methods of Cut-Elimination

Fractional Calculus for Scientists and Engineers

Lecture Notes in Electrical Engineering : Book 84

Interpreted Languages and Compositionality

Interpreted Languages and Compositionality

Proceedings of the European Computing Conference

Volume 1

Combinatorial Computational Biology of RNA

Pseudoknots and Neutral Networks

Brain Inspired Cognitive Systems 2008

Springer Nature Proceedings excluding Computer Science

Proceedings of the European Computing Conference

Volume 2

ESL Models and their Application

Electronic System Level Design and Verification in Practice

Information Theoretic Learning

Renyi's Entropy and Kernel Perspectives

Handbook of Cloud Computing

Poisson Point Processes

Imaging, Tracking, and Sensing

Handbook of Social Network Technologies and Applications

Computer-Aided Design of User Interfaces VI

Proceedings of the Seventh International Conference on Computer-Aided Design of Users Inferaces (CADUI 2008)

The Engineering of Mixed Reality Systems

Human-Computer Interaction Series

Formal Methods

State of the Art and New Directions

Frontiers in Computational and Systems Biology

Computational Biology : Book 15

The Essential PIC18® Microcontroller

Computer Communications and Networks

802.11 Wireless Networks

Security and Analysis

Stochastic Models for Fault Tolerance

Restart, Rejuvenation and Checkpointing

Natural Deduction, Hybrid Systems and Modal Logics

Trends in Logic : Book 30

IT Security Management

IT Securiteers - Setting up an IT Security Function

Hybrid Logic and its Proof-Theory

Applied Logic Series : Book 37

Twenty Five Years of Constructive Type Theory

Oxford Logic Guides : Book 36

Stochastic Methods in Neuroscience

The Structure of Complex Networks

Theory and Applications

The Origins of Evolutionary Innovations

A Theory of Transformative Change in Living Systems

Computation and its Limits

Selected Unsolved Problems in Coding Theory

Selected Unsolved Problems In Coding Theory

A Beginner's Guide to Discrete Mathematics

Mathematics and Statistics (R0)

Rigorous Software Development

An Introduction to Program Verification

Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages

Proofs and Algorithms

An Introduction to Logic and Computability

Specification of Software Systems

Texts in Computer Science

Core Concepts in Data Analysis

Summarization, Correlation and Visualization

Analysis for Computer Scientists

Foundations, Methods, and Algorithms

Concise Guide to Computation Theory

Quaternions for Computer Graphics

Computer Science (R0)

Partial Differential Equations for Geometric Design

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Explorations in Quantum Computing

Explorations In Quantum Computing

Understanding Concurrent Systems

Texts in Computer Science

Mathematics for Computer Graphics

Undergraduate Topics in Computer Science

Theoretical Aspects of Distributed Computing in Sensor Networks

Monographs in Theoretical Computer Science. An EATCS Series

Logic

a Brief Course

Fundamentals of the Theory of Computation

Principles and Practice: Principles and Practice

Operations Research and Enterprise Systems

13th International Conference, ICORES 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers

Neural Information Processing

30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XIII

Algorithmics of Wireless Networks

19th International Symposium, ALGOWIN 2023, Amsterdam, The Netherlands, September 7-8, 2023, Revised Selected Papers

Search-Based Software Engineering

15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Planetary Spacecraft Navigation

General Relativity for Planetary Navigation

Graph-Based Representations in Pattern Recognition

14th IAPR-TC-15 International Workshop, GbRPR 2025, Caen, France, June 25-27, 2025, Proceedings

NASA Formal Methods

17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

Quantum Optics

Physics and Astronomy (R0)

Application and Theory of Petri Nets and Concurrency

46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings

Advanced Information Systems Engineering

37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

Inverse Problems for Mechanical Systems

Methods, Simulations and Experiments

Swim Training Patterns

Plan your Training Sessions with the Power of Mathematics

Formal Techniques for Distributed Objects, Components, and Systems

45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Advanced Information Systems Engineering

37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

Data Science: Foundations and Applications

29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VII

Advances in Knowledge Discovery and Data Mining

29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part I

The Semantic Web

22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part I