Informatik (33 Artikel)

The complexity of Information Technology (IT) systems has been steadily incre- ing in the past decades. In October 2001, IBM released the "Autonomic Computing Manifesto" observing that current appl...

Increasing size and complexity of software and hardware systems makes it harder to ensure their reliability. At the same time, the issues of autonomous computing become more critical as we more and...

Organic Computing has emerged as a challenging vision for future information processing systems. Its basis is the insight that we will increasingly be surrounded by and depend on large collections ...

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of i...

This volume contains the refereed proceedings of the Workshop on Cryptography and Computational Number Theory, CCNT'99, which has been held in Singapore during the week of November 22-26, 1999. The...

The Schur algorithm for generalized Schur functions I: coisometric realizations.- Hardy spaces on a finite bordered Riemann surface, multivariable operator model theory and Fourier analysis along a...

It has long been recognized that there are fascinating connections between cod ing theory, cryptology, and combinatorics. Therefore it seemed desirable to us to organize a conference that brings to...

I. Combinatorics and Random Structures.- Common Intervals of Permutations.- Overpartitions and Generating Functions for Generalized Frobenius Partitions.- Enumerative Results on Integer Partitions ...

Massively Parallel Systems (MPSs) with their scalable computation and storage space promises are becoming increasingly important for high-performance computing. The growing acceptance of MPSs in ac...

Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure of the solutions. Such techniques appear in many...

Der vorliegenden Band enthält die Lösungen der Aufgaben des in dersel ben Reihe Programm Praxis erschienenen Lehrbuches 'Computermathema tik'. Die Kapiteleinteilung wurde beibehalten, die Aufgabens...

It has long been recognized that there are fascinating connections between cod ing theory, cryptology, and combinatorics. Therefore it seemed desirable to us to organize a conference that brings to...

Agent Cities [4] is an ambitious project whose main aim is the construction of a worldwide, publicly accessible network of agent-based FIPA platforms!. In March 2003 there are around 50 active plat...

A Survey of Knot Theory

"A Crash Course in Mathematica" is a compact introduction to the program Mathematica, which is widely used in mathematics, as well as in the natural and engineering sciences.