Title: The Nature of Explanation, Author: K. J. W. Craik
Title: GI - 3. Fachtagung über Programmiersprachen: Gesellschaft für Informatik e.V., Kiel, 5.-7. März 1974, Author: B. Schlender
Title: GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen: Gesellschaft für Informatik e.V., Fachausschüsse Rechnerorganisation (3) und Betriebssysteme (4), Nachrichtentechnische Gesellschaft im VDE, Fachausschuß Technische Informatik (6). Braunschw, Author: H.-O. Leilich
Title: GI-BIFOA Internationale Fachtagung: Informationszentren in Wirtschaft und Verwaltung: Gesellschaft für Informatik e.V., Fachausschuß 8 Methoden der Informatik für spezielle Anwendung. Betriebswirtschaftliches Institut für Organisation und Automation an, Author: P. Schmitz
Title: Computing Methods in Applied Sciences and Engineering: International Symposium, Versailles, December 17-21,1973, Part 2, Author: R. Glowinski
Title: Rechner-Gestützter Unterricht: RGU '74. Fachtagung, Hamburg 12.-14. August 1974, Author: K. Brunnstein
Title: Theory of Program Structures: Schemes, Semantics, Verification, Author: Sheila A. Greibach
Title: Data Base Systems: Proceedings, 5th Informatik Symposium, IBM Germany, Bad Homburg v. d. H., September 24 - 26, 1975, Author: M. Hasselmeier
Title: Komplexität von Entscheidungsproblemen: Ein Seminar, Author: E. Specker
Title: Mes premieres constructions de programmes, Author: A. Gerbier
Title: Computing in Systems Described by Equations, Author: M.J. O'Donnell
Title: A Comparative Study of Very Large Data Bases, Author: E. Jr. Hill
Title: First-Order Dynamic Logic, Author: D. Harel
Title: Architecture of Distributed Computer Systems, Author: G. Bochmann
Title: Edinburgh LCF: A Mechanized Logic of Computation, Author: M. Gordon
Title: Axiomatising the Logic of Computer Programming, Author: R. Goldblatt
Title: Specification and Design of Software Systems: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings, Author: Elïd Knuth
Title: Communication Technology, Author: Everett M. Rogers
Title: DIANA. An Intermediate Language for Ada: Revised Version, Author: G. Goos
Title: Checking C Programs with Lint: C Programming Utility, Author: Ian F. Darwin

Pagination Links