home libri books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro
ARGOMENTO:  BOOKS > INFORMATICA > TESTI GENERALI

mühlbacher j. (curatore) - gi - 5. jahrestagung

GI - 5. Jahrestagung Dortmund, 8.-10. Oktober 1975




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
31,98 €



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Tedesco
Editore:

Springer

Pubblicazione: 09/1975
Edizione: 1975





Sommario

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.










Altre Informazioni

ISBN:

9783540074106

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm Ø 2340 gr
Formato: Brossura
Illustration Notes:755 S.
Pagine Arabe: 755


Dicono di noi