Programming in 1994

Numerical Simulation in Science and Engineering: Proceedings of the Fortwihr Symposium on High Performance Scientific Computing, München, June 17-18, by

Interaktive Systeme: Software-Entwicklung Und Software-Ergonomie by Stary, Christian

Einführung Von Cscw-Systemen in Organisationen: Tagungsband Der D-Cscw' 94 by Hasenkamp, Ulrich

Software-Wiederverwendung: Konzeption Einer Domänenorientierten Architektur by Küffmann, Karin

Adaptive Methods -- Algorithms, Theory and Applications: Proceedings of the Ninth Gamm-Seminar Kiel, January 22-24, 1993 by

Managing Software Engineering: Case Studies and Solutions by Alan C. Gillies, Peter Smith

Information Modeling: The Express Way by Wilson, Peter R., Schenck, Douglas A.

Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday by

Software Process Technology: Third European Workshop, Ewspt '94, Villard de Lans, France, February 7-9, 1994. Proceedings by

Categories for Types by Crole, Roy L.

Crystallographic Computing 6: A Window on Modern Crystallography by

Categories for Types by Crole, Roy L.

Logic Program Synthesis and Transformation: Proceedings of Lopstr 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-La by

Languages and Compilers for Parallel Computing: 6th International Workshop, Portland, Oregon, Usa, August 12 - 14, 1993. Proceedings by

An Extended Entity-Relationship Model: Fundamentals and Pragmatics by Gogolla, Martin

Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation by Wagner, Gerd

Computer Aided Systems Theory - Eurocast '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas by

Distributed and Parallel Database Object Management by

Algorithms and Data Structures: An Approach in C by Bowman, Charles F.

Computer-Aided Graphics and Design by Ryan, Daniel L.

Claris Draw Designers Guide by Bernstein, Brett

Mastering MicroGrafX Designer 4.0 by Sybex, Fadiman, Clifton

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science by Davis, Martin, Sigal, Ron, Weyuker, Elaine J.

Stacs 94: 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24-26, 1994 Proceedings by

Simulation Von Meßschaltungen: Praktische Beispiele Mit PSPICE Berechnen by Pfeiffer, Wolfgang

Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-Critical Systems Symposium, Birmingham, Uk, 8-10 February 1994 by

Informatik Im Maschinenbau by Kutscha, Sebastian

Programming Languages and System Architectures: International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings by

Database Programming Languages (Dbpl-4): Proceedings of the Fourth International Workshop on Database Programming Languages -- Object Models and Langu by

Information and the Internal Structure of the Universe: An Exploration Into Information Physics by Stonier, Tom

Shape in Picture: Mathematical Description of Shape in Grey-Level Images by

Visualization of Scientific Parallel Programs by Ueberhuber, Christoph W., Tomas, Gerald

Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives by

Concrete Mathematics: A Foundation for Computer Science by Graham, Ronald, Patashnik, Oren, Knuth, Donald

Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives by Banatre, Michel, Lee, P. A.

Languages and Compilers for Parallel Computing: 6th International Workshop, Portland, Oregon, USA, August 12 - 14, 1993. Proceedings by

Mobile Communications - Advanced Systems and Components: 1994 International Zurich Seminar on Digital Communications, Zurich, Switzerland, March 8-11, by

100 Rezepte Für Excel 5.0: Tips Mit Pfiff Für Einsteiger, Umsteiger Und Fortgeschrittene by

Systematik Zum Prüfen in Flexiblen Fertigungssystemen by Viethen, Ulrich

Nebenläufige Programme by Herrtwich, Ralf, Hommel, Günter

Advances in Database Technology - Edbt '94: 4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28 - 31, 1 by

Informatik-Management: Aufgabengebiete - Lösungswege - Controlling by Moll, Karl-Rudolf

Programmverifikation: Sequentielle, Parallele Und Verteilte Programme by Apt, Krzysztof R., Olderog, Ernst-Rüdiger

Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings by

Trees in Algebra and Programming - Caap '94: 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings by

Compiler Construction: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings by

Graph Transformations in Computer Science: International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings by

Informatik: Grundlagen Mit Einer Einführung in Pascal by Roller, Dieter

The Design and Evolution of C++ by Stroustrup, Bjarne

Semantics of Specification Languages (Sosl): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlan by

Theoretical Aspects of Computer Software: International Symposium Tacs '94 Sendai, Japan, April 19-22, 1994 Proceedings by

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu by

Computational Approaches in Supramolecular Chemistry by

Interior Point Approach to Linear, Quadratic and Convex Programming: Algorithms and Complexity by Den Hertog, D.

Computer - Neue Flügel des Geistes? by Mainzer, Klaus

Bildverstehen by Pinz, Axel

High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 1: Appli by

High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 2: Netwo by

Eine Simulationsumgebung Für Planung Und Betrieb Von Produktionssystemen by Amann, Wolfgang

Computer Performance Evaluation: Modelling Techniques and Tools: Modelling Techniques and Tools. 7th International Conference, Vienna, Austria, May 3 by

Computer Vision - Eccv '94: Third European Conference on Computer Vision, Stockholm, Sweden, May 2 - 6, 1994. Proceedings, Volume 1 by

Computer Vision - Eccv '94: Third European Conference on Computer Vision, Stockholm, Sweden, May 2 - 6, 1994. Proceedings, Volume 2 by

Photorealistic Rendering in Computer Graphics: Proceedings of the Second Eurographics Workshop on Rendering by

Illustrating C by Alcock, Donald, Alcook, Donald

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th Compass Workshop, Caldes de Malavell by

Practical SGML by Van Herwijnen, Eric

Loop Parallelization by Banerjee, Utpal

Advances in Signal Processing for Nondestructive Evaluation of Materials by Maldague, Xavier, NATO Advanced Research Workshop on Advances in Signal Proces

Entwicklung Von Anwendungssystemen: Grundzüge Eines Werkzeuggestützten Vorgehens by Schumann, Matthias, Schüle, Hubert, Schumann, Ulrike

Computation and Reasoning - A Type Theory for Computer Science by Luo, Zhaohui

Multimedia/Hypermedia in Open Distributed Environments: Proceedings of the Eurographics Symposium in Graz, Austria, June 6-9, 1994 by

Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, La, Usa, April 7 - 10, 1993. Proceedings by

Advanced Information Systems Engineering: 6th International Conference, Caise '94, Utrecht, the Netherlands, June 6 - 10, 1994. Proceedings by

Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers by

Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings by

Object-Based Distributed Programming: Ecoop '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings by

Concurrent Scientific Computing by Van De Velde, Eric F.

Neutral Interfaces in Design, Simulation, and Programming for Robotics by

The Interaction of Compilation Technology and Computer Architecture by

Algorithmic and Combinatorial Algebra by Kukin, G. P., Bokut', L. a.

Effizienter Einsatz Bildgebender Sensoren Zur Flexibilisierung Automatisierter Handhabungsvorgänge by Welling, Ando

Listen, Bäume Und Graphen ALS Objekte: Mit Beispielen in Object Pascal by Schaerer, Daniel

Parle '94 Parallel Architectures and Languages Europe: 6th International Parle Conference, Athens, Greece, July 4 - 8, 1994. Proceedings by

Computer Algorithms by Ieee, Aoe, Jun-Ichi

Security for Object-Oriented Systems: Proceedings of the Oopsla-93 Conference Workshop on Security for Object-Oriented Systems, Washington DC, Usa, 26 by

Ecoop '94 - Object-Oriented Programming: 8th European Conference, Bologna, Italy, July 4-8, 1994. Proceedings by

Functional Programming, Glasgow 1993: Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5-7 July 1993 by

Algorithm Theory - Swat '94: 4th Scandianvian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994. Proceedings by

Optimierung mit genetischen und selektiven Algorithmen by Kinnebrock, Werner

Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings by

Fast Software Encryption: Cambridge Security Workshop, Cambridge, U.K., December 9 - 11, 1993. Proceedings by

A Decade of Concurrency: Reflections and Perspectives: Reflections and Perspectives. Rex School/Symposium Noordwijkerhout, the Netherlands, June 1 - 4 by

Implementations of Logic Programming Systems by

An Introduction to FORTRAN 90 for Scientific Computing by Ortega, James M.

Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994 by

Neural Network Modeling: Statistical Mechanics and Cybernetic Perspectives by Degroff, Dolores, Neelakanta, P. S.

6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, Organised by Bcs-Facs, London, 5-7 January 1994 by

Applications of Invariance in Computer Vision: Second Joint European - Us Workshop, Ponta Delgada, Azores, Portugal, October 9 - 14, 1993. Proceedings by

Parallel Computing Using Prefix Problem by Lakshmivarahan, S., Dhall, Sudarshan K.

Logic Programming: The 11th International Conference by

Z: An Introduction to Formal Methods by Diller, Antoni, Diller

Die X/Motif Umgebung: Eine Einführung Für Anwender Und Systemverwalter by Barton, Robert

Concur '94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings by

Karel the Robot: A Gentle Introduction to the Art of Programming by Pattis, Richard E., Pattis, Roberts, Jay

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected by

Isabelle: A Generic Theorem Prover by Paulson, Lawrence C.

Subrecursive Programming Systems: Complexity & Succinctness by Royer, James S., Case, John

Adaptive User Support: Ergonomic Design of Manually and Automatically Adaptable Software by

Mathematical Foundations of Computer Science 1994: 19th International Symposium, Mfcs'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings by

X Users Guide Motif R5: Motif Edition by O'Reilly, Tim, Quercia, Valerie

Incompleteness and Uncertainty in Information Systems: Proceedings of the Softeks Workshop on Incompleteness and Uncertainty in Information Systems, C by

Algebraic and Logic Programming: 4th International Conference, Alp '94, Madrid, Spain, September 14-16, 1994. Proceedings by

Programming Language Implementation and Logic Programming: 6th International Symposium, Plilp '94, Madrid, Spain, September 14 - 16, 1994. Proceedings by

Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings by

Visualizing with CAD: An Auto CAD Exploration of Geometric and Architectural Forms by Bertol, Daniela

Programming Environments for Massively Parallel Distributed Systems: Working Conference of the Ifip Wg 10.3, April 25-29, 1994 by

Treewidth: Computations and Approximations by Kloks, Ton

The Traveling Salesman: Computational Solutions for Tsp Applications by Reinelt, Gerhard

Turing Machines with Sublogarithmic Space by Szepietowski, Andrzej

3d-Graphik Mit Hoops: Einführung in Die Programmierung by Christov, Ljubomir, Gorzelanczyk, Markus

Principles of Case Tool Integration by Carney, David J., Morris, Edwin J., Brown, Alan W.

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys by

Object-Oriented Methodologies and Systems: International Symposium Isooms '94, Palermo, Italy, September 21-22, 1994. Proceedings by

Software-Reengineering by Kaufmann, Achim H.

Prozeßrechentechnik: Grundlagen, Hardware, Echtzeitverhalten by Färber, Georg

Methodik Der Programmierung in Pascal by Marty, Rudolf

Auftragsleittechnik Für Konstruktion Und Arbeitsplanung by Lindl, Michael

Software-Entwicklung Im Team: Mehr Qualität Durch Das Dialogische Prinzip Bei Der Projektarbeit by Pasch, Jürgen

Strömungstechnische Optimierung Von Produktionssystemen Durch Simulation by Engel, Andreas

Informatik. Eine Grundlegende Einführung: Teil III: Systemstrukturen Und Systemnahe Programmierung by Broy, Manfred

Das Integrierte Betriebsmittelwesen -- Baustein Einer Flexiblen Fertigung by Zipper, Brigitte

Verfahren Zur Simulationsgestützten Produktionsregelung in Der Einzel- Und Kleinserienproduktion by Zetlmayer, Heinrich

Distributed Algorithms: 8th International Workshop, Wdag 1994, Terschelling, the Netherlands, September 29 - October 1, 1994. Proceedings by

Algorithms - ESA '94: Second Annual European Symposium, Utrecht, the Netherlands, September 26 - 28, 1994. Proceedings by

Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings by

C by Example by Kalicharan, Noel

Parallel Problem Solving from Nature - Ppsn III: International Conference on Evolutionary Computation. the Third Conference on Parallel Problem Solvin by

Multimedia: Advanced Teleservices and High-Speed Communication Architectures: Second International Workshop, Iwaca '94, Heidelberg, Germany, September by

Schaum's Outline of Programming with FORTRAN 77 by Cwiakala, Martin, Mayo, Willam E.

Just-In-Time Systems for Computing Environments by Ludin, Irwin S., Kliem, Ralph L. Pmp

Entwicklung Ingenieurwissenschaftlicher Datenbankanwendungen: Ein Objektorientiertes Datenmodell by Wallrath, Mechtild

Numerical Integration: On Advanced Computer Systems by

Parallel Computer Routing and Communication: First International Workshop, Pcrcw '94, Seattle, Washington, Usa, May 16-18, 1994. Proceedings by

Erfolgreich Programmieren Mit ADA: Unter Berücksichtigung Des Objektorientierten Standards by Schmidt, Diana

Network and Operating System Support for Digital Audio and Video: 4th International Workshop Nossdav '93, Lancaster, Uk, November 3-5, 1993. Proceedin by

The Osi95 Transport Service with Multimedia Support by

Design Issues in Cscw by

Foundations of Dependable Computing: Paradigms for Dependable Applications by

Foundations of Dependable Computing: System Implementation by

Multithreaded Computer Architecture: A Summary of the State of the Art by

Genetic Learning for Adaptive Image Segmentation by Sungkee Lee, Bhanu, Bir

Advances in Object-Oriented Database Systems by

Responsive Computing: A Special Issue of Real-Time Systems the International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994) by

Data Structures, Algorithms, and Software Principles in C by Standish, Thomas

Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proce by

Principles and Practice of Constraint Programming: Second International Workshop, Ppcp '94, Rosario, Orcas Island, Wa, Usa, May 2 - 4, 1994. Proceedin by

Notations for Software Design by Jonkers, Hans B. M., Middelburg, Cornelis a., Feijs, Loe M. G.

Human-Computer Interaction: 4th International Conference, Ewhci '94, St. Petersburg, Russia, August 2 - 5, 1994. Selected Papers by

Distributed Programming Paradigms with Cryptography Applications by Greenfield, Jonathan S.

Cognitive Aspects of Visual Languages and Visual Interfaces: Volume 11 by

Multiprocessor Execution of Logic Programs by Gupta, Gopal

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems by

Design Patterns: Elements of Reusable Object-Oriented Software by Johnson, Ralph, Gamma, Erich, Helm, Richard

The Combinatory Programme by Engeler, Erwin

Computerized Symbolic Manipulation in Mechanics by

Multimedia Transport and Teleservices: International Cost 237 Workshop, Vienna, Austria, November 13 - 15, 1994. Proceedings by

PROLOG for Computer Science by Dawe, Christopher

Advances in Librarianship by

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

Curves and Fractal Dimension by Tricot, Claude

Fuzzy Logik: Theorie Und PRAXIS 4. Dortmunder Fuzzy-Tage Dortmund, 6.-8. Juni 1994 by

Parallel, Distributed and Multiagent Production Systems by

Parallel Scientific Computing: First International Workshop, Para '94, Lyngby, Denmark, June 20 - 23, 1994. Proceedings by

A Numerical Library in C for Scientists and Engineers by Lau, Hang T.

The Muse Method for Usability Engineering by Lim, Kee Yong, Long, John B.

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 by Jensen, Kurt

Entity-Relationship Approach - Er '94. Business Modelling and Re-Engineering: 13th International Conference on the Entity-Relationship Approach, Manch by

Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, Lopstr '94 and Meta '94, Pisa, Italy, June 20 - 2 by

Cooperating Heterogeneous Systems by Schwartz, David G.

Algebraic Systems and Computational Complexity Theory by Wang, Z., Xu, S., Wang, Tse-K'o

Applications of Logic Databases by

Closed Object Boundaries from Scattered Points by Veltkamp, Remco C.

Essential C: An Introduction for Scientists and Engineers by Scarbrough, M. G., Andersen, P. K., Bjedov, G.

ADA in Europe: First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 - 30, 1994. Proceedings by

On the Refinement Calculus by

Integrierte Qualitätssicherung in Flexiblen Fertigungszellen by Kahlenberg, Robert

Graphics and Robotics by

Computer Visualization: Graphics Techniques for Engineering and Scientific Analysis by

The Design and Implementation of a Log-Structured File System by Rosenblum, Mendel

The Field Programming Environment: A Friendly Integrated Environment for Learning and Development by Reiss, Steven P.

Logic Program Synthesis from Incomplete Information by Flener, Pierre

Software Quality and Productivity: Theory, Practice, Education and Training by