GI-5. Jahrestagung : Dortmund, 8.-10. Oktober 1975
محفوظ في:
| مؤلف مشترك: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | Livre numérique |
| اللغة: | Allemand Anglais |
| منشور في: |
Berlin [etc.] :
Springer
2005.
Cham : Springer Nature |
| سلاسل: | Lecture notes in computer science
34 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • GI Jahrestagung, 5. Jahrestagung der Gesellschaft für Informatik, Berlin, Springer, 1975, Lecture notes in computer science - LNCS, 3-540-07410-4 |
جدول المحتويات:
- Information systems: A survey by examples
- The problem of requirements analysis for information systems applications
- Speichertechnik und Rechnerarchitektur
- Mathematische Logik und Informatik
- L systems, sequences and languages
- Rechnernetzwerke Möglichkeiten und Grenzen
- Belaestigung der Menschen durch Computer
- Bewertung von Dialogsystemen zum Dokumenten-Retrieval
- Ein Programmsystem zur Erfassung von Daten aus komplex strukturierten Tabellen
- Ein Dialogsystem zur Methodensuche
- Markierte Petrinetze und ? Teilsysteme
- Introducing parallelism into sequential programs
- Well formed programs optimal with respect to structural complexity
- Merging control-flow and data-flow descriptions of structured systems in a unique notation
- The construction of types of abstract machines in SIMAC
- On the semantics of data bases: The semantics of data definition languages
- A system to increase data independence in a hierarchical structure
- Zugriffssynchronisation in Datenbanksystemen
- Problems of the change of operating time of finite automata
- Zur Konstruktion von Decodierautomaten
- Zwei - Zähler - Automaten mit gekoppelten Bewegungen
- Darstellung der Kategorie der determinierten Automaten als algebraische Kategorie
- Experience of a departmental computer support network
- Laborautomatisierung und Experimentkontrolle in einem hierarchisch strukturierten Computerverbund
- Schnelle digitale Komponenten für grafische Sichtgeräte
- Zur Strukturierung mehrstufiger Mustererkennungssysteme
- Sysfap - an integrated system for application programs and data base management
- Automatische Analyse und Prüfung von Eingabedaten
- Implementierung von Zugriffspfaden durch Bitlisten
- Kombination von sackgassenfreier Topdown- und Bottomup-Syntaxanalyse
- Generierung kontextsensitiver Sprachen durch hyperbeschränkte zweischichtige Grammatiken mit einem Metazeichen
- Allgemeine ?-Grammatiken
- Dynamische Speicherverwaltung durch Hardware
- Neue strukturierte Sprachkonzepte zur Prozessynchronisation
- Auswertungsnetze als Hilfsmittel zur Modellbildung Probleme und deren Lösungen
- Eine statistische Analyse der statischen Eigenschaften von PL/I-Programmen
- Pattern matching and call by pattern
- On the design of programming languages including mini algol 68
- Asynchrone Schaltwerksimulation mit Ssm, einer Simulationssprache für Schaltwerke mittels mehrwertiger Logik
- Polynomial separation of ternary functions
- Universelle Klassen O(log(MxN))-testbarer iterativer und sequentieller Schaltungen
- A model of a time-sharing system with two classes of processes
- Zur optimalen Steuerung des Multiprogramminggrades in Rechnersystemen mit virtuellem Speicher und Paging
- Ein zeitdiskretes Wartesystem mit unterbrechenden Prioritaeten
- Ein modernes Netzwerkanalyseprogramm als begleitendes simuliertes Labor zu elektrotechnischen Vorlesungen
- ALTID, eine Sprache für Lehr- und Informationsdialoge
- Entwurf und Einsatz eines portablen RGU-Systems fuer die Lernersteuerung: LEGIS
- SLS/1 : A translator writing system
- An abstract ALGOL 68 machine and its application in a machine independent compiler
- Verschränkung von Compiler-Moduln
- First order logic as a tool to solve and classify problems
- On evaluating recursion
- Analogy categories, virtual machines, and structured programming
- Kritischer Vergleich von Algorithmen für ein Scheduling-Problem
- Performances of "least reference probability" paging algorithm under locality in program behavior
- The logic of protection.