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

Karlsruhe, 2.–4. Oktober 1972

Häftad, Tyska, 1973

759 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

Introduction to Mathematical Logic

709 kr

Cornea

Del 71

Cornea

759 kr

Cho'rti Mayan Texts

Cho'rti Mayan Texts

John G. Fought, John G Fought, Sarah S. Fought, Sarah S Fought

1 549 kr

Halbgruppen und Automaten

Halbgruppen und Automaten

759 kr

Theoretical Computer Science

Del 104

Theoretical Computer Science

739 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

219 kr259 kr

Hon som blev kvar

Hon som blev kvar

79 kr125 kr

Julkalas, Alfons Åberg

Nyhet

Julkalas, Alfons Åberg

Gunilla Bergström

179 kr

Cuddly Christmas. Mysig och gullig Cozy Coloring målarbok från Coloring Book Cafe

Cuddly Christmas. Mysig och gullig Cozy Coloring målarbok från Coloring Book Cafe

Coloring Book Cafe

99 kr

Sjömannen : Spänningsberättelser

Nyhet

Sjömannen : Spänningsberättelser

289 kr319 kr