Informatik (15 757 Artikel)

What the book is about This book is about the theory and practice of the use of multimedia, multimodal interfaces for leaming. Yet it is not about technology as such, at least in the sense that the...

This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system des...

Vorwort der Herausgeber.- Was ist Wirtschaftsinformatik?.- Ausbildungswege, Berufsbilder und Arbeitsmarkt für Wirtschaftsinformatiker.- Studienplanempfehlungen für Diplom-Studiengänge und Schwerpun...

This volume contains contributions to the 17th International workshop on Graph-Theoretic Concepts in Computer Science (WG '91) held in Southern Bavaria in June 1991. These annual workshops are desi...

This volume contains papers presented at the first international workshop onword equations and related topics held at the University of T}bingen in October 1990. Word equations, the central topic o...

1 Einleitung.- 1.1 Thema und Ziele dieser Arbeit.- 1.2 Aufbau.- 2 Analyse des klassischen Ansatzes zur Software-Bewertung.- 2.1 Software-Maße.- 2.2 Drei konventionelle Software-Maße.- 2.3 Versuche,...

1. Klassifikation dynamischer Systeme.- 1.1 Einleitung.- 1.2 Systembegriff.- 1.3 Klassifikation von Systemen.- 2. Mathematische Beschreibung dynamischer Systeme.- 2.1 Differentialgleichungen.- 2.2 ...

1 Einleitung und Überblick.- 1.1 Drei Fragen.- 1.2 Drei Probleme.- 1.3 Skizze einer Lösung.- 1.4 Grundlegende Annahmen.- 1.5 Überblick.- 2 Empirische und theoretische Ergebnisse.- 2.1 Einleitung.- ...

This volume contains most of the papers presented at the workshop on research directions in high-level parallel programming languages, held at Mont Saint-Michel, France, in June 1991. The motivatio...

This volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4, 1991. The objective of this series of workshops...

Eingeladene Beiträge.- Concepts of Object-Orientation.- Wissensrepräsentation und kognitive Modelle.- Begutachtete Beiträge.- Two Languages to Do the Same?.- Generic Update Operations Keeping Objec...

Protocol Design and Analysis.- A Calculus for Access Control in Distributed Systems.- Deriving the Complete Knowledge of Participants in Cryptographic Protocols.- Systematic Design of Two-Party Aut...

Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Weise Methoden und Techniken für die Modellierung, Darstellung und Implementierung informationsverarbei...

This volume gives the proceedings of the ninth Symposium on Theoretical Aspects of Computer Science (STACS). This annual symposium is held alternately in France and Germany and is organized jointly...

The first ESPRIT programme contained several ambitious projects. of which REQUEST. with its wide brief covering all issues of assessment of quality and reliability of software process and product. ...