General Computers in 1980

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

Furnishing the Library Interior by Pierce

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

Introduction to Metamathematics by Kleene, S. C.

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

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

Physik Der Informationsspeicher: Zentralinstitut Für Kybernetik Und Informationsprozesse Der Akademie Der Wissenschaften Der Ddr, Berlin by Siakkou, M.

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

Informatik Für Ingenieure by

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

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

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

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

Pictorial Information Systems by

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

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

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

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

A Relational Theory of Computing by Sanderson, John G.

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

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

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

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

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

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

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

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

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

Mikroprozessoren in Der Energiewirtschaft by

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

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

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

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

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

Inis: First Steps on Stairs by International Atomic Energy Agency

A Calculus of Communicating Systems by Milner, R.

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

Cad-Fachgespräch: 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

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

General Principles of Quantum Mechanics by Pauli, Wolfgang

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

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

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

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

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

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

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 Artificial Intelligence by

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

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

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

Algebra, Sprachen, Programmierung by Gluschkow, W. M., Zeitlin, G. J., Justschenko, J. L.

Representation and Processing of Natural Language by

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

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

Abstrakte Rechnermodelle by Metz, Joachim

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

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

Topics in Combinatorial Optimization by

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

Erfassung Und Maschinelle Verarbeitung Von Bilddaten: Grundlagen Und Anwendungen by

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

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

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

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