Programming in 1990

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

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

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

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

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

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

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

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

Word 5.0-Wegweiser: Systematische Textverarbeitung by Kaier, Ekkehard

Modulare Regelprogrammierung by Bocionek, Siegfried

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

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

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

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

Programmierleitfaden Microsoft Excel: Version 2.10 by Peters, Dieter

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

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

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

dBASE IV Lernen Am Konkreten Beispiel by Gutschmidt, Silvia

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

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

Neural Computing - An Introduction by Beale, R.

Database Systems in Science and Engineering by Rumble, J. R., Smith, F. J.

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 Pichler, Franz, Schwärtzel, Heinz

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

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

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

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

Das CD-Rom-Buch by Menssen, Ralf

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

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

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

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

Software Reliability Handbook 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

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

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

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

Ausnahmebehandlung in Objektorientierten Programmiersprachen by Feder, Christiane

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

Hypertext/Hypermedia: An Annotated Bibliography by Knee, Michael

Computational Graph Theory by

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

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

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

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

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

Multicast-Kommunikation in Verteilten Systemen by Wybranietz, Dieter

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

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

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

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 Decem by

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

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

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

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

The Craft of Prolog by O'Keefe, Richard

Design & Implementation of Con... (V21) by Yokote Y

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

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

Managing Complexity in Software Engineering by

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 of Le by

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

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

Funktionelle Analyse Von Kommunikationsprotokollen by Krumm, Heiko

Termination Proofs for Logic Programs by Plümer, Lutz

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

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

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

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. Proceedings by

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

A Systolic Array Parallelizing Compiler by Ping-Sheng Tseng

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

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 Castro, Pablo, Anderl, Reiner

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

Einführung in systemnahe Programmierung by Hoffmann, Ulrich

Through the Interface: A Human Activity Approach To User Interface Design by Bodker, Susanne

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

Kurs in Logischer Programmierung by Fuchs, Norbert E.

Neurale Netze by Köhle, Monika

Repräsentation Und Verarbeitung Räumlichen Wissens by

Dependability of Critical Computer Systems 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

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

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

Automatische Komplexitätsanalyse Funktionaler Programme by Zimmermann, Wolf

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

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

Therapieziel: Gesundheit by Heck, Elke, Kumpmann, Fred

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

Graph-Based Proof Procedures for Horn Clauses by Raatz

Computer Music in C by Winsor, Phil

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.

Grundlagen Der Logischen Programmierung by Herre, Heinrich, Goltz, Hans-Joachim

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

Subband Image Coding by