General Computers in 1982

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

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

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

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

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

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

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

Automated Theorem Proving by Bibel, Wolfgang

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

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

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

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

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

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

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

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

Axiomatising the Logic of Computer Programming by Goldblatt, R.

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

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

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

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

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

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

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

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

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., Gottman, John Mordechai

Principles of Artificial Intelligence by Nilsson, Nils J.

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

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

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

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

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

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

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

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

Bildverarbeitung Durch Das Visuelle System by Korn, A.

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

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

Informatik: Eine Einführende Übersicht Erster Teil by Bauer, F. L., Goos, G.

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

Informatik: Eine Einführende Übersicht Erster Teil by Goos, Gerhard, Bauer, F. L.

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

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

Dictionary of Information Technology by

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

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

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

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

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

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

Matrices and Simplex Algorithms: A Textbook in Mathematical Programming and Its Associated Mathematical Topics by Heesterman, Aaart R.