Mathematical Theory of Computation eTextbooks

Introduction to Machine Learning Algorithms

Basic Principles and Mathematics

Mathematics for Artificial Intelligence

Textbooks in Mathematics

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

Stochastic Models for Fault Tolerance

Restart, Rejuvenation and Checkpointing

Natural Deduction, Hybrid Systems and Modal Logics

Mathematics and Statistics (R0)

IT Security Management

IT Securiteers - Setting up an IT Security Function

Hybrid Logic and its Proof-Theory

Applied Logic Series : Book 37

Representation and Management of Narrative Information

Theoretical Principles and Implementation

Advances in Numerical Methods

Engineering (R0)

ITIL Version 3 at a Glance

Information Quick Reference

Information Systems Development

Towards a Service Provision Society

Internet Policy and Economics

Challenges and Perspectives

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

Computational Theory of Iterative Methods

Studies in Computational Mathematics : Book 15

R for SAS and SPSS Users

Implementation and Applications

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

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

Computer Science (R0)

Logic

a Brief Course

Fundamentals of the Theory of Computation

Principles and Practice: Principles and Practice

802.11 Wireless Networks

Security and Analysis

Solving the Dynamic Complexity Dilemma

Predictive and Prescriptive Business Management: Answering the Need for a New Paradigm

Constraints Meet Concurrency

Mathematics and Statistics (R0)

Elements of Probability and Statistics

An Introduction to Probability with de Finetti's Approach and to Bayesian Statistics

Problem-Based Learning

A Didactic Strategy in the Teaching of System Simulation

Advanced Computing in Industrial Mathematics

12th Annual Meeting of the Bulgarian Section of SIAM December 20-22, 2017, Sofia, Bulgaria Revised Selected Papers

Workload Characterization for Computer System Design

The Springer International Series in Engineering and Computer Science : Book 542

Recent Advances in Applications of Computational and Fuzzy Mathematics

Computer Science (R0)

Epoch Synchronous Overlap Add (ESOLA)

A Concatenative Synthesis Procedure for Speech

Applied Mathematical Analysis

Theory, Methods, and Applications

Product Lifecycle Management to Support Industry 4.0

15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings

Principles and Methods of Quantum Information Technologies

Physics and Astronomy (R0)

Leo Esakia on Duality in Modal and Intuitionistic Logics

Outstanding Contributions to Logic : Book 4

Logic, Rationality, and Interaction

7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings

New Frontiers in Artificial Intelligence

JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14, 2018, Revised Selected Papers

Practical Aspects of Declarative Languages

20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings

Unifying Theories of Programming

7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings