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 eine Kostenfunktion 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.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
رده بندی کنگره
شماره رده
QA76
نشانه اثر
.
H473
1976
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )