GI-6. Jahrestagung : Stuttgart, 29. Sept.-1. Okt. 1976
著者
書誌事項
GI-6. Jahrestagung : Stuttgart, 29. Sept.-1. Okt. 1976
（Informatik-Fachberichte, 5）
Springer-Verlag, 1976
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
目次
Main Lectures.- An Evaluation of Several System Protection Strategies.- Distributed Congestion Control in a Packet Network: The Channel Load Limiter.- ADV - Systementwicklung und Organisation der Aufgabenerfullung.- Anwendungen der graphischen Datenverarbeitung.- Formal Languages, Syntactic Analysis, Semantic, Language Models.- Some Aspects of Random Context Grammars.- Zur Analysenkomplexitat von Grammatiken und Pushdown-Akzeptoren, die Hilfszahler verwenden.- Canonical Bottom-up-Parsing.- Top Down Parsing of Macro Grammars.- How Program Statements Transform Predicates.- Program Proving: Exit and Return Jumps in Structured Programs.- Language Representation Based on Abstract Syntax.- On the Complexity of Decision Problems for Classes of Simple Programs on Strings.- Programming languages. Survey.- Developments in Compiler Writing Systems.- Programming Languages.- Structured Development of a Computer Aided Design System.- AEnderungsfreundlichkeit kommerzieller Anwendungsprogramme.- Data Bases.- An Optimal Evaluation of Boolean Expressions in an On-Line Query System.- The User Specialty Languages System.- Die Bestimmung optimaler Operationsfolgen zur Konversion von Dateien mit mehrfach vorhandenen Datenelementen.- Interactive Data Manipulation and Data Analysis.- A General Application Guidance System.- Die UEberprufung von semantischen Integritatsbedingungen in Datenbanksystemen.- Data Structures.- Binary Search Trees: Average and Worst Case Behavior.- Neueintragung in binaren Suchbaumen durch Verdrangung.- Operating Systems.- Zum optimalen Multiprogramming-Grad bei streuender Programm-Groesse.- Zeitgerechte Prozessorzuteilung in einer harten Realzeit-Umgebung.- On the Relationship of Sector References, Sector Placement and Paging Performance.- UEber eine Kostenfunktion fur den Seitenwechsel unter Berucksichtigung von Datenubertragung und Hauptspeicherbelegung.- The Complexity of Scheduling Algorithms for Three-Processor Systems.- A Model of Process Coordination in Distributed Computer Systems.- Systematic Installation Management (An IMMT Report).- Artificial Intelligence.- Understanding LISP-Programs is Improving LISP-Programs.- Maschinelle symbolische Loesung von Differentialgleichungen.- Hardware.- Asynchronous Interlock Units for Speed-Independent Multiprocessor Systems.- Eine Methode zum Entwurf von Digitalrechnern mit der Programmiersprache Mimola.
「Nielsen BookData」 より
