Programming in 1993

Categorical Combinators, Sequential Algorithms, and Functional Programming by Curien, P. -L

Maschinenelemente Berechnen Mit Einer Tabellenkalkulation: Einführung -- Anwendung -- Software by

SQL: Eine Praxisorientierte Einführung by Marsch, Jürgen

Mehr ALS Nur Programmieren...: Eine Einführung in Die Informatik by Gmehlich, Rainer

Wissensbasiertes Case: Theoretische Analyse Empirische Untersuchung Entwicklung Eines Prototyps by Herzwurm, Georg

Dtp-PRAXIS Mit PageMaker 5 by Müller, Wolfgang

Mikrocontroller PRAXIS: Ein Praxisorientierter Leitfaden Für Hard- Und Software-Entwicklung Auf Der Basis Der 80(c)51x-Familie by Heesel, Norbert

Programmieren in COBOL 85: Eine Umfassende Einführung by Kähler, Wolf-Michael

Das Vieweg Latex-Buch: Eine Praxisorientierte Einführung by Abdelhamid, Rames

CICS: Eine Praxisorientierte Einführung by Kregeloh, Thomas

COBOL -- Das Handbuch Für Den Professionellen Programmierer: Auf Der Basis Des Ansi-Standards Unter Berücksichtigung Der Ibm-Erweiterungen Unter Vs CO by Roitzsch, Erich H. Peter

Offene Systeme: Ein Grundlegendes Handbuch Für Das Praktische DV-Management by Wheeler, Tom

Programmieren Mit C++ Version 3: Eine Anleitung Für Studium Und PRAXIS by Bause, Falko

Object-Oriented Software in C++ by Smith, Michael A.

Vieweg Software-Trainer Microsoft Access Für Windows by Sieberichs, Dagmar

100 Rezepte Für Borland Pascal: Programmiertips Mit Pfiff Für Einsteiger Und Fortgeschrittene by Hoffmann, Norbert

Computer-Aided Project Management: A Visual Scheduling and Management System by Pollalis, Spiro N.

Das Vieweg-Buch Zu FoxPro Für Windows by Staas, Dieter

Open Distributed Systems: On Concepts, Methods, and Design from a Logical Point of View by Gotzhein, Reinhard

Requirements Engineering '93: Prototyping by

Das Vieweg-Buch Zu Visual Basic 2.0 Für Windows: Eine Umfassende Anleitung Zur Komfortablen Entwicklung Von Windows-Programmen by Andreas, Maslo

Parallele Programmierung: Eine Einführung by

Physics-Based Vision: Principles and Practice: Shape Recovery, Volume 3 by

Planung Von Fertigungssystemen Unterstützt Durch Wirtschaftlichkeitssimulation by Dilling, Ulrich

Iran: Political Culture in the Islamic Republic by

C2 Compiler Concepts by Teufel, Thomas, Teufel, Bernd, Schmidt, Stephanie

Microprogrammed State Machine Design by Lynch, Michel A.

Multisensor Fusion for Computer Vision by

Logic Program Synthesis and Transformation: Proceedings of Lopstr 92, International Workshop on Logic Program Synthesis and Transformation, University by

Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92, Pont-A-Mousson, France, July 8-10, 1992. Proceedings by

Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint with the 3rd Compass Workshop, Dourdan, France, A by

Software Failure Risk: Measurement and Management by Sherer, Susan A.

Loop Transformations for Restructuring Compilers: The Foundations by Banerjee, Utpal

Program Verification: Fundamental Issues in Computer Science by

CorelDRAW 3 Running Start by Gilbert, Len

The Formal Semantics of Programming Languages: An Introduction by Winskel, Glynn

Parallel Computing on Distributed Memory Multiprocessors by

Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 by

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings by

A Physical Approach to Color Image Understanding by

Directions in Safety-Critical Systems: Proceedings of the First Safety-Critical Systems Symposium the Watershed Media Centre, Bristol 9-11 February 19 by

Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, C by

Napaw 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, Usa, 28 August 1992 by

Geometric Modelling by

Safety-Critical Systems: Current Issues, Techniques and Standards by

Participatory Design: Principles and Practices by

Logic Programming Languages: Constraints, Functions, and Objects by

Software-Führer '93/'94 Lehre Und Forschung: Ingenieurwissenschaften by

Programmieren in FORTRAN by Langer, Erasmus

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Ne by

Software-Entwicklung in FORTRAN 90 by Meditz, Peter, Überhuber, Christoph

An Introduction to Discrete Mathematics, Formal System Specification, and Z by Ince, D. C.

A Plain Tex Primer by Clark, Malcolm

Handbuch Digitaler Bild- Und Filtereffekte: 1500 Beispiele Elektronischer Bildbearbeitung by Baumann, Hans D.

Software-Zuverlässigkeit: Grundlagen Konstruktive Maßnahmen Nachweisverfahren by

Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings by

Database Application Engineering with Daida by

Filtering, Segmentation and Depth by Mumford, David, Nitzberg, Mark, Shiota, Takahiro

Motion Analysis and Image Sequence Processing by

Ordered Structure and Algebra of Computer Languages - Proceedings of the Conference by

Tapsoft '93: Theory and Practice of Software Development: 4th International Joint Conference Caap/Fase, Orsay, France, April 13-17, 1993. Proceedings by

Fme '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings by

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings by

Software for Parallel Computation by

First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, Usa, 13-15 July 1992 by

The Clausal Theory of Types by Wolfram, D. A.

C-Xsc: A C++ Class Library for Extended Scientific Computing by Kulisch, Ulrich, Klatte, Rudi

Semantics: Foundations and Applications: Rex Workshop, Beekbergen, the Netherlands, June 1-4, 1992. Proceedings by

Persistent Object Systems: Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September 1992 by

Case-Based Learning by

Turbo C by Herschel, Rudolf

Strukturierte Programmierung in COBOL by Schwickert, Axel C.

Combinatorial Pattern Matching: 4th Annual Symposium, CPM 93, Padova, Italy, June 2-4, 1993. Proceedings by

Functional Programming, Glasgow 1992: Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 by

Specification and Proof in Real Time CSP by Davies, Jim

Recognizing Planar Objects Using Invariant Image Features by Reiss, Thomas H.

Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation by Mulkers, Anne

New Trends in Neural Computation: International Workshop on Artificial Neural Networks, Iwann'93, Sitges, Spain, June 9-11, 1993. Proceedings by

Advanced Information Systems Engineering: 5th International Conference, Caise '93, Paris, France, June 8-11, 1993. Proceedings by

Advances in Petri Nets 1993 by

Brain Theory: Spatio-Temporal Aspects of Brain Function by Aertsen, Ad

Simulation Validation by Knepnell, Arangno

Information Processing in Medical Imaging: 13th International Conference, Ipmi'93, Flagstaff, Arizona, Usa, June 14-18, 1993. Proceedings by

Ada-Europe '93: 12th Ada-Europe International Conference, ADA Sans Frontieres, Paris, France, June 14-18, 1993. Proceedings by

Parle '93 Parallel Architectures and Languages Europe: 5th International Parle Conference, Munich, Germany, June 14-17, 1993. Proceedings by

Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 by

Adult Education and the State: Towards a Politics of Adult Education by Jarvis, Peter

Formal Methods in Systems Engineering by

Functional Programming, Concurrency, Simulation and Automated Reasoning by

Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings by

Simulating Humans: Computer Graphics Animation and Control by Badler, Norman I., Webber, Bonnie Lynn, Phillips, Cary B.

Information Und Kommunikation: Zur Menschengerechten Technikgestaltung by Kornwachs, Klaus

Guaranteed Accuracy in Numerical Linear Algebra by Godunov, S. K., Antonov, A. G., Kiriljuk, O. P.

Application-Driven Architecture Synthesis by

VHDL '92: The New Features of the VHDL Hardware Description Language by Berge, Jean-Michel, Fonkoua, Alain, Maginot, Serge

Parallel Algorithm Derivation and Program Transformation by

UNIX: Einstieg Für Dos-Anwender by Reepmeyer, Jan-Arnim, Taudes, Alfred

Logic and Algebra of Specification by

Distance Education for Teacher Training by

Ecoop '93 - Object-Oriented Programming: 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993. Proceedings by

Network and Operating System Support for Digital Audio and Video: Third International Workshop, La Jolla, California, Usa, November 12-13, 1992. Proce by

Persistente Objektsysteme: Integrierte Datenbankentwicklung Und Programmerstellung by Matthes, Florian

Cognitive Models and Intelligent Environments for Learning Programming by

Graphics Modeling and Visualization in Science and Technology: In Science and Technology by

The Functional Treatment of Parsing by Leermakers, René

Neural Network Perception for Mobile Robot Guidance by Pomerleau, Dean A.

Multiprocessing by Naik, Vijay K.

Computational Geometry by A. Conte, Et Demichelis Al

Computer Graphics and Applications - Proceedings of the First Pacific Conference on Computer Graphics and Applications, Pacific Graphics '93 by

A Course in Computational Algebraic Number Theory by Cohen, Henri

A Practical Theory of Programming by Hehner, Eric C. R.

Programming Language Implementation and Logic Programming: 5th International Symposium, Plilp '93, Tallinn, Estonia, August 25-27, 1993. Proceedings by

Concur'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings by

Numerische Mathematik Für Informatiker by Locher, Franz

Mathematical Foundations of Computer Science 1993: 18th International Symposium, Mfcs'93, Gdańsk, Poland, August 30-September 3, 1993 Proceedings by

REXX in Der PRAXIS by

Algorithms and Data Structures in C++ by Parker, Alan

Computers in Context: The Philosophy and Practice of System Design by Dahlbom, Mathiassen, Dahlbom, Bo

AI and Cognitive Science '92: University of Limerick, 10-11 September 1992 by

Geometric Reasoning for Perception and Action: Workshop. Grenoble, France, September 16-17, 1991. Selected Papers by

Software Engineering - Esec '93: 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings by

Verification and Validation of Complex Systems: Human Factors Issues by

Rechnerarchitektur by Giloi, Wolfgang K.

Ray Shooting, Depth Orders and Hidden Surface Removal by Berg, Mark De

Program Development by Specification and Transformation: The Prospectra Methodology, Language Family, and System by

The Design of an Extendible Graph Editor by Paulisch, Frances N.

Experimental Software Engineering Issues:: Critical Assessment and Future Directions. International Workshop, Dagstuhl Castle, Germany, September 14-1 by

Computer Analysis of Images and Patterns: 5th International Conference, Caip '93 Budapest, Hungary, September 13-15, 1993 Proceedings by

Topics in Knot Theory by

A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems by Klein, Mark, Ralya, Thomas, Pollak, Bill

The Testability of Distributed Real-Time Systems by Schütz, Werner

Human Computer Interaction by Vchci '93, Grechenig, Thomas, Tscheligi, Manfred

Design and Implementation of Symbolic Computation Systems: International Symposium, Disco '92, Bath, U.K., April 13-15, 1992. Proceedings by

Design and Implementation of Symbolic Computation Systems: International Symposium, Disco '93, Gmunden, Austria, September 15-17, 1993. Proceedings by Miola, Alfonso

Analoge Systeme: Grundlagen by Schreiber, Helmut, Wunsch, Gerhard

Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 22-24, 1993. Proceedings by

Messung, Modellierung Und Bewertung Von Rechen- Und Kommunikationssystemen: 7. Itg/Gi-Fachtagung, Aachen, 21.-23. September 1993 by

Künstliche Intelligenz: Ein Handwörterbuch Für Ingenieure by Löschner, J., Menzel, U.

Semantics of Programming Languages and Model Theory by Droste, Manfred, Gurevich, Yuri

Complexité Et Décidabilité by Dehornoy, Patrick

Performance Evaluation of Computer and Communication Systems by

Human Computer Interaction: Vienna Conference, Vchci '93, Fin de Siecle, Vienna, Austria, September 20-22, 1993. Proceedings by

The Complete Guide to the Nextstep(tm) User Environment by Shebanek, Michael B.

Algorithms - ESA '93: First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993. Proceedings by

DCE - The OSF Distributed Computing Environment, Client/Server Model and Beyond: International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993. Pr by

Twentieth-Century Poetry: From Text to Context by

Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorn by

Parallel Computation: Second International Acpc Conference, Gmunden, Austria, October 4-6, 1993. Proceedings by

Control Technology in Elementary Education by

Data Fusion Applications: Workshop Proceedings Brussels, November 25, 1992 by

The Comandos Distributed Application Platform by

Design and Decision Support Systems in Architecture by

Theoretische Grundlagen Der Informatik by Cap, Clemens H.

Hybrid Systems by

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding by

Object Technologies for Advanced Software: First Jssst International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings by

Eurocode '92: International Symposium on Coding Theory and Applications by

Fraktale Wolken, Virtuelle Flammen: Computer-Emulation Und Visualisierung Turbulenter Gasbewegung by Sakas, Georgios

The Generic Development Language Deva by Simons, Martin, LaFontaine, Christine, Weber, Matthias

Representing Uncertain Knowledge: An Artificial Intelligence Approach by Clark, Dominic, Krause, Paul

Objektorientierte Spezifikation Von Informationssystemen by

Algebraic Specification Techniques and Tools for Software Development: The ACT Approach by Ehrig, Hartmut, Claben, Ingo, Wolz, Dietmar

Program Design Calculi by

Parallel Symbolic Computing: Languages, Systems, and Applications: Us/Japan Workshop, Cambridge, Ma, Usa, October 14-17, 1992. Proceedings by

Human-Computer Interaction: Third International Conference, Ewhci '93, Moscow, Russia, August 3-7, 1993. Selected Papers by

Automated and Algorithmic Debugging: First International Workshop, Aadebug '93, Linköping, Sweden, May 3-5, 1993. Proceedings by

Intelligent Perceptual Systems: New Directions in Computational Perception by

Spatio-Temporal Image Processing: Theory and Scientific Applications by Jähne, Bernd

Higher Order Logic and Hardware Verification by Melham, T. F., Melham, Thomas F.

Pearl 93: Workshop Über Realzeitsysteme Fachtagung Der Gi-Fachgruppe 4.4.2 Echtzeitprogrammierung, Pearl Boppard, 2./3. Dezember 1993 by

Software Engineering Education: 7th SEI Csee Conference, San Antonio, Texas, Usa, January 5-7, 1994. Proceedings by

Deductive and Object-Oriented Databases: Third International Conference, Dood '93, Phoenix, Arizona, Usa, December 6-8, 1993. Proceedings by

Modellierung, Simulation Und Optimierung Von Nachrichtensystemen by Söder, Günter

Building Problem Solvers by Forbus, Kenneth D., De Kleer, Johan

Foundations of Software Technology and Theoretical Computer Science: 13th Conference, Bombay, India, December 15-17, 1993. Proceedings by

Towards Dynamic Randomized Algorithms in Computational Geometry by Teillaud, Monique

Derivation and Validation of Software Metrics by Ince, Darrel, Shepperd, Martin

Algorithms and Computation: 4th International Symposium, Isaac '93, Hong Kong, December 15-17, 1993. Proceedings by

Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report by

Intelligent Systems: Safety, Reliability and Maintainability Issues by

Proof in VDM: A Practitioner's Guide by Lindsay, Peter A., Fitzgerald, John, Bicarregui, Juan C.

Human-Computer Interaction: Third International Conference, Ewhci '93, Moscow, Russia, August 3-7, 1993. Selected Papers by Unger, C., Bass, Leonard J., Gornostaev, Iu M.

Building Problem Solvers Listings - 3.5 by Forbus, Kenneth D., De Kleer, Johan

Languages and Compilers for Parallel Computing: 5th International Workshop, New Haven, Connecticut, Usa, August 3-5, 1992. Proceedings by

Imaging: Bildverarbeitung Und Bildkommunikation by

Fuzzy Logic: Theorie Und Praxis, 3. Dortmunder Fuzzy-Tage Dortmund, 7.-9. Juni 1993 by

Einsatz Nachgiebiger Elemente Zur Wirtschaftlichen Automatisierung Von Produktionssystemen by Kugelmann, Franz

The Growth of Religious Diversity - Vol 1: Britain from 1945 Volume 1: Traditions by

Algebraic Methodology and Software Technology (Amast'93): Proceedings of the Third International Conference on Algebraic Methodology and Software Tech by

State of the Art in Computer Graphics: Aspects of Visualization by

CAD Geometry Data Exchange Using Step: Realisation of Interface Processors by

Integration of Graphics and OSI Standards by

Simulationsgestützte Cad/Cam-Kopplung Für Die 3d-Laserbearbeitung Mit Integrierter Sensorik by Schwarz, Helmut

3d-Bewegungssimulation ALS Integratives Hilfsmittel Zur Planung Manueller Montagesysteme by Kummetsteiner, Günter

Rechnergestütztes System Zur Automatisierten 3d-Layoutoptimierung by Woenckhaus, Christoph

Speech-To-Speech Translation: A Massively Parallel Memory-Based Approach by Kitano, Hiroaki

A Pyramid Framework for Early Vision: Multiresolutional Computer Vision by Rosenfeld, Azriel, Jolion, Jean-Michel

Scale-Space Theory in Computer Vision by Lindeberg, Tony

Concurrent and Comparative Discrete Event Simulation by Agrawal, Vishwani D., Ulrich, Ernst G., Arabian, Jack H.