Mathematical Theory of Computation eTextbooks

Exploring Complex Networks with Quantum Walks

History of Artificial Intelligence

From the Mathematics of Ancient Civilizations to Thinking Machines

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

Representation and Management of Narrative Information

Theoretical Principles and Implementation

Internet Policy and Economics

Challenges and Perspectives

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

Advances in Experimental Medicine and Biology : Book 657

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

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

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

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

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

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

Computer-Aided Design of User Interfaces VI

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

Python for Mathematics

Chapman & Hall/CRC The Python Series

Computational Intelligence for High-Dimensional Machine Learning

A Feature Selection Perspective and Its Real-World Applications

Quantum Computing Architecture and Hardware for Engineers

Step by Step

Numerical Methods for Engineering and Data Science

Neutrosophic Paradigms: Advancements in Decision Making and Statistical Analysis

Neutrosophic Principles for Handling Uncertainty

Computers and Games

12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected Papers

Raising Young Coders

A Parent's Guide to Teaching Programming at Home

Stochastic Methods for Modeling and Predicting Complex Dynamical Systems

Uncertainty Quantification, State Estimation, and Reduced-Order Models

Theory of Computation

Automata, Formal Languages, Computation and Complexity

Advanced Computing in Industrial Mathematics

16th Annual Meeting of the Bulgarian Section of SIAM, December 21-23, 2021, Sofia, Bulgaria, Revised Selected Papers

Silicon Valley Python Engineer Interview Guide

Data Structure, Algorithm, and System Design

An Introduction to Theory of Computation

An Algorithmic Approach

Design of Quantum Teleportation Schemes

Physics and Astronomy (R0)

Magical Haskell

A Friendly Approach to Modern Functional Programming, Type Theory, and Artificial Intelligence

Handbook of Artificial Intelligence and Data Sciences for Routing Problems

Springer Optimization and Its Applications : Book 219

Introduction to Quantum Science and Technology

Physics and Astronomy (R0)