Informatik (15 757 Artikel)

This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum ...

This volume contains the proceedings of an ESPRIT Advanced Course entitled Future Parallel Computers held in Pisa, June 9-20, 1986. Interest in parallel computers has shown a dramatic increase in r...

Theorem in proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.

1. Problemstellung.- 1.1. Probleme der Softwaretechnik.- 1.2. Probleme bei Dialogschnittstellen.- 1.3. Zielsetzung und Aufbau der Arbeit.- 2. Arbeit in Organisationen mit interaktiver Rechnernutzun...

This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which is much broader than in other theories...

/ Table of Contents.- Eröffnungssitzung / Opening Session.- Software Fault Tolerance in Safety-Critical Applications.- Vertrauenswürdige Systeme / Dependable Systems.- Biased Programming Faults -- ...

Der vorliegende Studien- und Forschungsführer Künstliche Intelligenz gibt einen aktuellen Überblick über die in der Bundesrepublik Deutschland und in Österreich bestehenden Ausbildungsmöglichkeiten...

This volume contains the proceedings of the Third Conference on Functional Programming Languages and Computer Architecture held in Portland, Oregon, September 14-16, 1987. This conference was a suc...

Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden sämtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen Beschreibung der An...

The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software developmen...

Diagnostisches Problemlösen ist der bisher erfolgreichste Anwendungsbereich von Expertensystemen. Nach einer ausführlichen Einführung in Expertensysteme werden aus Erfahrungen mit existierenden Dia...

In October 1983 an informal meeting was organized in Le Cap d'Agde with the help of the BIGRE bulletin. Sixty people turned out to hear more than ten presentations on object-oriented programming. M...

Bildverstehen.- Ereignismodellierung zur inkrementellen High-Level Bildfolgenanalyse.- Problemlösen.- Probabilities in Game-Playing: Possible Meanings and Applications.- Knowledge Base Management.-...

Bildverstehen.- Das 'Bootstrap-Problem' bei der geometrischen Szenenrekonstruktion -- eine Ubersicht.- Konfliktlösung auf statistischer Basis bei der Bildanalyse mit Produktionsregeln.- EPEX: Bildf...

/ Table of Contents.- Eröffnungssitzung / Opening Session.- From Performance to Performability.- Wartesysteme / Queueing Systems.- Wahrscheinlichkeitsverteilungen maximaler Entropie für die Warteze...