GI Gesellschaft für Informatik e. V.

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 On Covers and Precedence Analysis
3. Altmetric Badge
   Chapter 2 Computer Architecture Comments on the State-of-the Art
4. Altmetric Badge
   Chapter 3 A Survey of Mathematical Results in Flow-Time Scheduling for Computer Systems
5. Altmetric Badge
   Chapter 4 Controllability-Observability Type Duality Relations of Finite-State Machines
6. Altmetric Badge
   Chapter 5 On the Problem of Automata Set Representation
7. Altmetric Badge
   Chapter 6 On oriented hypergraphs and on dynamics of some discrete systems
8. Altmetric Badge
   Chapter 7 Optimale Algorithmen zum Transponieren Quadratischer Matrizen
9. Altmetric Badge
   Chapter 8 Ein Test der Einbettbarkeit Markierter Graphen Unter Verwendung Einer Hash-Codierung
10. Altmetric Badge
    Chapter 9 Towards an Automatic Generation of Interpreters
11. Altmetric Badge
    Chapter 10 Improvements to Earley’s Context-Free Parser
12. Altmetric Badge
    Chapter 11 The Boolean Closures of the Deterministic and Nondeterministic Context-Free Languages
13. Altmetric Badge
    Chapter 12 Eine Theorie der Semantik von Programmiersprachen
14. Altmetric Badge
    Chapter 13 Induction Principles for Context-Free Languages
15. Altmetric Badge
    Chapter 14 About the Completeness of APL
16. Altmetric Badge
    Chapter 15 Main Degrees of Complexity of Computer Programs and Computable Functions
17. Altmetric Badge
    Chapter 16 Kontext-Sensitive Generierung Beim Programmieren Durch Auswählen
18. Altmetric Badge
    Chapter 17 Zur Charakterisierung von Dialogsprachen
19. Altmetric Badge
    Chapter 18 Modularität Durch ‚Konzeptklassen‘
20. Altmetric Badge
    Chapter 19 L o , The Basic Layer of the Wide Spectrum Language L
21. Altmetric Badge
    Chapter 20 Gezielte Portabilität von Software
22. Altmetric Badge
    Chapter 21 Entwurf und Realisierung des Lektor-Systems
23. Altmetric Badge
    Chapter 22 Zur Modellierung von Prozessystemen
24. Altmetric Badge
    Chapter 23 Dynamische Betriebsmittelverwaltung und Verklemmungsvermeidung in geschichteten Prozeßsystemen
25. Altmetric Badge
    Chapter 24 Variable Sequentialisierungsstrukturen und Deren Hardwareunterstuetzte Realisierung
26. Altmetric Badge
    Chapter 25 Optimale Zerlegung von Computerprogrammen Durch Zerlegung von Graphen
27. Altmetric Badge
    Chapter 26 Systemic Aspects of Musical Activity
28. Altmetric Badge
    Chapter 27 Ein Rechner mit der höheren Maschinensprache BASIC
29. Altmetric Badge
    Chapter 28 Hierarchy of Interpreters for Modelling Complex Digital Systems
30. Altmetric Badge
    Chapter 29 Erzeugung von Brauchbaren Testfolgen mit Boolescher Differenz und Testgraphen
31. Altmetric Badge
    Chapter 30 Die Methode der Ausgewogenen Abweichung; Ein Hilfsmittel zur Zielstrebigen Leistungsverbesserung von Rechensystemen
32. Altmetric Badge
    Chapter 31 An Interpretative Performance Monitor for Time Sharing System Evaluation
33. Altmetric Badge
    Chapter 32 Messung, Simulation und Berechnung der Abhängigkeiten des Auftragsdurchsatzes
34. Altmetric Badge
    Chapter 33 Vergleich Zweier Warteschlangenmodelle für Realzeit-Rechnersysteme mit Interrupt- bzw. Takt-Gesteuerter Übernahme von Anforderungen aus der Peripherie
35. Altmetric Badge
    Chapter 34 Modell für den Befehlsablauf in Einer Rechenanlage: Eine Serverkette mit Vorgebbarer Varianz der Belegungsdauern
36. Altmetric Badge
    Chapter 35 Optimale Nachladestrategien Unter Berücksichtigung der Programmstruktur
37. Altmetric Badge
    Chapter 36 Resultatspezifizierende Handhabung von Datensystemen
38. Altmetric Badge
    Chapter 37 Gibt es ein Alternativkonzept zu den Datenbanktechniken der Data Base Task Group (CODASYL)?
39. Altmetric Badge
    Chapter 38 Reduction of Retrieval Costs for on-line Retrieval Systems
40. Altmetric Badge
    Chapter 39 Datenstrukturen und Q-Systeme — Eine Mathematische Studie
41. Altmetric Badge
    Chapter 40 Lose Kopplung in Informationssystemen
42. Altmetric Badge
    Chapter 41 Probleme bei der Signaldetektion mit Einem Prozessrechner
43. Altmetric Badge
    Chapter 42 Verfahren zur Nachrichtenreduktion bei der Systemsicherung mit Prozeßrechnern
44. Altmetric Badge
    Chapter 43 Die Anwendung des Prinzips der Mikroprogrammierung auf das Ein-/Ausgabesystem Eines Prozessrechnerorganisationsprogramms
45. Altmetric Badge
    Chapter 44 Automatische Indexierung Durch Linguistische Syntaxanalyse
46. Altmetric Badge
    Chapter 45 Linguistische Algorithmen zur Deflexion als Mittel zum Automatischen Indexieren im Deutschen
47. Altmetric Badge
    Chapter 46 Kompetenz- oder Performanzmodellierung? Einige Psycholinguistische Vorüberlegungen zur Konstruktion von Dialogsystemen und -Sprachen
48. Altmetric Badge
    Chapter 47 Simwap and Tetrasim — Two Examples of Application Oriented Software, Developed on the Basis of the Simula Language
49. Altmetric Badge
    Chapter 48 Darstellungsverfahren für das Computerunterstützte Konstruieren
50. Altmetric Badge
    Chapter 49 Eine Wortsprache zur Beschreibung Technischer Objekte
51. Altmetric Badge
    Chapter 50 Verfahren zur Simulation Sozioökonomischer Systeme