Informatik (14.430 Artikel)

1 -- Introduction.- 2 -- Magmas, algebras and trees.- 3 -- Program schemes.- 4 -- Semantics.- 5 -- Classes of interpretations.- 6 -- Program transformations.

The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentall...

"I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many projects in which algebraic specifi...

This book constitutes the proceedings of the 5th International Meeting on Algebraic and Algorithmic Aspects of Differential and Integral Operators, AADIOS 2012, held at the Applications of Computer...

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstrac...

This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010. The conference is a ...

Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday

1. Abstrakte Strukturen.- 2. Gleichungen, Spezifikationen.- 3. Rechnungen in Gleichungssystemen.- 4. Erweiterungen von Gleichungsspezifikationen.- 5. Finale Semantik.- 6. Behandlung von Ausnahmezus...

Gruppen, Ringe, Körper, Primzahltests, Verschlüsselung

Selected Results and Surveys

This book constitutes the refereed proceedings of the 5th Workshop on Algorithm Engineering, WAE 2001, held in Aarhus, Denmark, in August 2001. The 15 revised full papers presented were carefully r...

This volume contains the papers accepted for the 4th Workshop on Algorithm Engineering (WAE 2000) held in Saarbruc ¨ ken, Germany, during 5-8 September 2000, together with the abstract of the invit...

Invited Lectures.- Selecting Problems for Algorithm Evaluation.- BSP Algorithms -- "Write Once, Run Anywhere".- Ten Years of LEDA: Some Thoughts.- Contributed Papers.- Computing the K Shortest Path...

ALENEX'01.- Solving a "Hard" Problem to Approximate an "Easy" One: Heuristics for Maximum Matchings and Maximum Traveling Salesman Problems.- CNOP - A Package for Constrained Network Optimization.-...

Symmetric multiprocessors (SMPs) dominate the high-end server market and are currently the primary candidate for constructing large scale multiprocessor systems. Yet, the design of e cient parallel...