Abstract is missing.
- On the Structure of Feasible ComputationJuris Hartmanis, Janos Simon. 3-51
- Toward a Methodology for Designing Large Systems and Verifying Their PropertiesPeter G. Neumann. 52-67
- Datschutz und GesellschaftHerbert Fiedler. 68-84
- Trends in Computer Science EducationPeter Naur. 85-93
- How to Teach Computer Science to Students Who Don t Like ScienceS. G. van der Meulen. 94-103
- The Solution of Problems Relative to Probabilistic Automata in the Frame of the Formal Languages TheoryAlberto Bertoni. 107-112
- Eine Charakterisierung der Szilardsprachen und ihre Verwendung als SteuersprachenMatthias Höppner. 113-121
- Comparing Several Ways of Context-Independent Parallel RewritingManfred Kudlek. 122-130
- Das Problem der unendlichen Modi in Algol 68Stephen Heilbrunner. 131-139
- The D-Calculus: A System to Describe the Semantics of Programs Involving Complex Data Types (Summary)Peter Raulefs. 140-152
- Effizienzvergleiche von BeweisprozedurenWolfgang Bibel. 153-160
- Drei Komplexitätsmaße zweistufiger Normalformen Boolescher FunktionenWolfgang Coy. 161-169
- Zwei BASIC-Systeme von unterschiedlicher Struktur - Ein Vergleich ihrer Benutzerfreudlichkeit und EffizienzJürgen Klonk, Hans Albrecht Schmid. 173-182
- Speicherzuordnung an DatenstrukturenFred Kröger. 183-191
- Syntax-Directed Description of Incremental CompilersHans Jürgen Schneider. 192-201
- PLAN2D - Towards a Two-Dimensional Programming LanguageErnst Denert, Reinhold Franck, W. Streng. 202-213
- On a SLR(k)-based Parser System Which Accepts Non-LR(k) GrammarsHans H. Kron, Hans-Jürgen Hoffmann, Gerhard Winkler. 214-223
- A Binary Control Structure and its Relationship to Grammars and Side EffectsHartmut Feuerhahn. 224-232
- A Technique for Parsing Ambiguous LanguagesCornelis H. A. Koster. 233-246
- Optimization of Generated Code by Means of Attributes: Local Elimination of Common Redandant Sub-ExpressionsD. Neel, M. Amirchahy, Monique Mazaud. 247-256
- Code-Optimierung Mittels Attributierter TransformationsgrammatikenReinhard Wilhelm. 257-266
- Die dynamische Datenbasis des HALORD SystemsJ. Martin, Christiane Floyd, Rita Nagel, Peter Schnupp, O. Wörz. 267-276
- Semantische Aspekte der ProgrammoptimierungHelmut Roth. 277-286
- Deadlock Conditions in Well Structured Modular SystemsPaolo Ancilotti, Mario Fusani, Norma Lijtmaer, Costantino Thanos. 289-298
- Über die Lebensdauer von Prozessen in Nichtsequentiellen AlgorithmenKlaus-Peter Löhr. 299-307
- Modularer Aufbau einer Familie von Kooperierenden ProzessenJürn Jürgens. 308-315
- Vermeidung von Verklemmungen in Bewerteten PetrinetzenR. Schroff. 316-325
- P-T-Netze zur numerischen Simulation von asynchronen FlüssenHans Fuss. 326-335
- Elementare Steuerknoten in DatenflußmodellenHans-Jürgen Gottschalk. 336-344
- E-V-Schemata: Ein Ansatz zur formalen Behandlung paralleler ProzesseHans J. Becker, Hagen Vogel. 345-354
- Zur Theorie unendlicher ParallelprozessorenF. Schwenkel. 355-364
- Fail-Softness Criteria in the Realization of a Minicomputer Disk Operating System to be Used in an Open-Shop University EnvironmentJ. Harms. 367-376
- Operating Systems with Characteristics of Portability for MinicomputersR. Rossi, M. Spadoni, Paolo Toth. 377-385
- Trace Driven Studies of Deadlock Control and Job SchedulingStephen W. Sherman, John H. Howard, James C. Browne. 386-395
- Zur Leistungsbewertung von Multiprozessor-StrukturenSiegfried Hoener. 396-405
- Memory and Processor Utilization in Safe StatesSigram Schindler, Steffen Buder. 406-415
- Virtuelle Maschinen in einem allgemeinen Time-Sharing-BetriebssystemMichael Heinz. 416-427
- Ein Kommunikationsbetriebssystem für ein Sternförmiges RechnernetzDieter Baum, H.-D. Schrödter. 428-436
- On Classification Schemes for Computer Systems in the Post-von-Neumann-EraWolfgang Händler. 439-452
- Micro-Programming Measurement Techniques for the Burroughs B1700W. Michael Denny. 453-462
- Über die Wirksamkeit zyklischer Abfertigungsstrategien in RealzeitsystemenPaul J. Kühn, Manfred Langenbach-Belz. 463-472
- Probleme der elektronischen Rechtsdokumentation - dargestellt am Beispiel der Steuerrechtsdatenbank der DATEV e GJoachim Conradi. 475-483
- Entwurf eines Datenbanksystems für normierte Kennwerte von Eisen- und StahlwerkstoffenG. Dahte, K.-H. Dreckmann. 484-493
- Aspects of Generality and Efficiency in Programming Language ImplementationJohannes J. Martin. 494-501
- Zum Problem der Anonymität der Befragten bei Statistischen Datenbanken mit DialogauswertungJan Schlörer. 502-511
- Zugriffssicherung in DatenbanksystemenPeter Haberäcker, M. Lehner. 512-523
- A Query Language for a Relational Data BaseAlain Pirotte, P. Wodon. 524-531
- Konzept des Objektbeschreibungsbaums als Grundstruktur eines graphenorientierten DatenbankmodellsArno Dörrscheidt. 532-541
- Beitrag zur Spezifikation der Funktion von generalisierten DatenbankmanagementsystemenHerbert Weber. 542-553
- A Structured DatabaseSten-Åke Tärnlund. 554-562
- The Partitioning of a Data Base into Subfiles Matching User s QueriesI. M. Osman. 563-575
- A Note on Advanced Software Techniques in Computer GraphicsH. U. Lemke, A. P. Armit. 579-588
- Die Definition generalisierter, graphischer EingabegerämteUlrich Trambacz. 589-605
- Ein Programmsystem zur interaktiven Triangulierung zweidimensionaler Gebiete in der Methode der finiten ElementeF. Brakhagen. 606-610
- GIULIA - Ein System zum Verarbeiten analytisch gegebener FlächenErhard Becker, F. Reutter. 611-620
- Die Anwendung der B-Spline-Approximation in Computer GraphicsWolfgang Straßer. 621-630
- Ein Benutzerorientiertes Informationssystem für landesplanerische ApplikationenK. Ch. Hase. 633-640
- CAMS: Computer Augmented Mapping SystemR. W. Hessdorfer. 641-651
- Computer Aided Design - Some Occupational and Social ImplicationsM. J. W. Cooley. 652-658
- Entwicklung und Einsatz eines interaktiven Konstruktionsplatzes (IKP)Hermann Flessner, Peter Gorny, Heinz-Peter Haake, Werner Hansmann. 659-669
- Bericht von einer dreisemestrigen Seminar-Reihe über ein Thema aus dem Hardware-BereichWolfgang Coy. 673-678
- An Undergraduate Group Project in Software EngineeringS. E. Binns, A. R. West. 679-685
- Ein Dialogprogrammiersystem für den Unterricht in ProgrammiersprachenRolf Langebartels, Oskar Hecker, J. Hinrichs, S. Madalo, Karl-Heinz Rödiger. 686-695
- Berufsbild und Perspektiven des InformatikersHans-Christian Zedlitz. 696-702
- Konzept und Studienplan für eine Fachrichtung Wirtschaftsinformatik im Studiengang Informatik der TU BerlinHolger Franck, Thorsten Spitta. 703-712
- Grundausbildung InformatikChristiane Floyd. 713-715
- Erfahrungen mit dem Versuch eines integrierten Informatik-GrundstudiumsN. Oris. 716-729
- Informatik an allgemeinbildenden SchulenU. Bosler, W. Bookhagen, Oskar Hecker, W. Koch, O. Rabus. 730-739