Mathematical Theory of Computation eTextbooks

Exploring Complex Networks with Quantum Walks

History of Artificial Intelligence

From the Mathematics of Ancient Civilizations to Thinking Machines

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

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

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

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

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

Fundamentals of the Theory of Computation

Principles and Practice: Principles and Practice

Bayesian Networks and Influence Diagrams

A Guide to Construction and Analysis

Handbook of Computational Approaches to Counterterrorism

Theory of Digital Automata

Intelligent Systems, Control and Automation: Science and Engineering : Book 63

Logical Thinking in the Pyramidal Schema of Concepts

The Logical and Mathematical Elements

Symmetry and Pattern in Projective Geometry

Distributed User Interfaces

Designing Interfaces for the Distributed Ecosystem

Mathematical Methods for Signal and Image Analysis and Representation

Computational Imaging and Vision : Book 41

High-Performance Scientific Computing

Algorithms and Applications

Interactive 3D Multimedia Content

Models for Creation, Management, Search and Presentation

Sets, Logic and Maths for Computing

Undergraduate Topics in Computer Science

Guide to Scientific Computing in C++

Undergraduate Topics in Computer Science

Behavior Computing

Modeling, Analysis, Mining and Decision

Fundamentals of Discrete Math for Computer Science

A Problem-Solving Primer

Belief Revision in Non-Classical Logics

SpringerBriefs in Computer Science

Fading and Shadowing in Wireless Systems

Computability and Complexity Theory

Texts in Computer Science