Bücher Wenner
Gaea Schoeters liest aus TROPHÄE
28.10.2024 um 19:30 Uhr
GI - 5. Jahrestagung
Dortmund, 8.-10. Oktober 1975
von J. Mühlbacher
Verlag: Springer Berlin Heidelberg
Reihe: Lecture Notes in Computer Science Nr. 34
Hardcover
ISBN: 978-3-540-07410-6
Auflage: 1975
Erschienen am 01.09.1975
Sprache: Deutsch
Format: 235 mm [H] x 155 mm [B] x 42 mm [T]
Gewicht: 1147 Gramm
Umfang: 772 Seiten

Preis: 31,00 €
keine Versandkosten (Inland)


Dieser Titel wird erst bei Bestellung gedruckt. Eintreffen bei uns daher ca. am 15. Oktober.

Der Versand innerhalb der Stadt erfolgt in Regel am gleichen Tag.
Der Versand nach außerhalb dauert mit Post/DHL meistens 1-2 Tage.

31,00 €
merken
zum E-Book (PDF) 22,99 €
klimaneutral
Der Verlag produziert nach eigener Angabe noch nicht klimaneutral bzw. kompensiert die CO2-Emissionen aus der Produktion nicht. Daher übernehmen wir diese Kompensation durch finanzielle Förderung entsprechender Projekte. Mehr Details finden Sie in unserer Klimabilanz.
Inhaltsverzeichnis

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.


andere Formate
weitere Titel der Reihe