Lecture Notes in Computer Science (LNCS), Volumes 700-799

700

Andrzej Lingas, Rolf G. Karlsson, Svante Carlsson (Eds.): Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings. Springer 1993, ISBN 3-540-56939-1
Contents

701

Paolo Atzeni (Ed.): LOGIDATA+: Deductive Databases with Complex Objects. Lecture Notes in Computer Science Vol. 701 Springer 1993, ISBN 3-540-56974-X
Contents

702

Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter (Eds.): Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Springer 1993, ISBN 3-540-56992-8
Contents

703

Mark de Berg: Ray Shooting, Depth Orders and Hidden Surface Removal. Lecture Notes in Computer Science Vol. 703 Springer 1993, ISBN 3-540-57020-9

704

Frances Newbery Paulisch: The Deisgn of an Extendible Graph Editor. Lecture Notes in Computer Science Vol. 704 Springer 1993, ISBN 3-540-57090-X

705

Herbert Grünbacher, Reiner W. Hartenstein (Eds.): Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping, Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31 - September 2, 1992, Selected Papers. Springer 1993, ISBN 3-540-57091-8
Contents

706

H. Dieter Rombach, Victor R. Basili, Richard W. Selby (Eds.): Experimental Software Engineering Issues: Critical Assessment and Future Directions, International Workshop Dagstuhl Castle, Germany, September 14-18, 1992, Proceedings. Springer 1993, ISBN 3-540-57092-6
Contents

707

Oscar Nierstrasz (Ed.): ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993, Proceedings. Springer 1993, ISBN 3-540-57120-5
Contents

708

Christian Laugier (Ed.): Geometric Reasoning for Perception and Action, Workshop, Grenoble, France, September 16-17, 1991, Selected Papers. Springer 1993, ISBN 3-540-57132-9
Contents

709

Frank K. H. A. Dehne, Jörg-Rüdiger Sack, Nicola Santoro, Sue Whitesides (Eds.): Algorithms and Data Structures, Third Workshop, WADS '93, Montréal, Canada, August 11-13, 1993, Proceedings. Springer 1993, ISBN 3-540-57155-8
Contents

710

Zoltán Ésik (Ed.): Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings. Springer 1993, ISBN 3-540-57163-9
Contents

711

Andrzej M. Borzyszkowski, Stefan Sokolowski (Eds.): Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings. Springer 1993, ISBN 3-540-57182-5
Contents

712

P. Venkat Rangan (Ed.): Network and Operating System Support for Digital Audio and Video, Third International Workshop, La Jolla, California, USA, November 12-13, 1992, Proceedings. Springer 1993, ISBN 3-540-57183-3
Contents

713

Georg Gottlob, Alexander Leitsch, Daniele Mundici (Eds.): Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings. Springer 1993, ISBN 3-540-57184-1
Contents

714

Maurice Bruynooghe, Jaan Penjam (Eds.): Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings. Springer 1993, ISBN 3-540-57186-8
Contents

715

Eike Best (Ed.): CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings. Springer 1993, ISBN 3-540-57208-2
Contents

716

Andrew U. Frank, Irene Campari (Eds.): Spatial Information Theory: A Theoretical Basis for GIS, International Conference COSIT '93, Marciana Marina, Elba Island, Italy, September 19-22, 1993, Proceedings. Springer 1993, ISBN 3-540-57207-4
Contents

717

Ian Sommerville, Manfred Paul (Eds.): Software Engineering - ESEC '93, 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993, Proceedings. Springer 1993, ISBN 3-540-57209-0
Contents

718

Jennifer Seberry, Yuliang Zheng (Eds.): Advances in Cryptology - AUSCRYPT '92, Workshop on the Theory and Application of Cryptographic Techniques, Gold Coast, Queensland, Australia, December 13-16, 1992, Proceedings. Springer 1993, ISBN 3-540-57220-1
Contents

719

Dmitry Chetverikov, Walter G. Kropatsch (Eds.): Computer Analysis of Images and Patterns, 5th International Conference, CAIP'93, Budapest, Hungary, September 13-15, 1993, Proceedings. Springer 1993, ISBN 3-540-57233-3
Contents

720

Vladimír Marík, Jirí Lazanský, Roland Wagner (Eds.): Database and Expert Systems Applications, 4th International Conference, DEXA'93, Prague, Czech Republic, September 6-8, 1993, Proceedings. Springer 1993, ISBN 3-540-57234-1
Contents

721

John Fitch (Ed.): Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings. Springer 1993, ISBN 3-540-57272-4
Contents

722

Alfonso Miola (Ed.): Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings. Springer 1993, ISBN 3-540-57235-X
Contents

723

Nathalie Aussenac-Gilles, Guy A. Boy, Brian R. Gaines, Jean-Gabriel Ganascia, Yves Kodratoff, Marc Linster (Eds.): Knowledge Acquisition for Knowledge-Based Systems, 7th European Workshop, EKAW'93, Toulouse and Caylus, France, September 6-10, 1993, Proceedings. Springer 1993, ISBN 3-540-57253-8
Contents

724

Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (Eds.): Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Springer 1993, ISBN 3-540-57264-3
Contents

725

André Schiper (Ed.): Distributed Algorithms, 7th International Workshop, WDAG '93, Lausanne, Switzerland, September 27-29, 1993, Proceedings. Springer 1993, ISBN 3-540-57271-6
Contents

726

Thomas Lengauer (Ed.): Algorithms - ESA '93, First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993, Proceedings. Springer 1993, ISBN 3-540-57273-2
Contents

727

Miguel Filgueiras, Luís Damas (Eds.): Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings. Springer 1993, ISBN 3-540-57287-2
Contents

728

Pietro Torasso (Ed.): Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA'93, Torino, Italy, October 26-28, 1993, Proceedings. Springer 1993, ISBN 3-540-57292-9
Contents

729

Lorenzo Donatiello, Randolph D. Nelson (Eds.): Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93, Santa Clara, CA, USA, May 10-14, 1993. Springer 1993, ISBN 3-540-57297-X
Contents

730

David B. Lomet (Ed.): Foundations of Data Organization and Algorithms, 4th International Conference, FODO'93, Chicago, Illinois, USA, October 13-15, 1993, Proceedings. Springer 1993, ISBN 3-540-57301-1
Contents

731

Alexander Schill (Ed.): DCE - The OSF Distributed Computing Environment, Client/Server Model and Beyond, International DCE Workshop, Karlsruhr, Germany, October 7-8, 1993, Proceedings. Springer 1993, ISBN 3-540-57306-2
Contents

732

Arndt Bode, Mario Dal Cin (Eds.): Parallel Computer Architectures: Theory, Hardware, Software, Applications. Springer 1993, ISBN 3-540-57307-0
Contents

733

Thomas Grechenig, Manfred Tscheligi (Eds.): Human Computer Interaction, Vienna Conference, VCHCI '93, Fin de Siècle, Vienna, Austria, September 20-22, 1993, Proceedings. Springer 1993, ISBN 3-540-57312-7
Contents

734

Jens Volkert (Ed.): Parallel Computation, Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993, Proceedings. Springer 1993, ISBN 3-540-57314-3
Contents

735

Dines Bjørner, Manfred Broy, Igor V. Pottosin (Eds.): Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings. Springer 1993, ISBN 3-540-57316-X
Contents

736

Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (Eds.): Hybrid Systems. Springer 1993, ISBN 3-540-57318-6
Contents

737

Jacques Calmet, John A. Campbell (Eds.): Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings. Springer 1993, ISBN 3-540-57322-4
Contents

738

Matthias Weber, Martin Simons, Christine Lafontaine: The Generic Development Language Deva: Presentation and Case Studies. Lecture Notes in Computer Science Vol. 738 Springer 1993, ISBN 3-540-57335-6

739

Hideki Imai, Ronald L. Rivest, Tsutomu Matsumoto (Eds.): Advances in Cryptology - ASIACRYPT '91, International Conference on the Theory and Applications of Cryptology, Fujiyoshida, Japan, November 11-14, 1991, Proceedings. Springer 1993, ISBN 3-540-57332-1
Contents

740

Ernest F. Brickell (Ed.): Advances in Cryptology - CRYPTO '92, 12th Annual International Cryptology Conference, Santa Barbara, California, USA, August 16-20, 1992, Proceedings. Springer 1993, ISBN 3-540-57340-2
Contents

741

Bart Preneel, René Govaerts, Joos Vandewalle (Eds.): Computer Security and Industrial Cryptography - State of the Art and Evolution, ESAT Course, Leuven, Belgium, May 21-23, 1991. Springer 1993, ISBN 3-540-57341-0
Contents

742

Shojiro Nishio, Akinori Yonezawa (Eds.): Object Technologies for Advanced Software, First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993, Proceedings. Springer 1993, ISBN 3-540-57342-9
Contents

743

Shuji Doshita, Koichi Furukawa, Klaus P. Jantke, Toyoaki Nishida (Eds.): Algorithmic Learning Theory, Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992, Proceedings. Springer 1993, ISBN 3-540-57369-0
Contents

744

Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita, Takashi Yokomori (Eds.): Algorithmic Learning Theory, 4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993, Proceedings. Springer 1993, ISBN 3-540-57370-4
Contents

745

Vito Roberto: Intelligent Perceptual Systems: New Directions in Computational Perception. Lecture Notes in Computer Science Vol. 745 Springer 1993, ISBN 3-540-57379-8

746

Andranick Tanguiane: Artificail Perception and Music Recognition. Lecture Notes in Computer Science Vol. 746 Springer 1993, ISBN 3-540-57394-1

747

Michael Clarke, Rudolf Kruse, Serafín Moral (Eds.): Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'93, Granada, Spain, November 8-10, 1993, Proceedings. Springer 1993, ISBN 3-540-57395-X
Contents

748

Robert H. Halstead Jr., Takayasu Ito (Eds.): Parallel Symbolic Computing: Languages, Systems, and Applications, US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings. Springer 1993, ISBN 3-540-57396-8
Contents

749

Peter Fritszon (Ed.): Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings. Springer 1993, ISBN 3-540-57417-4
Contents

750

Jorge L. Díaz-Herrera (Ed.): Software Engineering Education, 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994, Proceedings. Springer 1994, ISBN 3-540-57461-1
Contents

751

Bernd Jähne: Spatio-Temporal Image Processing: Theory and Scientific Applications. Lecture Notes in Computer Science Vol. 751 Springer 1993, ISBN 3-540-57418-2

752

Timothy W. Finin, Charles K. Nicholas, Yelena Yesha (Eds.): Information and Knowledge Management, Expanding the Definition of "Database", First International Conference, CIKM'92, Baltimore, Maryland, USA, November 8-11, 1992, Selected Papers. Springer 1993, ISBN 3-540-57419-0
Contents

753

Leonard J. Bass, Juri Gornostaev, Claus Unger (Eds.): Human-Computer Interaction, Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993, Selected Papers. Springer 1993, ISBN 3-540-57433-6
Contents

754

Heather Pfeiffer, Timothy E. Nagle (Eds.): Conceptual Structures: Theory and Implementation, 7th Annual Workshop, Las Cruces, NM, USA, July 8-10, 1992, Proceedings. Springer 1993, ISBN 3-540-57454-9
Contents

755

Bernhard Möller, Helmuth Partsch, Stephen A. Schuman (Eds.): Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report. Springer 1993, ISBN 3-540-57499-9
Contents

756

Josef Pieprzyk, Babak Sadeghiyan: Design of Hashing Algorithms. Lecture Notes in Computer Science Vol. 756 Springer 1993, ISBN 3-540-57500-6

757

Utpal Banerjee, David Gelernter, Alexandru Nicolau, David A. Padua (Eds.): Languages and Compilers for Parallel Computing, 5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992, Proceedings. Springer 1993, ISBN 3-540-57502-2
Contents

758

Monique Teillaud: Towards Dynamic Randomized Algorithms in Computational Geometry. Lecture Notes in Computer Science Vol. 758 Springer 1993, ISBN 3-540-57503-0

759

Nabil R. Adam, Bharat K. Bhargava (Eds.): Advanced Database Systems. Springer 1993, ISBN 3-540-57507-3
Contents

760

Stefano Ceri, Katsumi Tanaka, Shalom Tsur (Eds.): Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings. Springer 1993, ISBN 3-540-57530-8
Contents

761

R. K. Shyamasundar (Ed.): Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings. Springer 1993, ISBN 3-540-57529-4
Contents

762

Kam-Wing Ng, Prabhakar Raghavan, N. V. Balasubramanian, Francis Y. L. Chin (Eds.): Algorithms and Computation, 4th International Symposium, ISAAC '93, Hong Kong, December 15-17, 1993, Proceedings. Springer 1993, ISBN 3-540-57568-5
Contents

763

Franz Pichler, Roberto Moreno-Díaz (Eds.): Computer Aided Systems Theory - EUROCAST'93, A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993, Proceedings. Springer 1994, ISBN 3-540-57601-0
Contents

764

Gerd Wagner: Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation. Lecture Notes in Computer Science Vol. 764 Springer 1994, ISBN 3-540-57604-5

765

Tor Helleseth (Ed.): Advances in Cryptology - EUROCRYPT '93, Workshop on the Theory and Application of of Cryptographic Techniques, Lofthus, Norway, May 23-27, 1993, Proceedings. Springer 1994, ISBN 3-540-57600-2
Contents

766

Philip R. Van Loocke: The Dynamics of Concepts - A Connectionist Model. Lecture Notes in Computer Science Vol. 766 Springer 1994, ISBN 3-540-57647-9

767

Martin Gogolla: An Extended Entity-Relationship Model - Fundamentals and Pragmatics. Lecture Notes in Computer Science Vol. 767 Springer 1994, ISBN 3-540-57648-7

768

Utpal Banerjee, David Gelernter, Alexandru Nicolau, David A. Padua (Eds.): Languages and Compilers for Parallel Computing, 6th International Workshop, Portland, Oregon, USA, August 12-14, 1993, Proceedings. Springer 1994, ISBN 3-540-57659-2
Contents

769

J. L. Nazareth: The Newton-Cauchy Framework: A Unified Approach to Unconstrained Nonlinear Minimization. Lecture Notes in Computer Science Vol. 769 Springer 1994, ISBN 3-540-57671-1

770

Peter Haddawy: Representing Plans Under Uncertainty: A Logic of Time, Change, and Action. Lecture Notes in Computer Science Vol. 770 Springer 1994, ISBN 3-540-57697-5

771

Gerald Tomas, Christoph W. Ueberhuber: Visualization of Scientific Parallel Programs. Lecture Notes in Computer Science Vol. 771 Springer 1994, ISBN 3-540-57738-6

772

Brian Warboys (Ed.): Software Process Technology, Third European Workshop, EWSPT '94, Villard de Lans, France, February 7-9, 1994, Proceedings. Springer 1994, ISBN 3-540-57739-4
Contents

773

Douglas R. Stinson (Ed.): Advances in Cryptology - CRYPTO '93, 13th Annual International Cryptology Conference, Santa Barbara, California, USA, August 22-26, 1993, Proceedings. Springer 1994, ISBN 3-540-57766-1
Contents

774

Michel Banâtre, Peter A. Lee (Eds.): Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993]. Springer 1994, ISBN 3-540-57767-X
Contents

775

Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner (Eds.): STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings. Springer 1994, ISBN 3-540-57785-8
Contents

776

Hans Jürgen Schneider, Hartmut Ehrig (Eds.): Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings. Springer 1994, ISBN 3-540-57787-4
Contents

777

Kai von Luck, Heinz Marburger (Eds.): Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994, Proceedings. Springer 1994, ISBN 3-540-57802-1
Contents

778

Maurizio A. Bonuccelli, Pierluigi Crescenzi, Rossella Petreschi (Eds.): Algorithms and Complexity, Second Italian Conference, CIAC '94, Rome, Italy, February 23-25, 1994, Proceedings. Springer 1994, ISBN 3-540-57811-0
Contents

779

Matthias Jarke, Janis A. Bubenko Jr., Keith G. Jeffery (Eds.): Advances in Database Technology - EDBT'94. 4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28-31, 1994, Proceedings. Springer 1994, ISBN 3-540-57818-8
Contents

780

Jeffrey J. Joyce, Carl-Johan H. Seger (Eds.): Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings. Springer 1994, ISBN 3-540-57826-9
Contents

781

Gérard D. Cohen, Simon Litsyn, Antoine Lobstein, Gilles Zémor (Eds.): Algebraic Coding, First French-Israeli Workshop, Paris, France, July 19-21, 1993, Proceedings. Springer 1993, ISBN 3-540-57843-9
Contents

782

Jürg Gutknecht (Ed.): Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings. Springer 1994, ISBN 3-540-57840-4
Contents

783

Christoph G. Günther (Ed.): Mobile Communications: Advanced Systems and Components, 1994 International Zurich Seminar on Digital Communications, Zurich Switzerland, March 8-11, 1994, Proceedings. Springer 1994, ISBN 3-540-57856-0
Contents

784

Francesco Bergadano, Luc De Raedt (Eds.): Machine Learning: ECML-94, European Conference on Machine Learning, Catania, Italy, April 6-8, 1994, Proceedings. Springer 1994, ISBN 3-540-57868-4
Contents

785

Hartmut Ehrig (Ed.): Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers. Springer 1994, ISBN 3-540-57867-6
Contents

786

Peter Fritzson (Ed.): Compiler Construction, 5th International Conference, CC'94, Edinburgh, U.K., April 7-9, 1994, Proceedings. Springer 1994, ISBN 3-540-57877-3
Contents

787

Sophie Tison (Ed.): Trees in Algebra and Programming - CAAP'94, 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994, Proceedings. Springer 1994, ISBN 3-540-57879-X
Contents

788

Donald Sannella (Ed.): Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings. Springer 1994, ISBN 3-540-57880-3
Contents

789

Masami Hagiya, John C. Mitchell (Eds.): Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings. Springer 1994, ISBN 3-540-57887-0
Contents

790

Jan van Leeuwen (Ed.): Graph-Theoretic Concepts in Computer Science, 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993, Proceedings. Springer 1994, ISBN 3-540-57899-4
Contents

791

Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill (Eds.): Object-Based Distributed Programming, ECOOP '93 Workshop, Kaiserslautern, Germany, July 26-27, 1993. Springer 1994, ISBN 3-540-57932-X
Contents

792

Neil D. Jones, Masami Hagiya, Masahiko Sato (Eds.): Logic, Language and Computation, Festschrift in Honor of Satoru Takasu. Springer 1994
Contents

793

T. Aaron Gulliver, Norman P. Secord (Eds.): Information Theory and Applications, Third Canadian Workshop, Rockland, Ontario, Canada, May 30 - June 2, 1993, Proceedings. Springer 1994, ISBN 3-540-57936-2
Contents

794

Günter Haring, Gabriele Kotsis (Eds.): Computer Performance Evaluation, Modeling Techniques and Tools, 7th International Conference, Vienna, Austria, May 3-6, 1994, Proceedings. Springer 1994, ISBN 3-540-58021-2
Contents

795

Warren A. Hunt Jr.: FM8501: A Verified Microprocessor. Lecture Notes in Computer Science Vol. 795 Springer 1994, ISBN 3-540-57960-5

796

Wolfgang Gentzsch, Uwe Harms (Eds.): High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1994, Munich, Germany, April 18-20, 1994, Proceedings, Volume I: Applications. Springer 1994, ISBN 3-540-57980-X
Contents

797

Wolfgang Gentzsch, Uwe Harms (Eds.): High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1994, Munich, Germany, April 18-20, 1994, Proceedings, Volume II: Networking and Tools. Springer 1994, ISBN 3-540-57981-8
Contents

798

Roy Dyckhoff (Ed.): Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, U.K., March 29 - April 1, 1993, Proceedings. Springer 1994, ISBN 3-540-58025-5
Contents

799

Munindar P. Singh: Multiagent Systems - A Theoretical Framework for Intentions, Know-How, and Communications. Lecture Notes in Computer Science Vol. 799 Springer 1994, ISBN 3-540-58026-3