


default search action
6. GI Jahrestagung 1976: Stuttgart
- Erich J. Neuhold:

GI - 6. Jahrestagung, Stuttgart, 29. September - 1. Oktober 1976, Proceedings. Informatik-Fachberichte 5, Springer 1976, ISBN 3-540-07912-2
Main Lectures
- George Radin:

An Evaluation of Several System Protection Strategies. 1-15 - Louis Pouzin:

Distributed Congestion Control in a Packet Network: The Channel Load Limiter. 16-21 - P. Schmitz:

ADV - Systementwicklung und Organisation der Aufgabenerfüllung. 22-42 - José L. Encarnação:

Anwendungen der graphischen Datenverarbeitung. 43-62
Formal Languages, Syntactic Analysis, Semantic, Language Models
- Grzegorz Rozenberg, Sebastiaan H. von Solms:

Some Aspects of Random Context Grammars. 63-75 - Jürgen Albert, W. Erni:

Zur Analysenkomplexität von Grammatiken und Pushdown-Akzeptoren, die Hilfszähler verwenden. 76-85 - Otto Mayer:

Canonical Bottom-up-Parsing. 86-94 - Manfred Heydthausen, Kurt Mehlhorn:

Top Down Parsing of Macro Grammars. 95-108 - Leendert Ammeraal:

How Program Statements Transform Predicates. 109-120 - Giorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone:

Program Proving: Exit and Return Jumps in Structured Programs. 121-132 - Hans Diel:

Language Representation Based on Abstract Syntax. 133-147 - Giorgio Ausiello, Marina Moscarini:

On the Complexity of Decision Problems for Classes of Simple Programs on Strings. 148-163
Programming Languages, Survey
- Kari-Jouko Räihä, Mikko Saarinen:

Developments in Compiler Writing Systems. 164-178
Programming Languages
- Eliezer Kantorowitz:

Structured Development of a Computer Aided Design System. 179-194 - Hubert Österle:

Änderungsfreundlichkeit kommerzieller Anwendungsprogramme. 195-210
Data Bases
- Michael Z. Hanani:

An Optimal Evaluation of Boolean Expressions in an On-Line Query System. 211-220 - R. Kogon, Dieter Lattermann, Hubert Lehmann, Nikolaus Ott, Magdalena Zoeppritz:

The User Specialty Languages System. 221-235 - M. Deck, Theo Härder, J. Reus:

Die Bestimmung optimaler Operationsfolgen zur Konversion von Dateien mit mehrfach vorhandenen Datenelementen. 236-250 - R. Hartwig:

Interactive Data Manipulation and Data Analysis. 251-266 - R. Erbe, Georg Walch:

A General Application Guidance System. 267-281 - Hartmut Wedekind:

Die Überprüfung von semantischen Integritätsbedingungen in Datenbanksystemen. 282-300
Data Structures
- Reiner Güttler, Kurt Mehlhorn, Wolfgang Schneider, Norbert Wernet:

Binary Search Trees: Average and Worst Case Behavior. 301-313 - C. Pokorny:

Neueintragung in binären Suchbäumen durch Verdrängung. 314-326
Operating Systems
- Bernhard Walke:

Zum optimalen Multiprogramming-Grad bei streuender Programm-Größe. 327-342 - R. Henn:

Zeitgerechte Prozessorzuteilung in einer harten Realzeit-Umgebung. 343-359 - Donald R. Innes:

On the Relationship of Sector References, Sector Placement and Paging Performance. 360-372 - Günther Weber:

Über eine Kostenfunktion für den Seitenwechsel unter Berücksichtigung von Datenübertragung und Hauptspeicherbelegung. 373-387 - Sigram Schindler, Harald Lüdtke:

The Complexity of Scheduling Algorithms for Three-Processor Systems. 388-397 - Paolo Ancilotti:

A Model of Process Coordination in Distributed Computer Systems. 398-411 - Heinz Beilner, Pieter S. Kritzinger:

Systematic Installation Management (An IMMT Report). 412-426
Artificial Intelligence
- Harald Wertz:

Understanding Lisp-Programs is Improving Lisp-Programs. 427-441 - Peter Schmidt:

Maschinelle symbolische Lösung von Differentialgleichungen. 442-456
Hardware
- Paolo Corsini:

Asynchronous Interlock Units for Speed-Independent Multiprocessor Systems. 457-464 - Gerhard Zimmermann:

Eine Methode zum Entwurf von Digitalrechnern mit der Programmiersprache MIMOLA. 465-478

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














