Del 78 i serien Lecture Notes in Economics and Mathematical Systems

GI. Gesellschaft für Informatik e.V. 2. Jahrestagung

Karlsruhe, 2.–4. Oktober 1972

Häftad, Tyska, 1973

AvP. Deussen

769 kr

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

Produktinformation

Utgivningsdatum1973-01-29
Mått178 x 254 x 32 mm
Vikt1 105 g
FormatHäftad
SpråkTyska
SerieLecture Notes in Economics and Mathematical Systems
Antal sidor580
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540061274

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

Hauptvorträge.- Computer System Architecture — A Philosophy of Design.- Informationssysteme.- Hardware-Architecture and Computer Organisation.- Methoden der syntaktischen Analyse bei formalen Sprachen.- Automaten- und Graphentheorie, Formale Sprachen.- Das Transitionsmonoid bei der Parallelkomposition von endlichen Automaten.- Klassifizierung von primitiv-rekursiven Transformationen und Automatentransduktionen.- Untersuchungen über haltende Programme für Turing-Maschinen mit 2 Zeichen und bis zu 5 Befehlen.- An Algorithm for Coloring the Vertices of an Arbitrary Finite Graph.- A Necessary and Sufficient Condition for Chomsky-Productions over Partially Ordered Symbol Sets.- Die Größe des minimalen Analysators einer kontextfreien Grammatik.- Programmschemata mit booleschen Unterprogrammen.- Programmiersysteme.- A Hierarchy of Control Structures.- Mehrdeutige Entscheidungstabellen.- Design of a Generalized Audit Command Language (ACL).- Ein Programmiersystem zur problemnahen Erstellung adaptierter Software.- DIALIS — Ein einfaches Dialogsystem für eine Listensprache.- Messung der Effizienz eines einfachen „Incremental Compiler“.- The Structures of the NCC SIMULA COMPILERS and Bench Mark Comparisons with Other Major Languages.- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 1.- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 2.- Betriebssysteme.- Verallgemeinerung -und Implementierung von Synchronisationsoperationen.- Aufruf von Systemleistungen in einem schichtenweise gegliederten Betriebssystem.- Übersetzung von Kommandosprachen.- Modularity of Non-Sequential Programs.- Classes of Optimal Schedules for Multiprocessor Systems.- Durchsatzoptimale Rechnerkern- und Transportkanalvergabe für einRechnermodell mit 2 Arbeitsspeicherplätzen.- Simulation von Betriebssoftware auf einer virtuellen PL/1-Maschine.- Einplanung eines leistungsfähigen Software-Meßsystemes bei der Entwicklung eines Betriebssystemes.- Analysis of Demand Paging Algorithms.- Einige Methoden zur Vorhersage des Verhaltens kleiner Systeme mit virtuellem Speicher.- Funktionsklassen und dynamische Speicherverwaltung in Realzeit-Datenverarbeitungssystemen.- Modell eines Auftragssystems für die Zeitdienstverwaltung eines Prozeßrechners.- Auftragsverkehr über einen generellen Auftragspuffer bei Prozeßrechnersystemen.- Graphische Systeme.- Sprach- und Datenstruktur des Systems GRAPHIC.- Die Graphik-Software des TR 440.- FICHE-Software und COM-Programmierung.- Zentraleinheiten und Entwicklungsautomatisierung.- Das Problem der Assoziativspeicherdurchlaufzeit bei Paging- Verfahren im Zehn-Nanosekundenbereich.- Einige Untersuchungen zur Hardware-Realisierung von Software — Operatoren.- Performance Evaluation of Processor Design.- Zur Optimierung von Zuverlässigkeit und Nutzungsgrad von Systemen mit Selbstdiagnose.- Realisierung des Streaming-Konzepts.- Durchsatzsteigerung in Rechenanlagen bei Verwendung von kleinen Pufferspeichern.- Experimentiersystem für ein technisches Informatikpraktikum.- Plazieren und Pseudoleitungsfinden bei Schaltkreiskarten.- Interaktiver Einsatz von Sichtgeräten beim rechnerunterstützten Entwurf von Großrechner-Leiterplatten mit Hilfe des Programmsystems ZEISIG.- Die Grundlagen des Programms ATEDIS.- Informationssysteme.- NEOS — Ein Ansatz zur Lösung einiger offener Probleme bei der Kozeption von Datenbanksystemen.- Verfahren zur Sicherung und Wiederherstellung von Datenbeständen.- Juristisches Informationssystem: Eine Fallstudie für ein Informationssystemgroßen Umfangs.- Das „Pflegeproblem“ bei Information-Retrieval-Systeinen.- Formalisieren von Inhalt natürlicher Sprachen durch Deutervalenzen und Deuterkriterien.- Wortstamm-Retrieval in TELDOK 440.- Dynamische Dokumentenräume.- BIBLIS — Ein Bibliotheks-, Informations- und Verwaltungssystem.- Prozessinformatik.- Aufbau betriebssicherer und bedienungsfreundlicher Mehrrechnersysteme zur Prozeßüberwachung.- KOSE — Eine Dialogsprache für Prozeßrechner.- InformationsdarStellung auf Sichtgeräten.- Der Großrechner als Hilfsmittel beim Erstellen und Testen lauffähiger Programme für Prozeßrechner.- Die Prozeßprogrammiersprache PEARL — Systembeschreibung und E/A-Konzept.- Das Task- und Timing-Konzept von PEARL.- Adressen der Autoren.

Du kanske också är intresserad av

Introduction to Mathematical Logic

Hans Hermes

Häftad, 1973

719 kr

Cornea

W. Jaeger

Häftad, 1973

769 kr

Cho'rti Mayan Texts

John G. Fought, Sarah S. Fought

Inbunden, 1973

1 309 kr

Del 99

Halbgruppen und Automaten

P. Deussen

Häftad, 1971

769 kr

Theoretical Computer Science

P. Deussen

Häftad, 1981

739 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 3

Skinn

Sara Strömberg

Pocket, 2024

79 kr129 kr

Del 78 i serien Lecture Notes in Economics and Mathematical Systems

GI. Gesellschaft für Informatik e.V. 2. Jahrestagung

Karlsruhe, 2.–4. Oktober 1972

Häftad, Tyska, 1973

AvP. Deussen

769 kr

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

Produktinformation

Utgivningsdatum1973-01-29
Mått178 x 254 x 32 mm
Vikt1 105 g
FormatHäftad
SpråkTyska
SerieLecture Notes in Economics and Mathematical Systems
Antal sidor580
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540061274

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

Hauptvorträge.- Computer System Architecture — A Philosophy of Design.- Informationssysteme.- Hardware-Architecture and Computer Organisation.- Methoden der syntaktischen Analyse bei formalen Sprachen.- Automaten- und Graphentheorie, Formale Sprachen.- Das Transitionsmonoid bei der Parallelkomposition von endlichen Automaten.- Klassifizierung von primitiv-rekursiven Transformationen und Automatentransduktionen.- Untersuchungen über haltende Programme für Turing-Maschinen mit 2 Zeichen und bis zu 5 Befehlen.- An Algorithm for Coloring the Vertices of an Arbitrary Finite Graph.- A Necessary and Sufficient Condition for Chomsky-Productions over Partially Ordered Symbol Sets.- Die Größe des minimalen Analysators einer kontextfreien Grammatik.- Programmschemata mit booleschen Unterprogrammen.- Programmiersysteme.- A Hierarchy of Control Structures.- Mehrdeutige Entscheidungstabellen.- Design of a Generalized Audit Command Language (ACL).- Ein Programmiersystem zur problemnahen Erstellung adaptierter Software.- DIALIS — Ein einfaches Dialogsystem für eine Listensprache.- Messung der Effizienz eines einfachen „Incremental Compiler“.- The Structures of the NCC SIMULA COMPILERS and Bench Mark Comparisons with Other Major Languages.- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 1.- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 2.- Betriebssysteme.- Verallgemeinerung -und Implementierung von Synchronisationsoperationen.- Aufruf von Systemleistungen in einem schichtenweise gegliederten Betriebssystem.- Übersetzung von Kommandosprachen.- Modularity of Non-Sequential Programs.- Classes of Optimal Schedules for Multiprocessor Systems.- Durchsatzoptimale Rechnerkern- und Transportkanalvergabe für einRechnermodell mit 2 Arbeitsspeicherplätzen.- Simulation von Betriebssoftware auf einer virtuellen PL/1-Maschine.- Einplanung eines leistungsfähigen Software-Meßsystemes bei der Entwicklung eines Betriebssystemes.- Analysis of Demand Paging Algorithms.- Einige Methoden zur Vorhersage des Verhaltens kleiner Systeme mit virtuellem Speicher.- Funktionsklassen und dynamische Speicherverwaltung in Realzeit-Datenverarbeitungssystemen.- Modell eines Auftragssystems für die Zeitdienstverwaltung eines Prozeßrechners.- Auftragsverkehr über einen generellen Auftragspuffer bei Prozeßrechnersystemen.- Graphische Systeme.- Sprach- und Datenstruktur des Systems GRAPHIC.- Die Graphik-Software des TR 440.- FICHE-Software und COM-Programmierung.- Zentraleinheiten und Entwicklungsautomatisierung.- Das Problem der Assoziativspeicherdurchlaufzeit bei Paging- Verfahren im Zehn-Nanosekundenbereich.- Einige Untersuchungen zur Hardware-Realisierung von Software — Operatoren.- Performance Evaluation of Processor Design.- Zur Optimierung von Zuverlässigkeit und Nutzungsgrad von Systemen mit Selbstdiagnose.- Realisierung des Streaming-Konzepts.- Durchsatzsteigerung in Rechenanlagen bei Verwendung von kleinen Pufferspeichern.- Experimentiersystem für ein technisches Informatikpraktikum.- Plazieren und Pseudoleitungsfinden bei Schaltkreiskarten.- Interaktiver Einsatz von Sichtgeräten beim rechnerunterstützten Entwurf von Großrechner-Leiterplatten mit Hilfe des Programmsystems ZEISIG.- Die Grundlagen des Programms ATEDIS.- Informationssysteme.- NEOS — Ein Ansatz zur Lösung einiger offener Probleme bei der Kozeption von Datenbanksystemen.- Verfahren zur Sicherung und Wiederherstellung von Datenbeständen.- Juristisches Informationssystem: Eine Fallstudie für ein Informationssystemgroßen Umfangs.- Das „Pflegeproblem“ bei Information-Retrieval-Systeinen.- Formalisieren von Inhalt natürlicher Sprachen durch Deutervalenzen und Deuterkriterien.- Wortstamm-Retrieval in TELDOK 440.- Dynamische Dokumentenräume.- BIBLIS — Ein Bibliotheks-, Informations- und Verwaltungssystem.- Prozessinformatik.- Aufbau betriebssicherer und bedienungsfreundlicher Mehrrechnersysteme zur Prozeßüberwachung.- KOSE — Eine Dialogsprache für Prozeßrechner.- InformationsdarStellung auf Sichtgeräten.- Der Großrechner als Hilfsmittel beim Erstellen und Testen lauffähiger Programme für Prozeßrechner.- Die Prozeßprogrammiersprache PEARL — Systembeschreibung und E/A-Konzept.- Das Task- und Timing-Konzept von PEARL.- Adressen der Autoren.

Du kanske också är intresserad av

Introduction to Mathematical Logic

Hans Hermes

Häftad, 1973

719 kr

Cornea

W. Jaeger

Häftad, 1973

769 kr

Cho'rti Mayan Texts

John G. Fought, Sarah S. Fought

Inbunden, 1973

1 309 kr

Del 99

Halbgruppen und Automaten

P. Deussen

Häftad, 1971

769 kr

Theoretical Computer Science

P. Deussen

Häftad, 1981

739 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

Del 3

Skinn

Sara Strömberg

Pocket, 2024

79 kr129 kr

GI. Gesellschaft für Informatik e.V. 2. Jahrestagung

Karlsruhe, 2.–4. Oktober 1972

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

GI. Gesellschaft für Informatik e.V. 2. Jahrestagung

Karlsruhe, 2.–4. Oktober 1972

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

GI. Gesellschaft für Informatik e.V. 2. Jahrestagung

Karlsruhe, 2.–4. Oktober 1972

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av