UID:
almahu_9948192517502882
Umfang:
X, 488 S.
,
online resource.
Ausgabe:
1st ed. 1976.
ISBN:
9783642952890
Serie:
Informatik-Fachberichte, 5
Anmerkung:
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.
In:
Springer eBooks
Weitere Ausg.:
Printed edition: ISBN 9783540079125
Sprache:
Deutsch
DOI:
10.1007/978-3-642-95289-0
URL:
https://doi.org/10.1007/978-3-642-95289-0
