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

Parallele Programmierung: Eine Einführung by

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

Requirements Engineering '93: Prototyping by

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

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

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

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

Iran: Political Culture in the Islamic Republic by

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

Microprogrammed State Machine Design by Lynch, Michel A.

Multisensor Fusion for Computer Vision 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

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

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

Program Verification: Fundamental Issues in Computer Science by

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

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

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

Parallel Computing on Distributed Memory Multiprocessors by

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings 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

Geometric Modelling by

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

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

Participatory Design: Principles and Practices by

Logic Programming Languages: Constraints, Functions, and Objects by

Programmieren in FORTRAN by Langer, Erasmus

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

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

A Plain Tex Primer by Clark, Malcolm

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

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

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

Database Application Engineering with Daida by

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

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

Motion Analysis and Image Sequence Processing by

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

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

Fme '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. 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

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

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

Case-Based Learning by

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

Persistent Object Systems: Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September 1992 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

Advances in Petri Nets 1993 by

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

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

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

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

Brain Theory: Spatio-Temporal Aspects of Brain Function by

Information Processing in Medical Imaging: 13th International Conference, Ipmi'93, Flagstaff, Arizona, Usa, 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

Ada-Europe '93: 12th Ada-Europe International Conference, ADA Sans Frontieres, Paris, France, June 14-18, 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

Simulation Validation by Knepell, Peter L., Arangno, Deborah C.

Formal Methods in Systems Engineering by

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

Functional Programming, Concurrency, Simulation and Automated Reasoning by

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

Specification and Proof in Real Time CSP by Davies, Jim

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

Information Und Kommunikation: Zur Menschengerechten Technikgestaltung by Kornwachs, Klaus

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

Application-Driven Architecture Synthesis by

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

Parallel Algorithm Derivation and Program Transformation by

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

Formal Methods in Systems Engineering by

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

Algorithms and Data Structures: Third Workshop, Wads '93, Montreal, Canada, August 11-13, 1993. Proceedings 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é

Multiprocessing by Naik, Vijay K.

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

Query Processing for Advanced Database Systems 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

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

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

Verification and Validation of Complex Systems: Human Factors Issues by

Rechnerarchitektur by Giloi, Wolfgang K.

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

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

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

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

Topics in Knot Theory by

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 Wunsch, Gerhard, Schreiber, Helmut

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.

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

Fundamentals of Operating Systems by Lister, A.

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

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

Algorithms - ESA '93: First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993. Proceedings 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

The Comandos Distributed Application Platform by

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

Control Technology in Elementary Education by

On Systems Analysis and Simulation of Ecological Processes with Examples in Csmp and FORTRAN 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

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

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

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

A Logical Approach to Discrete Math by Gries, David, Schneider, Fred B.

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

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

Objektorientierte Spezifikation Von Informationssystemen by

Program Design Calculi by

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

Intelligent Perceptual Systems: New Directions in Computational Perception by

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

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

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

Towards Dynamic Randomized Algorithms in Computational Geometry by Teillaud, Monique

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

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

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

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

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

Intelligent Systems: Safety, Reliability and Maintainability Issues by

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.

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

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

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

Imaging: Bildverarbeitung Und Bildkommunikation by

Embedded Systems Programming in C and Assembly/Book and Disk 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

Parallel Computation: Practical Implementation of Algorithms and Machines by

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

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

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

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

Scale-Space Theory in Computer Vision by Lindeberg, Tony

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

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