General Computers in 1980

Introduction to Metamathematics by Kleene, S. C.

Die Bankgehilfenprüfung in Programmierter Form: Wiederholungs- Und Übungsbuch by Klink, Hans

Furnishing the Library Interior by Pierce

Die Edv Mitgestalten: Edv Für Mitarbeiter Von Fachabteilungen by Futh, Horst

Theorie Der Zeichenerkennung by Tscherwonenkis, A. J., Wapnik, W. N.

Probleme Und Ergebnisse Aus Der Arbeitsgruppe Kybernetik, Informationsverarbeitung Der Klasse Mathematik 1977/78 by

Rechnerarchitektur: Grundlagen Und Verfahren by Händler, Wolfgang, Bode, Arndt

Portable Methodenmonitoren: Dialogsysteme Zur Steuerung Von Methodenbanken: Softwaretechnischer Aufbau Und Effizienzanalyse by Hauer, K. -H

Informatik Für Ingenieure by

Gi-Ntg Fachtagung Struktur Und Betrieb Von Rechensystemen: Kiel, 19.-21. März 1980 by

Datenverarbeitung Im Hochschulbereich Der USA: Stand Und Entwicklungstendenzen by Gaffal, Franz

Squid '80. Superconducting Quantum Interference Devices and Their Applications: Proceedings of the Second International Conference on Superconducting by

Kryptographische Verfahren in Der Datenverarbeitung by Ryska, Norbert, Herda, Siegfried

Data Base Techniques for Pictorial Application: Florence, June 20-22, 1979 by

Pictorial Information Systems by

Quantum Chromodynamics: Proceedings of the X G.I.F.T. International Seminar on Theoretical Physics Held at Jaca, Huesca (Spain) June 1979 by

Terminological Data Banks: Proceedings of the 1. International Conference [On Terminological Data Banks], Vienna, 2 and 3 April, 1979, Convened b by

Encyclopedia of Computer Science and Technology, Volume 14: Very Large Data Base Systems to Zero-Memory and Markov Information Source by Kent, Allen, Belzer, Jack, Holzman, Albert G.

A Relational Theory of Computing by Sanderson, John G.

Textverarbeitung Und Informatik: Fachtagung Der GI Bayreuth, 28. - 30. Mai 1980 by

State of the Art of Surgery 1979/80: Summaries of the Breakfast and Luncheon Panels of the 28th Congress of the Société Internationale de Chiurgie in by

Online-Systeme Im Finanz- Und Rechnungswesen: Anwendergespräch Berlin, 29.-30. April 1980 by

Erzeugung Und Analyse Von Bildern Und Strukturen: Dgao -- Dagm Tagung Essen, 27. - 31. Mai 1980 by

Complex Analysis, Microlocal Calculus and Relativistic Quantum Theory: Proceedings of the Colloquium Held at Les Houches, Centre de Physique September by

Bildschirmarbeitsplätze: Ergonomie Arbeitsplatzgestaltung Gesundheit Und Sicherheit Aufgabenorganisation by Stewart, T. F. M., Cakir, A., Hart, D. J.

Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980. Proceedings by

Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 by

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 by

Computability: An Introduction to Recursive Function Theory by Cutland, Nigel

Mikroprozessoren in Der Energiewirtschaft by

Firmware Engineering: Seminar Veranstaltet Von Der Gemeinsamen Fachgrupe "Mikroprogrammierung" Des GI Fachausschusses 3/4 Und Des Ntg-Fachau by

Grammar and L Forms: An Introduction by Wood, D.

Computer Aided Design Modelling, Systems Engineering, Cad-Systems: Crest Advanced Course, Darmstadt, 8. - 19. September 1980 by

Mathematical Methods and Applications of Scattering Theory: Proceedings of a Conference Held at Catholic University Washington, D. C., May 21 - 25, 19 by

Mathematical Foundations of Computer Science 1980: 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings by

Using Sophisticated Models in Resolution Theorem Proving by Sandford, David M.

A Calculus of Communicating Systems by Milner, R.

GI -- 10. Jahrestagung: Saarbrücken, 30. September - 2. Oktober 1980 by

31. Tagung 17. Bis 20. Oktober 1979, München by

Betriebsärztliche Informationssysteme: Frühjahrstagung Der Gmds, München, 21. - 22. März 1980 by

Cad-Fachgespräch: GI -- 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980 by

Context-Free Grammars: Covers, Normal Forms, and Parsing by Nijholt, A.

Computer Programs for Spelling Correction: An Experiment in Program Design by Peterson, J. L.

General Principles of Quantum Mechanics by Pauli, Wolfgang

The Computer from Pascal to Von Neumann by Goldstine, Herman H.

Reliability Evaluation of Some Fault-Tolerant Computer Architectures by Nishio, T., Osaki, S.

CAD Und Arbeitssituation: Untersuchungen Zu Den Auswirkungen Von CAD Sowie Zur Menschengerechten Gestaltung Von Cad-Systemen by Kühn, M.

Limit Analysis of Structures at Thermal Cycling by Gokhfeld, D. A., Charniavsky, O. F.

Key Papers in Information Science by Griffith, Belver C.

Parallel Processes and Related Automata / Parallele Prozesse Und Damit Zusammenhängende Automaten by

Coding for Markov Sources: Course Held at the Department for Automation and Information June 1971 by Longo, Giuseppe

Cooperative and Non-Cooperative Many Players Differential Games: Course Held at the Department of Automation and Information July 1973 by Leitmann, George

Advances in Source Coding by Berger, Toby, Davisson, Lee D.

Topics in Artificial Intelligence by

Mathematical Structure of Finite Random Cybernetic Systems: Lectures Held at the Department for Automation and Information July 1971 by Guiasu, Silviu

Discrete Field Analysis of Structural Systems by Dean, Donald L.

Topics in Combinatorial Optimization by

Rechnernetzwerke: Systeme, Protokolle Und Das Iso-Architekturmodell by Kerner, Helmut, Bruckner, Georg

An Introduction to the Theory of Automata: Course Held at the Department for Automation and Information July 1971 by Luccio, Fabrizio

Source Coding Theory: Lectures Held at the Department for Automation and Information June 1970 by Longo, Giuseppe

Controlled and Conditioned Invariance: Course Held at the Department of Automation and Information July 1971 by Basile, Giuseppe

Information Theory and Reliable Communication: Course Held at the Department for Automation and Information July 1970 by Gallager, Robert

General Theory of Noiseless Channels: Lectures Held at the Department for Automation and Information, June 1970 by Katona, Gyula

Combinatorial Search Problems: Lectures Held at the Department for Automation and Information June 1972 by Katona, Gyula

Quantitative-Qualitative Measure of Information: Course Held at the Department of Automation and Information, June - July 1972 by Longo, Guiseppe

Theory of Bilinear Dynamical Systems: Course Held at the Department for Automation and Information July 1972 by Ruberti, Antonio, Isidori, Alberto, D'Alessandro, Paolo

Linear Adaptive Decision Functions and Their Application to Clinical Decision: Course Held at the Department for Automation and Information, June - Ju by Vajda, Igor, Vesely, Arnost

Micropolar Elasticity: Symposium Organized by the Department of Mechanics of Solids, June 1972 by