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 Aufgabenerfüllung.- Anwendungen der graphischen Datenverarbeitung.- Formal Languages, Syntactic Analysis, Semantic, Language Models.- Some Aspects of Random Context Grammars.- Zur Analysenkomplexität von Grammatiken und Pushdown-Akzeptoren, die Hilfszähler 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.- Änderungsfreundlichkeit 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 Überprüfung von semantischen Integritätsbedingungen in Datenbanksystemen.- Data Structures.- Binary Search Trees: Average and Worst Case Behavior.- Neueintragung in binären Suchbäumen durch Verdrängung.- Operating Systems.- Zum optimalen Multiprogramming-Grad bei streuender Programm-Größe.- Zeitgerechte Prozessorzuteilung in einer harten Realzeit-Umgebung.- On the Relationship of Sector References, Sector Placement and Paging Performance.- Über eineKostenfunktion für den Seitenwechsel unter Berücksichtigung von Datenübertragung 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 Lösung von Differentialgleichungen.- Hardware.- Asynchronous Interlock Units for Speed-Independent Multiprocessor Systems.- Eine Methode zum Entwurf von Digitalrechnern mit der Programmiersprache Mimola.
