Programming in 1994

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

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

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

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

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

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

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

Crystallographic Computing 6: A Window on Modern Crystallography by

Categories for Types by Crole, Roy L.

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

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

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

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

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

Distributed and Parallel Database Object Management by

The MIPS Programmer's Handbook by Farquhar, Erin, Bunce, Philip J.

Computer-Aided Graphics and Design, Third Edition, by Ryan, Ryan L., Ryan, Una S., Ryan, Daniel L.

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

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

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

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

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

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

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

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

User-Centred Requirements for Software Engineering Environments by

Shape in Picture: Mathematical Description of Shape in Grey-Level Images 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.

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 Hommel, Günter, Herrtwich, Ralf

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

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

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

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

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

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 Vision - Eccv '94: Third European Conference on Computer Vision, Stockholm, Sweden, May 2 - 6, 1994. Proceedings, Volume 1 by

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

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

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

Illustrating C by Alcock, Donald G.

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

Practical SGML by Van Herwijnen, Eric

Loop Parallelization by Banerjee, Utpal

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

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

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

Concurrent Scientific Computing by Van De Velde, Eric F.

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

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

Algorithms for Continuous Optimization: The State of the Art 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 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

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

Optimierung mit genetischen und selektiven Algorithmen by Kinnebrock, Werner

Computer Program Construction by Desharnais, Jules, Mili, Fatma, Mili, Ali

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

Z: An Introduction to Formal Methods by Diller, Antoni

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

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.

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 Case, John, Royer, James S.

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

Xlib Programming Manual, Rel. 5 by Nye, Adrian

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

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

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

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

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

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

Treewidth: Computations and Approximations by Kloks, Ton

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

Turing Machines with Sublogarithmic Space by Szepietowski, Andrzej

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

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

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

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

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

Software-Reengineering by Kaufmann, Achim H.

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

Auftragsleittechnik Für Konstruktion Und Arbeitsplanung by Lindl, Michael

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

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

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

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

Methodik Der Programmierung in Pascal by Marty, Rudolf

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

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

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

C by Example by Kalicharan, Noel

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

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

Sch Programming W/FORTRAN 77 by Mayo

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

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

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

Entwicklung Ingenieurwissenschaftlicher Datenbankanwendungen: Ein Objektorientiertes Datenmodell by Wallrath, Mechtild

The Osi95 Transport Service with Multimedia Support by

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

Foundations of Dependable Computing: Paradigms for Dependable Applications by

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

Foundations of Dependable Computing: System Implementation by

Design Issues in Cscw by

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

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

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

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

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

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.

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

Multiprocessor Execution of Logic Programs by Gupta, Gopal

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

The Combinatory Programme by Engeler, Erwin

Computerized Symbolic Manipulation in Mechanics by

Mathematica Graphics: Techniques & Applications by Wickham-Jones, Tom

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

Curves and Fractal Dimension by Tricot, Claude

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

Parallel, Distributed and Multiagent Production Systems by

Fuzzy Logik: Theorie Und PRAXIS 4. Dortmunder Fuzzy-Tage Dortmund, 6.-8. Juni 1994 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

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

Cooperating Heterogeneous Systems by Schwartz, David G.

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

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

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

Applications of Logic Databases by

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

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

On the Refinement Calculus by

Graphics and Robotics by

Integrierte Qualitätssicherung in Flexiblen Fertigungszellen by Kahlenberg, Robert

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

Logic Program Synthesis from Incomplete Information by Flener, Pierre

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

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