GI — 11. Jahrestagung

In Verbindung mit Third Conference of the European Co-operation in Informatics (ECI) München, 20.–23. Oktober 1981 Proceedings

AvW. Brauer

Häftad, Tyska, 1981

Del i serien Informatik-Fachberichte

351 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1981-10-01
Mått:170 x 244 x 34 mm
Vikt:1 080 g
Format:Häftad
Språk:Tyska
Serie:Informatik-Fachberichte
Antal sidor:619
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540108849

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

Semantik von Programmiersprachen.- Invariance of Approximative Semantics with Respect to Program Transformations.- Description of Parameterized Compiler Modules.- Static-Scope-LISP: Zerlegung Eines Interpretierers in Übersetzer und Laufzeitsystem.- Programs as Transformations of Algebraic Theories (Extended Abstract).- Relating Uniform and Nonuniform Models of Computation.- Semantikdefinition im Rahmen Eines Programmiersystemgenerators.- Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT.- Hoare-Style Proof Systems and Formal Computations.- A Characterization of Program Equivalence in Terms of Hoare’s Logic.- Semantics of Distributed Processes Derived by Translation.- A Proof System for Brinch Hansen’s Distributed Processes.- Implementations of abstract data types and their verification.- GOTOs — A Study in the Algebraic Specification of Programming Languages (Extended Abstract).- An Order Semantics for Non-Deterministic Recursive Program Schemes.- Quantitative Aspekte des Software-Engineering.- Quantifizierung der Qualität von Software.- Ermittlung und Verwendung quantitativer Angaben zur Bewertung der Qualität von Software-Produkten.- Der Einfluß von Strukturierungsmethoden der Anwendungsprogrammierung auf die Durchlaufzeit von Programmen.- Quantitative Ansätze zur Bestimmung der Komplexität von Software-Systemen.- Eine Metrik zur Bewertung der Modularisierung.- Entwurfs- und Entwicklungswerkzeuge für Rechnergestützte Informationssysteme.- ISAC — eine Analyse- und Entwurfsmethode für komplexe Softwaresysteme.- Designing the Conceptual Database Schema — A Framework for an Interactive Approach.- Entwurfs- und Entwicklungswerkzeuge für rechnergestützte Informationssysteme.- Das Data Dictionary : Ein universelles Werkzeug beimAufbau und Einsatz von Informationssystemen.- Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications.- Durch Prädikation zu Objekttypen.- Sichere Systems.- Self-Diagnosis for Parallel Computers.- Verfahren zur Erkennung von Einfach- und Doppelausfällen in Einem Zweikanaligen Schaltkreissystem.- Ein Baukastenkonzept für Fehlertolerante Multi-Mikroprozessorsysteme.- Entwurf eines hochzuverlässigen redundanten Mikrorechnernetzes.- Sicherung Statistischer Datenbanken: Output von Intervallen.- Schutz, Sicherung und Sicherheit Versuch einer Begriffsklärung aus der Sicht der Informatik.- Informatik in der Schule.- Computer an der Schule im Wandel.- Projektbezogenes Arbeiten in Einem Grundkurs Informatik.- Informatik im zweiten Bildungsweg — Erfahrungen mit einem Informatikkurs am Abendgymnasium.- Zum Beginn des Rechnereinsatzes im Informatikunterricht.- Erste Erfahrungen mit Informatik als Abiturprüfungsfach in Niedersachsen.- Berufsqualifizierender Datenverarbeitungsunterricht.- Lernziele im Informatik-Datenverarbeitungs-Organisationslehre-Unterricht kaufmännischer Schulen.- Computer als konviviale Werkzeuge.- Der Bildschirmcomputer im Physikunterricht.- Auswertungen naturwissenschaftlicher Meßreihen und sozialwissenschaftlicher Erhebungen mit Computerunterstützung.- Systematischer Entwurf von PDV-Systemen.- Ein Projektmodell und Werkzeuge zu dessen Unterstützung.- Erfahrungen beim softwareorientierten Entwurf eines portablen Betriebsleitsystems des öffentlichen Personennahverkehrs.- Einige Bemerkungen zum Verständnis Nebenläufiger Prozesse und Systeme.- Der Entwurf Nebenläufiger Systeme mit Handlungs-Entscheidungs-Netzen.- Anforderungen an die Software zur Gestaltung humaner Arbeitsplätze incomputergesteuerten Fertigungsprozessen.- Wie formal soll und darf die Beschreibung des Pflichtenheftes für ein Prozeßautomatisierungssystem sein?.- Aktuelle Entwickkungen auf dem Gebiet Computergestützter Personal-Informationssysteme.- Kontextverluste in Computergestützten Personalinformationssystemen.- Erfahrungen über die Implementierung eines Konzeptes für ein Personalinformationssystem (Persis) im Bereiche des österr. Bundesheeres.- Erfahrungen bei Konzeption, Entwicklung und Einführung des Personalinformations-Systems der IBM Deutschland GMBH.- Integriertes Personalinformationssystem der Siemens AG.- Computergestützte Motivations- und Zufriedenheitsforschung als Instrument der Betrieblichen Personalpolitik.- Personalinformationssysteme und Gewerkschaftspolitik.- Ärztliches Urteil und Methoden der Informatik.- Wesen und Probleme der Urteilsfindung in der Medizin.- Probleme des Einsatzes Entscheidungstheoretischer Methoden in der Medizinischen Diagnostik.- KI-Verfahren zur Unterstützung der Ärztlichen Urteilsbildung.- Probleme der Standardisierung Medizinischer Daten am Beispiel der Erstellung Einer Standardisierten Symptomanamnese.- Modelluntersuchungen zum Flüssigkeitshaushalt des Menschlichen Körpers.- Ein Fuzzy Algorithmus zur Diagnostischen Klassifizierung in der Cranialen Computer-Tomographie (CCT).- Struktur der Wissensbasis Für Ein AI-System zur Unterstützung Ärztlicher Diagnostischer und Therapeutischer Entscheidungen.- Mustererkennung und -wiedererkennung am Beispiel der biochemischen Schilddrüsendiagnostik.

Du kanske också är intresserad av

MetaSoft Primer

Andrzej Blikle, D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth

Häftad, 1987

572 kr

Teoretyczne podstawy fizyki półprzewodników

H. W. Streitwolf, W. Brauer, Andrzej Nadolny

E-bok

1977

1 723 kr

Wissensbasierte Systeme

B. Radig, W. Brauer

E-bok

2013

608 kr

Theoretische Grundlagen der Halbleiterphysik

H.-W. Streitwolf, W. Brauer

E-bok

2022

1 472 kr

Verteilte Künstliche Intelligenz und kooperatives Arbeiten

D. Hernandez, W. Brauer

E-bok

2013

608 kr

Verteilte Künstliche Intelligenz und kooperatives Arbeiten

W. Brauer, D. Hernandez

Häftad, 1991

588 kr

GI — 11. Jahrestagung

W. Brauer

E-bok

2013

329 kr

Wissensbasierte Systeme

W. Brauer, B. Radig

Häftad, 1985

588 kr

Del 119

Theoretische Grundlagen Der Halbleiterphysik

W Brauer, H -W Streitwolf

Inbunden, 1974

1 831 kr

Teoretyczne Podstawy Fizyki Pólprzewodników

W Brauer, H W Streitwolf, Andrzej Nadolny

Inbunden, 1977

2 276 kr

GI — 11. Jahrestagung

In Verbindung mit Third Conference of the European Co-operation in Informatics (ECI) München, 20.–23. Oktober 1981 Proceedings

AvW. Brauer

Häftad, Tyska, 1981

Del i serien Informatik-Fachberichte

351 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1981-10-01
Mått:170 x 244 x 34 mm
Vikt:1 080 g
Format:Häftad
Språk:Tyska
Serie:Informatik-Fachberichte
Antal sidor:619
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540108849

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

Semantik von Programmiersprachen.- Invariance of Approximative Semantics with Respect to Program Transformations.- Description of Parameterized Compiler Modules.- Static-Scope-LISP: Zerlegung Eines Interpretierers in Übersetzer und Laufzeitsystem.- Programs as Transformations of Algebraic Theories (Extended Abstract).- Relating Uniform and Nonuniform Models of Computation.- Semantikdefinition im Rahmen Eines Programmiersystemgenerators.- Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT.- Hoare-Style Proof Systems and Formal Computations.- A Characterization of Program Equivalence in Terms of Hoare’s Logic.- Semantics of Distributed Processes Derived by Translation.- A Proof System for Brinch Hansen’s Distributed Processes.- Implementations of abstract data types and their verification.- GOTOs — A Study in the Algebraic Specification of Programming Languages (Extended Abstract).- An Order Semantics for Non-Deterministic Recursive Program Schemes.- Quantitative Aspekte des Software-Engineering.- Quantifizierung der Qualität von Software.- Ermittlung und Verwendung quantitativer Angaben zur Bewertung der Qualität von Software-Produkten.- Der Einfluß von Strukturierungsmethoden der Anwendungsprogrammierung auf die Durchlaufzeit von Programmen.- Quantitative Ansätze zur Bestimmung der Komplexität von Software-Systemen.- Eine Metrik zur Bewertung der Modularisierung.- Entwurfs- und Entwicklungswerkzeuge für Rechnergestützte Informationssysteme.- ISAC — eine Analyse- und Entwurfsmethode für komplexe Softwaresysteme.- Designing the Conceptual Database Schema — A Framework for an Interactive Approach.- Entwurfs- und Entwicklungswerkzeuge für rechnergestützte Informationssysteme.- Das Data Dictionary : Ein universelles Werkzeug beimAufbau und Einsatz von Informationssystemen.- Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications.- Durch Prädikation zu Objekttypen.- Sichere Systems.- Self-Diagnosis for Parallel Computers.- Verfahren zur Erkennung von Einfach- und Doppelausfällen in Einem Zweikanaligen Schaltkreissystem.- Ein Baukastenkonzept für Fehlertolerante Multi-Mikroprozessorsysteme.- Entwurf eines hochzuverlässigen redundanten Mikrorechnernetzes.- Sicherung Statistischer Datenbanken: Output von Intervallen.- Schutz, Sicherung und Sicherheit Versuch einer Begriffsklärung aus der Sicht der Informatik.- Informatik in der Schule.- Computer an der Schule im Wandel.- Projektbezogenes Arbeiten in Einem Grundkurs Informatik.- Informatik im zweiten Bildungsweg — Erfahrungen mit einem Informatikkurs am Abendgymnasium.- Zum Beginn des Rechnereinsatzes im Informatikunterricht.- Erste Erfahrungen mit Informatik als Abiturprüfungsfach in Niedersachsen.- Berufsqualifizierender Datenverarbeitungsunterricht.- Lernziele im Informatik-Datenverarbeitungs-Organisationslehre-Unterricht kaufmännischer Schulen.- Computer als konviviale Werkzeuge.- Der Bildschirmcomputer im Physikunterricht.- Auswertungen naturwissenschaftlicher Meßreihen und sozialwissenschaftlicher Erhebungen mit Computerunterstützung.- Systematischer Entwurf von PDV-Systemen.- Ein Projektmodell und Werkzeuge zu dessen Unterstützung.- Erfahrungen beim softwareorientierten Entwurf eines portablen Betriebsleitsystems des öffentlichen Personennahverkehrs.- Einige Bemerkungen zum Verständnis Nebenläufiger Prozesse und Systeme.- Der Entwurf Nebenläufiger Systeme mit Handlungs-Entscheidungs-Netzen.- Anforderungen an die Software zur Gestaltung humaner Arbeitsplätze incomputergesteuerten Fertigungsprozessen.- Wie formal soll und darf die Beschreibung des Pflichtenheftes für ein Prozeßautomatisierungssystem sein?.- Aktuelle Entwickkungen auf dem Gebiet Computergestützter Personal-Informationssysteme.- Kontextverluste in Computergestützten Personalinformationssystemen.- Erfahrungen über die Implementierung eines Konzeptes für ein Personalinformationssystem (Persis) im Bereiche des österr. Bundesheeres.- Erfahrungen bei Konzeption, Entwicklung und Einführung des Personalinformations-Systems der IBM Deutschland GMBH.- Integriertes Personalinformationssystem der Siemens AG.- Computergestützte Motivations- und Zufriedenheitsforschung als Instrument der Betrieblichen Personalpolitik.- Personalinformationssysteme und Gewerkschaftspolitik.- Ärztliches Urteil und Methoden der Informatik.- Wesen und Probleme der Urteilsfindung in der Medizin.- Probleme des Einsatzes Entscheidungstheoretischer Methoden in der Medizinischen Diagnostik.- KI-Verfahren zur Unterstützung der Ärztlichen Urteilsbildung.- Probleme der Standardisierung Medizinischer Daten am Beispiel der Erstellung Einer Standardisierten Symptomanamnese.- Modelluntersuchungen zum Flüssigkeitshaushalt des Menschlichen Körpers.- Ein Fuzzy Algorithmus zur Diagnostischen Klassifizierung in der Cranialen Computer-Tomographie (CCT).- Struktur der Wissensbasis Für Ein AI-System zur Unterstützung Ärztlicher Diagnostischer und Therapeutischer Entscheidungen.- Mustererkennung und -wiedererkennung am Beispiel der biochemischen Schilddrüsendiagnostik.