Mathematical theory of computation

Software components and component-based software development (CBSD) are acknowledged as the best approach for constructing quality software at reasonable cost.

Die statistische Versuchsplanung (Design of Experiment, DoE) ist ein Verfahren zur Analyse von (technischen) Systemen.

This proceedings volume collects contributions from the 5th AIRO Young Workshop and AIRO PhD School 2021 joint event on "e;Optimization and Data Science: Trends and Applications"e;, held online, from February 8 to 12, 2021.

This volume contains review articles and original results obtained in various fields of modern science using mathematical simulation methods.

Disseminating Security Updates at Internet Scale describes a new system, "e;Revere"e;, that addresses these problems.

This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model.

This book constitutes the refereed proceedings of the 7th International Conference on Computers and Games, CG 2010, held in Kanazawa, Japan, in September 2010.

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them.

This book is an evolution from my book A First Course in Information Theory published in 2002 when network coding was still at its infancy.

Computers are playing a fundamental role in enhancing exploratory learning techniques in education.

Discrete Mathematics for Computing presents the essential mathematics needed for the study of computing and information systems.

The SCAN conference, the International Symposium on Scientific Com- puting, Computer Arithmetic and Validated Numerics, takes place bian- nually under the joint auspices of GAMM (Gesellschaft fiir Angewandte Mathematik und Mechanik) and IMACS (International Association for Mathematics and Computers in Simulation).

Annually sponsored by the Korea Institute of Information Security and Crypt- ogy (KIISC), the fourth International Conference on Information Security and Cryptology (ICISC2001) was held at the 63 Building in Seoul, Korea, Dec- ber 6-7, 2001.

This volume of the Encyclopedia of Complexity and Systems Science, Second Edition, provides an authoritative introduction and overview of the latest research in cellular automata (CA) models of physical systems, emergent phenomena, computational universality, chaos, growth phenomena, phase transitions, self-organised criticality, reaction-diffusion systems, self-replications, parallel computation, and more.

The satellite range scheduling (SRS) problem, an important operations research problem in the aerospace industry consisting of allocating tasks among satellites and Earth-bound objects, is examined in this book.

The Web is the nervous system of information society.

This book constitutes the revised papers of the 46th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2020, held in Leeds, UK, in June 2020.

This original monograph investigates several unsolved problems that currently exist in coding theory.

On behalf of the Organizing Committee we are pleased to present the p- ceedings of the 2008 Symposium on Component-Based Software Engineering (CBSE).

The 11th European Conference on Genetic Programming, EuroGP 2008, took place in Naples, Italy from 26 to 28 March in the University of Naples Congress Centre with spectacular views over the Gulf of Naples.

From Markov Jump Processes to Spatial Queues aims to develop a unified theory of spatial queues that yields concrete results for the performance analysis of mobile communication networks.

Computing Science is a science of constructive methods.

The ability to draw inferences is a central operation in any artificial intelligence system.

This book constitutes the refereed proceedings of the 7th International Conference on Computer Science and Mathematics , CMSC 2024, held in Trier, Germany, during October 7-10, 2024.

This book constitutes revised selected papers of the 20th International Conference on Information Technologies and Mathematical Modelling, ITMM 2021, named after A.

This book offers a practical presentation of stochastic partial differential equations arising in physical applications and their numerical approximation.

Pentium Processor Optimization Tools covers advanced program optimization techniques for the Intel 80x86 family of chips, including the Pentium.

VolumeVIIIoftheTransactions on Rough Sets (TRS)containsa widespectrum of contributions to the theory and applications of rough sets.

This book constitutes the refereed proceedings of the 17th International Conference on Information Security, ISC 2014, held in Hong Kong, China, in October 2014.

These proceedings contain papers from the 27th FORTE conference.

This book constitutes the refereed proceedings of the Mathematical modeling of technological processes track of the 8th International Conference on Computational and Information Technologies in Science, Engineering and Education, CITech 2015, held in Almaty, Kazakhstan, in September 2015.

The two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th International Conference on Parallel Processing and Applied Mathematics, PPAM 2019, held in Bialystok, Poland, in September 2019.

This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Metadata and Semantic Research, MTSR 2021, held as a virtual event in November-December 2021.

This is a textbook devoted to mathematical programming algorithms and the mathematics needed to understand such algorithms.

Cooperative game theory is a branch of (micro-)economics that studies the behavior of self-interested agents in strategic settings where binding agreements among agents are possible.

The conference proceeding  LNCS 11346 constitutes the refereed proceedings of the 12th International Conference on Combinatorial Optimization and Applications, COCOA 2018, held in Atlanta, GA, USA, in December 2018.

This book constitutes the refereed proceedings of the 7th International Conference on Optimization and Learning, OLA 2024, held in Dubrovnik, Croatia, during May 13-15, 2024.

This book constitutes the refereed proceedings of the 17 International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2016, held in Yangzhou, China, in October 2016.

This book constitutes revised selected papers from the 7th International Conference on Operations Research and Enterprise Systems, ICORES 2018, held in Funchal, Madeira, Portugal, in January 2018.