Programming in 1987

A Theory of Indexing by Salton, Gerard

Nonlinear Programming: Sequential Unconstrained Minimization Techniques by McCormick, Garth P., Fiacco, Anthony V.

Distributed Computing: A Locality-Sensitive Approach by Peleg, David

Principles of Computerized Tomographic Imaging by Kak, Avinash C., Slaney, Malcolm

Proceedings of the Fifteenth Annual Acm-Siam Symposium on Discrete Algorithms by

Proceedings of the Sixteenth Annual Acm-Siam Symposium on Discrete Algorithms by

Proceedings of the Seventeenth Annual Acm-Siam Symposium on Discrete Algorithms by

Proceedings of the Fifth Workshop on Algorithm Engineering and Experiments by

Designing Fair Curves and Surfaces: Shape Quality in Geometric Modeling and Computer-Aided Design by

Parle '91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, the Netherlands, June 10-13, 1991 Pr by

Applications on Advanced Architecture Computers by

The Theory of Best Approximation and Functional Analysis by Singer, Ivan

Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation by Griewank, Andreas

Lectures on the Logic of Computer Programming by Manna, Zohar

Parallel Algorithms for Matrix Computations by Gallivan, K. A., Heath, Michael T., Ng, Esmond

Curve and Surface Design by

Das Desktop Publishing Handbuch: Satz Und Grafik Mit Personalcomputer Und Laserdrucker by Flasche, Ulrich, Posada-Medrano, German Dario

Logo? Logo!: Ein Programmierbuch by Haussmann, Kristina

Die Wissensrepräsentationssprache Ops5: Sprachbeschreibung Und Einführung in Die Regelorientierte Programmierung by Krickhahn, Reinhard

Turbo Pascal Tools: Mathematische Verfahren Und Programmroutinen Zur Auswertung Experimenteller Daten by Weber, Markus

Sprachverarbeitung: Mit LISP Und PROLOG Auf Dem PC by Handke, Jürgen

Lectures on the Complexity of Bilinear Problems by Groote, Hans F. De

Grafik Mit Dem Hp-41: Statistische Grafik Koordinatensysteme Darstellung Von Funktionen Schrift by Prankel, Walter

Pascal: Algebra -- Numerik -- Computergraphik by Fedtke, Stephen

Plotgraf: Ein Programmpaket Zur Darstellung Ein- Und Mehrdimensionaler Grafiken Für Den Apple II by Maul, Harald

Lotus 1-2-3: Schritt Für Schritt by Hans-Peter, Bürgler

dBASE III Software Training by Schaumann, Jürgen

Murmeltierwelt Und Pascal: Eine Einführung in Das Strukturierte Programmieren by Pinke, Heiner

Appleworks(tm): Integrierte Software Richtig Eingesetzt by Pommranz, Gerald, Rubin, Charles

Fundamentals of Artificial Intelligence: An Advanced Course by

Mikrocomputer-COBOL: Einführung in Die Dialog-Orientierte Cobol-Programmierung Am Mikrocomputer by Kähler, Wolf-Michael

Automated Theorem Proving by Bibel, Wolfgang

SAS Für Anfänger: Einführung in Das Programmsystem by Kähler, Wolf-Michael

Ein Praktischer Führer Für Das Management in Der Computer-Programmierung by Hannan, James

Programmieren Mit UNIX: Eine Einführung in Das Betriebssystem by Martin, Günter

Programmierpraxis Sharp Pc-1350 by Tatzl, Gerfried

A Practical Introduction to Denotational Semantics by Allison, L., Allison, Lloyd

Image Analysis and Processing by Cantoni, Virginio, Musso, G.

The Science of Programming by Gries, David

Stacs 87: 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Frg, February 19-21, 1987 by

Rasterbild -- Bildraster: Anwendung Der Graphischen Datenverarbeitung Zur Geometrischen Analyse Eines Meisterwerks Der Renaissance: Raffaels >Sc by Krömker, Detlef, Mazzola, Guerino

Mechanismen Zur Synchronisation Paralleler Prozesse by Freisleben, Bernhard

Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume by

Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Adva by

Testing in Software Development by

Cad-Begriffe: Ein Lexikon by Schwaiger, Leo

Unobstructed Shortest Paths in Polyhedral Environments by Akman, Varol

VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings by

Theseus: Die Benutzungsoberfläche Der Unibase-Softwareentwicklungsumgebung by Muth, Matthias, Hübner, Wolfgang, Lux-Mülders, Gregor

Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986 by

Datenbanksysteme in Büro, Technik Und Wissenschaft: Gi-Fachtagung Darmstadt, 1.-3. April 1987 Proceedings by

Erweiterung Relationaler Datenbanksysteme Für Technische Anwendungen by Meier, Andreas

Program Construction by Cooke, D. J., Stone, R. G.

Three-Dimensional Machine Vision by Kanade, Takeo

Descriptive Tools for Electronic Processing of Dictionary Data: Studies in Computational Lexicography. Mit Einer Deutschen Zusammenfassung / Avec Un R by

Computational Complexity of Bilinear Forms: Algebraic Coding Theory and Applications to Digital Communication Systems by Krishna, Hari

Parle Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, the Netherlands, June 15-19, 1987; Proceedings by

Unterstützung Des Managements Von Software-Projekten Durch Eine Erfahrungsdatenbank by Noth, Thomas

Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Proceedings by

Bildanalyse Allgemeiner Dokumente by Scherl, Wolfgang

Parle Parallel Architectures and Languages Europe: Vol.1: Parallel Architectures, Eindhoven, the Netherlands, June 15-19, 1987; Proceedings by

Konzepte Für Eine Verteilte Wissensbasierte Softwareproduktionsumgebung by Studer, Rudi

Programming in PROLOG by Clocksin, W. F., Mellish, C. S., Clocksin, William F.

Logic Programming '86: Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 by

Textgenerierung Aus Visuellen Daten: Beschreibungen Von Straßenszenen by Novak, Hans-Joachim

A Review of ADA Tasking by Burns, Alan, Lister, Andrew M., Wellings, Andrew J.

Digital Halftoning by Ulichney, Robert

Informationsbedarfsermittlung Und -Analyse Für Den Entwurf Von Informationssystemen: Fachtagung Emisa, Linz, 2. Und 3. Juli 1987. Proceedings by

Empirical Foundations of Information and Software Science III by

LISP Lore: A Guide to Programming the LISP Machine by Lamson, Richard, Bromley, H.

Advances in Command, Control and Communication Systems by

Automata, Languages and Programming: 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings by

Rechnerstrukturen: Verhaltensbeschreibung Und Entwurfsebenen: Eine Einführung Für Elektrotechniker Und Informatiker by Lagemann, Klaus

Anna a Language for Annotating ADA Programs: Reference Manual by Henke, Friedrich W. Von, Krieg-Brueckner, Bernd, Luckham, David C.

Analogical and Inductive Inference: International Workshop Aii'86 Wendisch-Rietz, Gdr, October 6-10, 1986, Proceedings by

Algorithms in Combinatorial Geometry by Edelsbrunner, Herbert

Advances in Multivariate Statistical Analysis: Pillai Memorial Volume by

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions by Thayse, Andre, Snyers, Dominique

A Connotational Theory of Program Structure by Royer, James S.

Functional Programming Languages and Computer Architecture: Portland, Oregon, Usa, September 14-16, 1987. Proceedings by

Einführung in Die Programmierung Mit Modula-2 by Ritzinger, Franz, Blaschek, Günther, Pomberger, Gustav

Advances in Computer Graphics Hardware I by

Simulationstechnik: 4. Symposium Simulationstechnik Zürich, 9.-11. September 1987 Proceedings by

3. Österreichische Artificial-Intelligence-Tagung: Wien, 22-25. September 1987 by

Sprachkonzepte Für Benutzergerechte Systeme by Oberquelle, Horst

Entwurf Und Verifikation Mikroprogrammierter Rechnerarchitekturen by Damm, Werner

System Development and ADA: Crai Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings by

Ecoop '87. European Conference on Object-Oriented Programming: Paris, France, June 15-17, 1987. Proceedings by

Messung, Modellierung Und Bewertung Von Rechensystemen: 4. Gi/Itg-Fachtagung Erlangen, 29. September - 1. Oktober 1987. Proceedings by

Illustrating PASCAL by Alcock, Donald

Introduction to Common LISP by Et, Taichi Yuasa

Robotic Object Recognition Using Vision and Touch by Allen, Peter K.

Reduce: Software for Algebraic Computation by Rayna, Gerhard

Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings by

Wissensbasierte Systeme: 2. Internationaler Gi-Kongreß München, 20./21. Oktober 1987 by

Mikroelektronik 87: Berichte Der Informationstagung Me 87 by Jäger, F., Hoffmann, G., Holzmann, D.

Cad-Schnittstellen Und Datentransferformate Im Elektronik-Bereich by

Visualization in Programming: 5th Interdisciplinary Workshop in Informatics and Psychology Schärding, Austria, May 20-23, 1986 by

Category Theory and Computer Science: Edinburgh, Uk, September 7-9, 1987. Proceedings by

Embedded Systems: New Approaches to Their Formal Description and Design. an Advanced Course, Zurich, Switzerland, March 5-7, 1986 by

GI -- 17. Jahrestagung Computerintegrierter Arbeitsplatz Im Büro: München, 20.-23. Oktober 1987. Proceedings by

Foundations of Software Technology and Theoretical Computer Science by

Pasro: Pascal and C for Robots by Favaro, John, Blume, Christian, Jakob, Wifried

Semantics of Digital Circuits by Delgado Kloos, Carlos

Metasoft Primer: Towards a Metalanguage for Applied Denotational Semantics by Blikle, Andrzej

Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India, December 17-19, 1987. Proceedings by

Integration, Coordination and Control of Multi-Sensor Robot Systems by Durrant-Whyte, Hugh F.

Achieving Safety and Reliability with Computer Systems by

Reduce: Software for Algebraic Computation by Rayna, Gerhard

An APL Compiler by Budd, Timothy

Esec '87: 1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings by

Attributierte Grammatiken Und Attributierungsalgorithmen by Mahn, Ulrich

Synchronisation in Zentralisierten Datenbanksystemen: Algorithmen, Realisierungsmöglichkeiten Und Quantitative Analyse by Peinl, Peter

Fehlertolerante Dezentrale Prozeßautomatisierung by Mäncher, Hubert

Memory Performance of PROLOG Architectures by Tick, Evan

Modern Algorithms for Large Sparse Eigenvalue Problems by Meyer, Arnd

Wissensbasierte Programmkonstruktion I by Hesse, Rainer, Klette, Reinhard

Programmieren in PL 1 by Schoch, Henning

Compiler Und Interpreter Für Höhere Programmiersprachen by Jäkel, Hans-Jörg, Otter, Wolfgang, Loeper, Hans