Programming in 1993

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

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

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

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

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

CICS: Eine Praxisorientierte Einführung by Kregeloh, Thomas

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

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

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

Requirements Engineering '93: Prototyping by

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

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

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

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

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

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

Parallele Programmierung: Eine Einführung by

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

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

Iran: Political Culture in the Islamic Republic by

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

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

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

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

Program Verification: Fundamental Issues in Computer Science by

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

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

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

Geometric Modelling 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

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

Participatory Design: Principles and Practices by

Logic Programming Languages: Constraints, Functions, and Objects by

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

Programmieren in FORTRAN by Langer, Erasmus

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

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

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

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

Database Application Engineering with Daida by

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

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

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

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 Kulisch, Ulrich, Klatte, Rudi

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

Case-Based Learning by

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

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

Advances in Petri Nets 1993 by

Advanced Information Systems Engineering: 5th International Conference, Caise '93, Paris, France, June 8-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 Arangno, Deborah C., Knepell, Peter L.

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

Formal Methods in Systems Engineering by

Functional Programming, Concurrency, Simulation and Automated Reasoning by

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

Information Und Kommunikation: Zur Menschengerechten Technikgestaltung by Kornwachs, Klaus

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

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

Application-Driven Architecture Synthesis by

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

Algorithms and Data Structures: Third Workshop, Wads '93, Montreal, Canada, August 11-13, 1993. Proceedings by

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

Persistente Objektsysteme: Integrierte Datenbankentwicklung Und Programmerstellung by Matthes, Florian

Cognitive Models and Intelligent Environments for Learning Programming by

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

Multiprocessing by Naik, Vijay K.

The Functional Treatment of Parsing by Leermakers, René

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.

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

Programming Language Implementation and Logic Programming: 5th International Symposium, Plilp '93, Tallinn, Estonia, August 25-27, 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

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

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

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

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

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

Verification and Validation of Complex Systems: Human Factors Issues by

Rechnerarchitektur by Giloi, Wolfgang K.

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

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

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

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

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

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

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 Menzel, U., Löschner, J.

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

Control Technology in Elementary Education by

The Comandos Distributed Application Platform by

Data Fusion Applications: Workshop Proceedings Brussels, November 25, 1992 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 Mathiassen, Lars, Dahlbom, Bo

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 Schneider, Fred B., Gries, David

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

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

Intelligent Perceptual Systems: New Directions in Computational Perception by

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

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

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

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

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

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

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

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

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 Bass, Leonard J., Gornostaev, Iu M., Unger, C.

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

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

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

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

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

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

Scale-Space Theory in Computer Vision by Lindeberg, Tony

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

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

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