Informatik (15 757 Artikel)

This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 19...

This volume is based on the "International Workshop on High Performance Transaction Systems" held in the Asilomar Conference Center, September 28-30, 1987. Many of the problems identified during th...

Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines Datenbanksystems zu spezifizieren. Um festzulegen, welche Folgen von Datenbankzu...

The subject of this book is the synthesis of synchronous hardware. The purpose is to provide a firm mathematical foundation for the so-called space-time mapping methods for hardware synthesis that ...

This volume was primarily intended to present selected papers from the workshop on Theory and Applications of Nested Relations and Complex Objects, held in Darmstadt, FRG, from April 6-8, 1987. Oth...

Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Unterte...

The present volume contains the proceedings of , a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Peresl...

This volume is a collection of the most important contributions presented at the second MFDBS conference held in Visegrád, Hungary, June 26-30, 1989. The papers selected from more than one hundred ...

Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the organization of this second issue known as PARL...

Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the organization of this second issue known as PARL...

Die hohe Komplexität elektronischer Moduln und Systeme, aber auch die immer kürzer werdenden Innovationszyklen machen den Einsatz rechnerunterstützter Entwurfsverfahren (CAD) unentbehrlich. Lagen d...

Seit 1986 trifft sich in Mannheim jährlich auf Einladung des Vereins zur wissenschaftlichen Weiterbildung der Universität Mannheim e.V. die deutschsprachige Supercomputergemeinde - Anwender, Betrei...

This volume contains 24 papers presented at the Sixth International Workshop on Database Machines. The papers cover a wide spectrum of topics including: system architectures, storage structures, as...

Eröffnungsvortrag.- Plenarvorträge.- KI-Anwendungen und Expertensysteme.- Decision Support Systems und Planungssprachen.- Anwendungsberichte aus der Praxis.- OR im Personal Computing.- Simulation u...

Branching Programs are, besides Boolean circuits, the most important nonuniform model of computation. This volume gives a survey of the latest research in this field. It presents a branching progra...