General Computers in 1982

Datenmodellierung: Theorie Und PRAXIS Des Datenbankentwurfs: Theorie Und PRAXIS Des Datenbankentwurfes by Rennert, Paul F., Tjoa, A. Min, Vinek, Günter

Automated Theorem Proving by Bibel, Wolfgang

Mikrocomputer, Aufbau Und Anwendungen: Arbeitsbuch Zum µP 6800 by Zschocke, Jörg

Numerische Methoden Bei Integralen Und Gewöhnlichen Differentialgleichungen Für Programmierbare Taschenrechner (Aos) by Gloistehn, Hans Heinrich

Standardprogramme Der Netzwerkanalyse Für Basic-Taschencomputer (Casio) by Lange, Dieter

Einführung in Pascal: Mit Zahlreichen Beispielen Und 10 Vollständigen Programmen by Schneider, Wolfgang

Iterationen, Näherungsverfahren, Sortiermethoden: Basic-Programme Für Cbm 3032, HP 9830, Trs-80, Olivetti 6060 by

Software-Qualitätssicherung: Testen Im Software-Lebenszyklus by Schmitz, Paul

Personalinformationssysteme in Deutschen Großunternehmen: Ausbaustand Und Rechtsprobleme by Kilian, W.

System Zur Inversen Bildtransformation Mit Elektrooptischen Mitteln by Tafel, Hans Jörg

Pushbutton Fantasies: Critical Perspectives on Videotext and Information Technology by Mosco, Vincent

Forecasting the Telephone: A Retrospective Technology Assessment of the Telephone by De Sola Pool, Ithiel

Angewandte Strukturtheorie by Stoschek, Erwin

A Short Course on Error Correcting Codes by Sloane, N. J. a.

Pattern Recognition Theory and Applications: Proceedings of the NATO Advanced Study Institute Held at St. Anne's College, Oxford, March 29-April 10, 1 by

Alternating Sequential-Parallel Processing by Wallach, Y.

Integrable Quantum Field Theories: Proceedings of the Symposium Held at Tvärminne, Finland, March 23-27, 1981 by

Artificial Intelligence: An MIT Perspective, Volume 2: Understanding Vision/Manipulation/Computer Design/Symbol Manipulation by

Data Base Design Techniques II: Physical Structures and Applications. Proceedings, Tokyo, November 1979 by

Data Base Design Techniques I: Requirements and Logical Structures. Nyu Symposium, New York, May 1978 by

International Symposium on Programming: 5th Colloquium, Turin, April 6-8, 1982. Proceedings by

Logics of Programs: Workshop, Yorktown Heights, Ny, USA by

Verifying Concurrent Processes Using Temporal Logic by Hailpern, B. T.

Fehlertolerierende Rechnersysteme: Gi-Fachtagung München, 11.-12. März 1982 Gemeinsam Veranstaltet Von Gi-Fachausschuß 8 Und Fachausschuß 11 Und Gmd-I by

Axiomatising the Logic of Computer Programming by Goldblatt, R.

An Introduction to the Pl/Cv2 Programming Logic by Johnson, S. D., Eichenlaub, C. D., Constable, R. L.

Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981 by

Einführung in das Programmieren in ASSEMBLER by Niemeyer, Gerhard

Einführung in das Programmieren in LISP by Hamann, Christian-Michael

Group-Theoretic Algorithms and Graph Isomorphism by Hoffmann, C. M.

Séminaire de Probabilités XVI 1980/81 by

A User's Guide to the Gottman-Williams Time-Series Analysis Computer Programs for Social Scientists by Williams, Esther A.

Principles of Artificial Intelligence by Nilsson, Nils J.

Edv-Systeme Im Finanz- Und Rechnungswesen: Anwendergespräch Osnabrück, 8. - 9. Juni 1982 by

An Attribute Grammar for the Semantic Analysis of ADA by Uhl, J., Drossopoulou, S., Persch, G.

Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12-16, 1982 by

The Origins of Digital Computers: Selected Papers by

Relativistic Action at a Distance: Classical and Quantum Aspects: Proceedings of the Workshop Held in Barcelona, Spain, June 15-21, 1981 by

Digital Picture Processing: Volume 1 by Rosenfeld, Azriel, Kak, Avinash C.

Algebraic Threefolds: Proceedings of the 2nd 1981 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.), Held at Varenna, Italy, June 15-2 by

Unternehmensplanung Und -Steuerung in Den 80er Jahren: Eine Herausforderung an Die Informatik, Anwendergespräch, Hamburg, 24.-25. November 1981 by

Bildverarbeitung Durch Das Visuelle System by Korn, A.

Büroinformations- Und -Kommunikationssysteme: Anwendergespräch, Wirtschaftsuniversität Wien, 30.9. Bis 1.10.1982 by

Pneumatische Sensoren Zur Prozeßsimultanen Messung Des Werkzeugverschleißes Und Zur Kollisionsvermeidung Beim Messerkopffräsen by Jentner, W.

Compilation of Input-Output Tables: Proceedings of a Session of the 17th General Conference of the International Association for Research in Income an by

Gi-12. Jahrestagung: Kaiserslautern, 5.-7. Oktober 1982 Proceedings by

Simulationstechnik: 1. Symposium Simulationstechnik Erlangen, 26. - 28. April 1982 Proceedings by

Unterrichtstechnologie: Einführung in Die Medienverwendung Im Bildungswesen by Melezinek, A.

Rechnerunterstützte Gestaltung Ortsgebundener Montagearbeitsplätze, Dargestellt Am Beispiel Kleinvolumiger Produkte by Haller, E.

Nachrichtentechnik: Band 1: Schaltungstechnik by Steinbuch, Karl, Rupprecht, Werner

Dictionary of Information Technology by

Nachrichtentechnik: Band III: Nachrichtenverarbeitung by Rupprecht, Werner, Wendt, S., Steinbuch, Karl

Nachrichtentechnik: Band II: Nachrichtenübertragung by Steinbuch, Karl, Rupprecht, Werner

Gwai-82: 6th German Workshop on Artificial Intelligence Bad Honnef, Sept. 27. - Oct. 1, 1982 by

Theoretical Computer Science: 6th Gi-Conference Dortmund, January 5-7, 1983 by

Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15.-24. März 1982 by

Time-Scale Modeling of Dynamic Networks with Applications to Power Systems by

The Illiac IV: The First Supercomputer by Hord, R. M.

Nonlinear Time-Discrete Systems: A General Approach by Nonlinear Superposition by Gössel, M.

Automatengraphen by Bochmann, Dieter

Automatische Analyse Des Deutschen by