Del i serien Informatik-Fachberichte

GI — 11. Jahrestagung

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

Häftad, Tyska, 1981

AvW. Brauer

459 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1981-10-01
Mått170 x 244 x 34 mm
Vikt1 080 g
FormatHäftad
SpråkTyska
SerieInformatik-Fachberichte
Antal sidor619
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540108849

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

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

739 kr

Verteilte Künstliche Intelligenz und kooperatives Arbeiten

W. Brauer, D. Hernandez

Häftad, 1991

769 kr

Net Theory and Applications

W. Brauer

Häftad, 1980

599 kr

Wissensbasierte Systeme

W. Brauer, B. Radig

Häftad, 1985

769 kr

Del 119

Theoretische Grundlagen Der Halbleiterphysik

W Brauer, H -W Streitwolf

Inbunden, 1974

2 379 kr

Teoretyczne Podstawy Fizyki Pólprzewodników

W Brauer, H W Streitwolf, Andrzej Nadolny

Inbunden, 1977

2 959 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Sarah J. Maas - A Court of Splintered Harmony, Häftad

Nyhet

Del 6

A Court of Splintered Harmony

Sarah J. Maas

Häftad, 2026

259 kr

Nyhet

Del 4

Sot

Sara Strömberg

Pocket, 2026

79 kr129 kr

Del i serien Informatik-Fachberichte

GI — 11. Jahrestagung

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

Häftad, Tyska, 1981

AvW. Brauer

459 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1981-10-01
Mått170 x 244 x 34 mm
Vikt1 080 g
FormatHäftad
SpråkTyska
SerieInformatik-Fachberichte
Antal sidor619
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540108849

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

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

739 kr

Verteilte Künstliche Intelligenz und kooperatives Arbeiten

W. Brauer, D. Hernandez

Häftad, 1991

769 kr

Net Theory and Applications

W. Brauer

Häftad, 1980

599 kr

Wissensbasierte Systeme

W. Brauer, B. Radig

Häftad, 1985

769 kr

Del 119

Theoretische Grundlagen Der Halbleiterphysik

W Brauer, H -W Streitwolf

Inbunden, 1974

2 379 kr

Teoretyczne Podstawy Fizyki Pólprzewodników

W Brauer, H W Streitwolf, Andrzej Nadolny

Inbunden, 1977

2 959 kr

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Nyhet

Del 6

A Court of Splintered Harmony

Sarah J. Maas

Häftad, 2026

259 kr

Nyhet

Del 4

Sot

Sara Strömberg

Pocket, 2026

79 kr129 kr

GI — 11. Jahrestagung

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

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

GI — 11. Jahrestagung

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

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

GI — 11. Jahrestagung

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

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av