GI — 11. Jahrestagung - Informatik-Fachberichte
Latest Publications

TOTAL DOCUMENTS

61

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540108849, 9783662010891

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Characterization of Program Equivalence in Terms of Hoare’s Logic

GI — 11. Jahrestagung - Informatik-Fachberichte ◽

10.1007/978-3-662-01089-1_9 ◽

1981 ◽

pp. 72-77

Author(s):

J. A. Bergstra ◽

J. Terlouw

Keyword(s):

Program Equivalence

Download Full-text

Mustererkennung und -wiedererkennung am Beispiel der biochemischen Schilddrüsendiagnostik

GI — 11. Jahrestagung - Informatik-Fachberichte ◽

10.1007/978-3-662-01089-1_61 ◽

1981 ◽

pp. 614-617

Author(s):

H. Sator ◽

W. Vogt ◽

D. Nagel ◽

M. Knedel

Download Full-text

Struktur der Wissensbasis Für Ein AI-System zur Unterstützung Ärztlicher Diagnostischer und Therapeutischer Entscheidungen

GI — 11. Jahrestagung - Informatik-Fachberichte ◽

10.1007/978-3-662-01089-1_60 ◽

1981 ◽

pp. 606-613 ◽

Cited By ~ 1

Author(s):

Werner Horn ◽

Walter Buchstaller ◽

Robert Trappl

Download Full-text

Probleme des Einsatzes Entscheidungstheoretischer Methoden in der Medizinischen Diagnostik

GI — 11. Jahrestagung - Informatik-Fachberichte ◽

10.1007/978-3-662-01089-1_55 ◽

1981 ◽

pp. 557-567

Author(s):

N. Victor

Download Full-text

Computergestützte Motivations- und Zufriedenheitsforschung als Instrument der Betrieblichen Personalpolitik

GI — 11. Jahrestagung - Informatik-Fachberichte ◽

10.1007/978-3-662-01089-1_52 ◽

1981 ◽

pp. 527-541 ◽

Cited By ~ 1

Author(s):

Karl-Friedrich Ackermann

Download Full-text

Wie formal soll und darf die Beschreibung des Pflichtenheftes für ein Prozeßautomatisierungssystem sein?

GI — 11. Jahrestagung - Informatik-Fachberichte ◽

10.1007/978-3-662-01089-1_47 ◽

1981 ◽

pp. 482-490 ◽

Cited By ~ 2

Author(s):

R. Lauber ◽

S. Jovalekić

Download Full-text

Ein Projektmodell und Werkzeuge zu dessen Unterstützung

GI — 11. Jahrestagung - Informatik-Fachberichte ◽

10.1007/978-3-662-01089-1_42 ◽

1981 ◽

pp. 433-439

Author(s):

Peter Hruschka

Download Full-text

Computer an der Schule im Wandel

GI — 11. Jahrestagung - Informatik-Fachberichte ◽

10.1007/978-3-662-01089-1_32 ◽

1981 ◽

pp. 351-358

Author(s):

Karl-August Keil

Download Full-text

Entwurf eines hochzuverlässigen redundanten Mikrorechnernetzes

GI — 11. Jahrestagung - Informatik-Fachberichte ◽

10.1007/978-3-662-01089-1_29 ◽

1981 ◽

pp. 317-326

Author(s):

F. Fetsch ◽

L. Gmeiner ◽

U. Voges

Download Full-text

Das Data Dictionary : Ein universelles Werkzeug beim Aufbau und Einsatz von Informationssystemen

GI — 11. Jahrestagung - Informatik-Fachberichte ◽

10.1007/978-3-662-01089-1_23 ◽

1981 ◽

pp. 242-254

Author(s):

Peter J. A. Reusch

Keyword(s):

Data Dictionary

Download Full-text