Programming in 1990

Prozeßautomatisierung I: Aufbau Und Programmierung Von Prozeßrechensystemen by Lauber, R.

Einführung in Die Programmiersprache Modula-2 by Pudlatz, Hilmar

Photogrammetrische Erfassung Räumlicher Informationen Aus Videobildern by Föhr, Ralph

Programmierleitfaden Microsoft Excel: Version 2.10 by Peters, Dieter

Anwender Leitfaden Lotus 1-2-3 by Hering, Ekbert

Expertensysteme Für Den Einsatz Von Subroutinenpaketen: Am Beispiel Eines Expertensystems Für Bildverarbeitung by Grimm, Felix

Effektiv Programmieren Mit Turbo Pascal 5.0/5.5 by Emmanuilidis, Christos, Alexakis, Spiros

Anwenderleitfaden PageMaker: Version 3 by Müller, Michael H.

Word 5.0-Wegweiser: Systematische Textverarbeitung by Kaier, Ekkehard

Effektiv Programmieren in C: Eine Beispielorientierte Einführung by Herrmann, Dietmar

Intensivschulung Lotus 1-2-3: Version 3 by Raddatz-Löffler, Heidi, Peters, Werner

Das Modula-2 Umsteigerbuch: Von Turbo Pascal Zu Topspeed Modula-2 by Abdelhamid, Rames

Formalisieren Und Beweisen: Logik Für Informatiker by Siefkes, Dirk

Quickpascal: Eine Einführung Mit Anwendungen Für Ingenieure Und Naturwissenschaftler by Rasch, Joachim, Hering, Ekbert

Turbo Pascal Tools: Einsatz Von Turbo Pascal in Der Naturwissenschaftlichen PRAXIS by Weber, Markus

Topspeed Modula-2 Griffbereit by Liebetrau, Anton

Modulare Regelprogrammierung by Bocionek, Siegfried

dBASE IV (Tm): Programmieranleitung Für Die Arbeit Mit Einem Relationalen Datenbanksystem by Kähler, Wolf-Michael

JSP: Einführung in Die Methode Des Jackson Structured Programming by Kilberth, Klaus

dBASE IV Lernen Am Konkreten Beispiel by Gutschmidt, Silvia

Programmieren Mit PostScript: Eine Umfassende Einführung Inclusive Filesystem Und Typesetter by Söker, Wilfried

SCO Unix/Xenix: Griffbereit by Dripke, Angelika

Programmieren in Pl/I: Eine Moderne Einführung by Sturm, Eberhard

C++ Für Programmierer by Tölle, Wolfgang

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings by

Cast Computerunterstützte Systemtheorie: Aufbau Und Anwendung Von Systemtheorie-Methodenbanken by Schwärtzel, Heinz, Pichler, Franz

Neural Networks: Eurasip Workshop 1990 Sesimbra, Portugal, February 15-17, 1990. Proceedings by

SIGMA: A Knowledge-Based Aerial Image Understanding System by Hwang, Vincent Shang-Shouq, Matsuyama, Takashi

Computer Aided Systems Theory - Eurocast '89: A Selection of Papers from the International Workshop Eurocast '89, Las Palmas, Spain, February 26 - Mar by

Finite Elemente Programme Für Platten Und Schalen by

Lisp, Lore, and Logic: An Algebraic View of LISP Programming, Foundations, and Applications by Stark, W. Richard

Fehlertoleranz in Verteilten Realzeitsystemen: Anwendungsorientierte Techniken by Stoll, Jürgen J.

Advances in Database Technology - Edbt '90: International Conference on Extending Database Technology. Venice, Italy, March 26-30, 1990, Proceedings. by

Pick Basic by Mui, Linda

An Illustrated Guide to Linear Programming by Gass, Saul I.

Das CD-Rom-Buch by Menssen, Ralf

AI '88: 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, Proceedings by

Group Theoretical Methods in Image Processing by Lenz, Reiner

Parallele Datenverarbeitung Mit Dem Transputer: 1. Transputer-Anwender-Treffen, Tat '89 Aachen, 25./26. September 1989 by

Loglan '88 - Report on the Programming Language by Kreczmar, Antoni

Interaktion Und Kommunikation Mit Dem Computer: Jahrestagung Der Gesellschaft Für Linguistische Datenverarbeitung (Gldv). Ulm, 8.-10. März 1989 Procee by

Graphik Und KI: Gi-Fachgespräch Königswinter, 3./4. April 1990. Proceedings by

Design and Implementation of Symbolic Computation Systems: International Symposium Disco '90, Capri, Italy, April 10-12, 1990. Proceedings by

Software Reliability Handbook by

Ausnahmebehandlung in Objektorientierten Programmiersprachen by Feder, Christiane

Stable Homotopy Groups of Spheres: A Computer-Assisted Approach by Kochman, Stanley O.

Computer Vision - Eccv 90: First European Conference on Computer Vision. Antibes, France, April 23-27, 1990. Proceedings by

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings by

A Formal Model of Visualization in Computer Graphics Systems by Kawai, Satoru, Onodera, Tamiya

Software Engineering Education: SEI Conference 1990, Pittsburgh, Pennsylvania, Usa, April 2-3, 1990. Proceedings by

Hypertext/Hypermedia: An Annotated Bibliography by Knee, Michael, Atkinson, Steven

Computational Graph Theory by

Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra by

Migrationssteuerung Und Konfigurationsverwaltung Für Verteilte Objektorientierte Anwendungen by Schill, Alexander

Multicast-Kommunikation in Verteilten Systemen by Wybranietz, Dieter

Sil - A Simulation Language: User's Guide by Houbak, Niels

Caap '90: 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings by

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings by

Diskrete Orthogonaltransformationen: Algorithmen Und Flußgraphen Für Die Signalverarbeitung by Lu, Tian, Besslich, Philipp W.

Advanced Information Systems Engineering: Second Nordic Conference Caise '90, Stockholm, Sweden, May 8-10, 1990, Proceedings by

ESOP '90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings by

High-Integrity Software by

Intro Real-Time Software Desig, N by Allworth, S.

Engineering Databases: Connecting Islands of Automation Through Databases by

Distributed Ada: Developments and Experiences: Proceedings of the Distributed ADA '89 Symposium, University of Southampton, 11-12 December 1989 by

Cad*i Drafting Model by Trippner, Dietmar, Endres, Michael, Schuster, Richard

Advanced Information Processing: Proceedings of a Joint Symposium. Information Processing and Software Systems Design Automation. Academy of Sciences by

Parallel Machines: Parallel Machine Languages: The Emergence of Hybrid Dataflow Computer Architectures by Iannucci, Robert A.

Task-Directed Sensor Fusion and Planning: A Computational Approach by Hager, Gregory D.

Automatic Programming Applied to VLSI CAD Software: A Case Study by Setliff, Dorothy E., Rutenbar, Rob A.

Practical SGML by Van Herwijnen, Eric

The Craft of Prolog by O'Keefe, Richard

Parallel Lisp: Languages and Systems: Us/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings by

Software Tools: Automatisierung Im Software Engineering: Eine Umfassende Darstellung Der Einsatzmöglichkeiten Von Software-Entwicklungswerkzeugen by Hildebrand, Knut

Supercomputer '90: Anwendungen, Architekturen, Trends Mannheim, 21.-23. Juni 1990 by

Understanding SQL by Lynch, Elizabeth

Zeitverhalten Synchroner Schaltwerke by Leilich, Hans-Otto, Knaak, Uwe

Complexity Theory Retrospective: In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988 by

Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do by Tofte, Mads

Visual Languages and Visual Programming by

Managing Complexity in Software Engineering by

Innc 90 Paris: Volume 2 International Neural Network Conference July 9-13, 1990 Palais Des Congres - Paris - France by Loparo, Kenneth A.

Specification and Transformation of Programs: A Formal Approach to Software Development by Partsch, Helmut A.

Sprecherunabhängigkeit Und Sprecheradaption: Lösungsansätze Für Das Problem Des Sprecherwechsels Bei Der Automatischen Spracherkennung by Kämmerer, Bernhard R.

Visualization in Human-Computer Interaction: 7th Interdisciplinary Workshop on Informatics and Psychology, Schärding, Austria, May 24-27, 1988. Select by

Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, Frg, April 24-26, 1989. Proceedings by

Semantics for Concurrency: Proceedings of the International Bcs-Facs Workshop, Sponsored by Logic for It (S.E.R.C.), 23-25 July 1990, University by

A System V Guide to Unix and Xenix by Topham, Douglas W.

Funktionelle Analyse Von Kommunikationsprotokollen by Krumm, Heiko

Termination Proofs for Logic Programs by Plümer, Lutz

On the Shape of Mathematical Arguments by Gasteren, Antonetta J. M. Van

Massiv Parallele Programmierung Mit Dem Parallaxis-Modell by Bräunl, Thomas

Logic and Computation: Interactive Proof with Cambridge Lcf by Paulson, Lawrence C.

Formal Methods in Standards: A Report from the BCS Working Group by

Software Engineering for Large Software Systems by

Making Them Move: Mechanics, Control & Animation of Articulated Figures by Badler, Norman I., Barsky, Brian a., Zeltzer, David

Programming Language Implementation and Logic Programming: International Workshop Plilp `90, Linköping, Sweden, August 20-22, 1990. Proceedings by

Mathematical Foundations of Programming Semantics: 5th International Conference, Tulane University, New Orleans, Louisiana, Usa, March 29-April 1, 198 by

Mathematical Foundations of Computer Science 1990: Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings by

Concur '90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension by

Functional Programming: Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland by

Conpar 90 - Vapp IV: Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990. Proceedi by

Computer Analysis of Visual Textures by Tsuji, Saburo, Tomita, Fumiaki

A Systolic Array Parallelizing Compiler by Ping-Sheng Tseng

Continuation and Bifurcations: Numerical Techniques and Applications by

Persistent Object Systems: Proceedings of the Third International Workshop 10-13 January 1989, Newcastle, Australia by

Communications for Manufacturing: Proceedings of the Open Congress 4-7 September 1990 Stuttgart, Germany Cec Dg XIII: Telecommunications, Information by

Software Engineering in C by Darnell, Peter A., Margolis, Philip E.

Optimale Datenintegration Bei Rechnerintegrierter Produktion by Köhl, Eva

Attribute Grammars and Their Applications: International Conference, Paris, France, September 19-21, 1990 by

Combinatorics on Traces by Diekert, Volker

Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings by

Simulation in Der Regelungstechnik by

Z User Workshop: Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989 by

Cad/CAM: Auf Dem Weg Zu Einer Branchenübergreifenden Integration by Anderl, Reiner, Castro, Pablo

Pps Beim Einsatz Flexibler Fertigungssysteme: Voraussetzungen Und Gestaltungshinweise Für Eine Effiziente Auftragsabwicklung by Hirt, Klaus

Einführung in systemnahe Programmierung by Hoffmann, Ulrich

Programming in the 1990s: An Introduction to the Calculation of Programs by Cohen, Edward

Rechnerunterstützte Arbeitsplatzgestaltung: Iao-Forum 26. September 1990 by

Geometrische Verfahren Der Graphischen Datenverarbeitung by

A Systematic Catalogue of Reusable Abstract Data Types by Schmid, Hans A., Uhl, Jürgen

Neurale Netze by Köhle, Monika

Kurs in Logischer Programmierung by Fuchs, Norbert E.

Repräsentation Und Verarbeitung Räumlichen Wissens by

The Niam Information Analysis Method: Theory and Practice by Wintraecken, J. J. V. R.

Visual Languages and Applications by

Industrial Application of Electromagnetic Computer Codes by

Dependability of Critical Computer Systems by

Empirical Foundations of Information and Software Science V by

Simulation Paralleler Roboterprozesse: Ein System Zur Rechnergestützten Programmierung Komplexer Roboterstationen by Hornung, Bernhard

Automatic Tools for Designing Office Information Systems: The Todos Approach by

Bridging the Information Gap: For Small and Medium Enterprises by

Parsing Theory: Volume II Lr(k) and Ll(k) Parsing by Sippu, Seppo, Soisalon-Soininen, Eljas

Fault-Tolerant Distributed Computing by

Security and Persistence: Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information by

Formal Methods for Trustworthy Computer Systems (Fm89): Report from Fm89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Syst by

Automatische Komplexitätsanalyse Funktionaler Programme by Zimmermann, Wolf

Introduction to Programming with Modula-2 by Pomberger, Gustav, Blaschek, Günther

Multi-Media Document Translation: Oda and the Expres Project by Rosenberg, Jonathan, Sherman, Mark, Marks, Ann

Software Engineering Environments: International Workshop on Environments, Chinon, France, September 18-20, 1989. Proceedings by

Objektorientierte Sprachkonzepte Und Diskrete Simulation: Klassifikation, Vergleich Und Bewertung Von Konzepten Der Programmiersprachen Simula-67, Mod by Frauenstein, Thomas, Pape, Uwe, Wagner, Olaf

Therapieziel: Gesundheit by Heck, Elke, Kumpmann, Fred

Computer Music in C by Winsor, Phil

Graph-Based Proof Procedures for Horn Clauses by Raatz

Icdt '90: Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings by

Foundations of Software Technology and Theoretical Computer Science: Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings by

Entwurf Und Betrieb Verteilter Systeme: Fachtagung Der Sonderforschungsbereiche 124 Und 182, Dagstuhl, 19.-21. September 1990, Proceedings by

Knowledge-Based Simulation: Methodology and Application by

Expertensysteme by

Wissensbasierte Simulation Komplexer Produktionssysteme by Hartberger, Helmut

Software-Ergonomie in Der PRAXIS: Richtlinien, Methoden Und Werkzeuge Für Die Gestaltung Interaktiver Systeme by

Hands: A Pattern Theoretic Study of Biological Shapes by Grenander, Ulf, Chow, Y., Keenan, Daniel M.

Iterative Identification and Restoration of Images by Biemond, Jan, Lagendijk, Reginald L.

Subband Image Coding by

Real-Time Unix(r) Systems: Design and Application Guide by Furht, Borko, Grostick, Dan, Gluch, David