Lecture Notes in Computer Science (LNCS), Volumes 800-899

800

Jan-Olof Eklundh (Ed.): Computer Vision - ECCV'94, Third European Conference on Computer Vision, Stockholm, Sweden, May 2-6, 1994, Proceedings, Volume I. Springer 1994, ISBN 3-540-57956-7
Contents

801

Jan-Olof Eklundh (Ed.): Computer Vision - ECCV'94, Third European Conference on Computer Vision, Stockholm, Sweden, May 2-6, 1994, Proceedings, Volume II. Springer 1994, ISBN 3-540-57957-5
Contents

802

Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings. Springer 1994, ISBN 3-540-58027-1
Contents

803

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings. Springer 1994, ISBN 3-540-58043-3
Contents

804

Daniel Hernández: Qualitative Representation of Spatial Knowledge. Lecture Notes in Computer Science Vol. 804 Springer 1994, ISBN 3-540-58058-1

805

Michel Cosnard, Afonso Ferreira, Joseph G. Peters (Eds.): Parallel and Distributed Computing, First Canada-France Conference, Montréal, Canada, May 19-21, 1994, Proceedings. Springer 1994, ISBN 3-540-58078-6
Contents

806

Henk Barendregt, Tobias Nipkow (Eds.): Types for Proofs and Programs, International Workshop TYPES'93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers. Springer 1994, ISBN 3-540-58085-9
Contents

807

Maxime Crochemore, Dan Gusfield (Eds.): Combinatorial Pattern Matching, 5th Annual Symposium, CPM 94, Asilomar, California, USA, June 5-8, 1994, Proceedings. Springer 1994, ISBN 3-540-58094-8
Contents

808

Michael Masuch, László Pólos (Eds.): Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992]. Springer 1994, ISBN 3-540-58095-6
Contents

809

Ross J. Anderson (Ed.): Fast Software Encryption, Cambridge Security Workshop, Cambridge, UK, December 9-11, 1993, Proceedings. Springer 1994, ISBN 3-540-58108-1
Contents

810

Gerhard Lakemeyer, Bernhard Nebel (Eds.): Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]. Springer 1994, ISBN 3-540-58107-3
Contents

811

Gerard Wijers, Sjaak Brinkkemper, Anthony I. Wasserman (Eds.): Advanced Information Systems Engineering, CAiSE'94, Utrecht, The Netherlands, June 6-10, 1994, Proceedings. Springer 1995, ISBN 3-540-58113-8
Contents

812

Juhani Karhumäki, Hermann A. Maurer, Grzegorz Rozenberg (Eds.): Results and Trends in Theoretical Computer Science, Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings. Springer 1994, ISBN 3-540-58131-6
Contents

813

Anil Nerode, Yuri Matiyasevich (Eds.): Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings. Springer 1994, ISBN 3-540-58140-5
Contents

814

Alan Bundy (Ed.): Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings. Springer 1994, ISBN 3-540-58156-1
Contents

815

Robert Valette (Ed.): Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings. Springer 1994, ISBN 3-540-58152-9
Contents

816

Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (Eds.): Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers. Springer 1994, ISBN 3-540-58233-9
Contents

817

Constantine Halatsis, Dimitris G. Maritsas, George Philokyprou, Sergios Theodoridis (Eds.): PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings. Springer 1994, ISBN 3-540-58184-7
Contents

818

David L. Dill (Ed.): Computer Aided Verification, 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings. Springer 1994, ISBN 3-540-58179-0
Contents

819

Witold Litwin, Tore Risch (Eds.): Applications of Databases, First International Conference, ADB-94, Vadstena, Sweden, June 21-23, 1994, Proceedings. Springer 1994, ISBN 3-540-58183-9
Contents

820

Serge Abiteboul, Eli Shamir (Eds.): Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings. Springer 1994, ISBN 3-540-58201-0
Contents

821

Mario Tokoro, Remo Pareschi (Eds.): Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994. Springer 1994, ISBN 3-540-58202-9
Contents

822

Frank Pfenning (Ed.): Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings. Springer 1994, ISBN 3-540-58216-9
Contents

823

Ramez Elmasri, Vram Kouramajian, Bernhard Thalheim (Eds.): Entity-Relationship Approach - ER'93, 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15-17, 1993, Proceedings. Springer 1994, ISBN 3-540-58217-7
Contents

824

Erik Meineche Schmidt, Sven Skyum (Eds.): Algorithm Theory - SWAT '94, 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994, Proceedings. Springer 1994, ISBN 3-540-58218-5
Contents

825

Joseph L. Mundy, Andrew Zisserman, David A. Forsyth (Eds.): Applications of Invariance in Computer Vision, Second Joint European - US Workshop, Ponta Delgada, Azores, Portugal, October 9-14, 1993, Proceedings. Springer 1994, ISBN 3-540-58240-1
Contents

826

David S. Bowers (Ed.): Directions in Databases, 12th British National Conference on Databases, BNCOD 12, Guildford, United Kingdom, July 6-8, 1994, Proceedings. Springer 1994, ISBN 3-540-58235-5
Contents

827

Dov M. Gabbay, Hans Jürgen Ohlbach (Eds.): Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings. Springer 1994, ISBN 3-540-58241-X
Contents

828

Lawrence C. Paulson: Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow). Lecture Notes in Computer Science Vol. 828 Springer 1994, ISBN 3-540-58244-4

829

Andrew Chmora, Stephen B. Wicker (Eds.): Error Control, Cryptology, and Speech Compression - Workshop on Information Protection, Moscow, Russia, December 6-9, 1993, Selected Papers. Springer 1994, ISBN 3-540-58265-7
Contents

830

Cristiano Castelfranchi, Eric Werner (Eds.): Artificial Social Systems, 4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92, S. Martino al Cimino, Italy, July 29-31, 1992, Selected Papers. Springer 1994, ISBN 3-540-58266-5
Contents

831

Vincent Bouchitté, Michel Morvan (Eds.): Orders, Algorithms, and Applications, International Workshop ORDAL '94, Lyon, France, July 4-8, 1994, Proceedings. Springer 1994, ISBN 3-540-58274-6
Contents

832

Egon Börger, Yuri Gurevich, Karl Meinke (Eds.): Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers. Springer 1994, ISBN 3-540-58277-0
Contents

833

Dimiter Driankov, Peter W. Eklund, Anca L. Ralescu (Eds.): Fuzzy Logic and Fuzzy Control, IJCAI '91, Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991, Proceedings. Springer 1994, ISBN 3-540-58279-7
Contents

834

Ding-Zhu Du, Xiang-Sun Zhang (Eds.): Algorithms and Computation, 5th International Symposium, ISAAC '94, Beijing, P. R. China, August 25-27, 1994, Proceedings. Springer 1994, ISBN 3-540-58325-4
Contents

835

William M. Tepfenhart, Judith P. Dick, John F. Sowa (Eds.): Conceptual Structures: Current Practices, Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16-20, 1994, Proceedings. Springer 1994, ISBN 3-540-58328-9
Contents

836

Bengt Jonsson, Joachim Parrow (Eds.): CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Springer 1994, ISBN 3-540-58329-7
Contents

837

Stefan Wess, Klaus-Dieter Althoff, Michael M. Richter (Eds.): Topics in Case-Based Reasoning, First European Workshop, EWCBR-93, Kaiserslautern, Germany, November 1-5, 1993, Selected Papers. Springer 1994, ISBN 3-540-58330-0
Contents

838

Craig MacNish, David Pearce, Luís Moniz Pereira (Eds.): Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings. Springer 1994, ISBN 3-540-58332-7
Contents

839

Yvo Desmedt (Ed.): Advances in Cryptology - CRYPTO '94, 14th Annual International Cryptology Conference, Santa Barbara, California, USA, August 21-25, 1994, Proceedings. Springer 1994, ISBN 3-540-58333-5
Contents

840

Gerhard Reinelt: The Traveling Salesman, Computational Solutions for TSP Applications. Lecture Notes in Computer Science Vol. 840 Springer 1994, ISBN 3-540-58334-3
Contents

841

Igor Prívara, Branislav Rovan, Peter Ruzicka (Eds.): Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings. Springer 1994, ISBN 3-540-58338-6
Contents

842

Ton Kloks: Treewidth, Computations and Approximations. Lecture Notes in Computer Science Vol. 842 Springer 1994, ISBN 3-540-58356-4

843

Andrzej Szepietowski: Turing Machines with Sublogarithmic Space. Lecture Notes in Computer Science Vol. 843 Springer 1994, ISBN 3-540-58355-6

844

Manuel V. Hermenegildo, Jaan Penjam (Eds.): Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings. Springer 1994, ISBN 3-540-58402-1
Contents

845

Jean-Pierre Jouannaud (Ed.): Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994. Springer 1994, ISBN 3-540-58403-X
Contents

846

Doug Shepherd, Gordon S. Blair, Geoff Coulson, Nigel Davies, Francisco Garcia (Eds.): Network and Operating System Support for Digital Audio and Video, 4th International Workshop, NOSSDAV '93, Lancaster, U.K., November 3-5, 1993, Proceedings. Springer 1994, ISBN 3-540-58404-8
Contents

847

Anca L. Ralescu (Ed.): Fuzzy Logic in Artificial Intelligence, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings. Springer 1994, ISBN 3-540-58409-9
Contents

848

Arnold R. Krommer, Christoph W. Ueberhuber: Numerical Integration on Advanced Computer Systems. Lecture Notes in Computer Science Vol. 848 Springer 1994, ISBN 3-540-58410-2

849

Reiner W. Hartenstein, Michal Servít (Eds.): Field-Programmable Logic, Architectures, Synthesis and Applications, 4th International Workshop on Field-Programmable Logic and Applications, FPL '94, Prague, Czech Republic, September 7-9, 1994, Proceedings. Springer 1994, ISBN 3-540-58419-6
Contents

850

Giorgio Levi, Mario Rodríguez-Artalejo (Eds.): Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings. Springer 1994, ISBN 3-540-58431-5
Contents

851

Hans-Jürgen Kugler, Alvin P. Mullery, Norbert Niebert (Eds.): Towards a Pan-European Telecommunication Service Infrastructure - IS&N'94, Second International Conference on Intelligence in Broadband Services and Networks, Aachen, Germany, September 7-9, 1994, Proceedings. Springer 1994, ISBN 3-540-58420-X
Contents

852

Klaus Echtle, Dieter K. Hammer, David Powell (Eds.): Dependable Computing - EDCC-1, First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994, Proceedings. Springer 1994, ISBN 3-540-58426-9
Contents

853

Kevin Bolding, Lawrence Snyder (Eds.): Parallel Computer Routing and Communication, First International Workshop, PCRCW'94, Seattle, Washington, USA, May 16-18, 1994, Proceedings. Springer 1994, ISBN 3-540-58429-3
Contents

854

Bruno Buchberger, Jens Volkert (Eds.): Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings. Springer 1994, ISBN 3-540-58430-7
Contents

855

Jan van Leeuwen (Ed.): Algorithms - ESA '94, Second Annual European Symposium, Utrecht, The Netherlands, September 26-28, 1994, Proceedings. Springer 1994, ISBN 3-540-58434-X
Contents

856

Dimitris Karagiannis (Ed.): Database and Expert Systems Applications, 5th International Conference, DEXA '94, Athens, Greece, September 7 - 9, 1994, Proceedings. Springer 1994, ISBN 3-540-58435-8
Contents

857

Gerard Tel, Paul M. B. Vitányi (Eds.): Distributed Algorithms, 8th International Workshop, WDAG '94, Terschelling, The Netherlands, September 29 - October 1, 1994, Proceedings. Springer 1994, ISBN 3-540-58449-8
Contents

858

Elisa Bertino, Susan Darling Urban (Eds.): Object-Oriented Methodologies and Systems, International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994, Proceedings. Springer 1994, ISBN 3-540-58451-X
Contents

859

Thomas F. Melham, Juanito Camilleri (Eds.): Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings. Springer 1994, ISBN 3-540-58450-1
Contents

860

Wolfgang L. Zagler, Geoff Bushy, Roland Wagner (Eds.): Computers for Handicapped Persons, 4th International Conference, ICCHP'94, Vienna, Austria, September 14-16, 1994, Proceedings. Springer 1994, ISBN 3-540-58476-5
Contents

861

Bernhard Nebel, Leonie S. Dreschler-Fischer (Eds.): KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings. Springer 1994, ISBN 3-540-58467-6
Contents

862

Rafael C. Carrasco, José Oncina (Eds.): Grammatical Inference and Applications, Second International Colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994, Proceedings. Springer 1994, ISBN 3-540-58473-0
Contents

863

Hans Langmaack, Willem P. de Roever, Jan Vytopil (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings. Springer 1994, ISBN 3-540-58468-4
Contents

864

Baudouin Le Charlier (Ed.): Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings. Springer 1994, ISBN 3-540-58485-4
Contents

865

Terence C. Fogarty (Ed.): Evolutionary Computing, AISB Workshop, Leeds, UK, April 11-13, 1994, Selected Papers. Springer 1994, ISBN 3-540-58483-8
Contents

866

Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer (Eds.): Parallel Problem Solving from Nature - PPSN III, International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9-14, 1994, Proceedings. Springer 1994, ISBN 3-540-58484-6
Contents

867

Luc Steels, Guus Schreiber, Walter Van de Velde (Eds.): A Future for Knowledge Acquisition, 8th European Knowledge Acquisition Workshop, EKAW'94, Hoegaarden, Belgium, September 26-29, 1994, Proceedings. Springer 1994, ISBN 3-540-58487-0
Contents

868

Ralf Steinmetz (Ed.): Multimedia: Advanced Teleservices and High-Speed Communication Architectures, Second International Workshop, IWACA '94, Heidelberg, Germany, September 26-28, 1994, Proceedings. Springer 1994, ISBN 3-540-58494-3
Contents

869

Zbigniew W. Ras, Maria Zemankova (Eds.): Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings. Springer 1994, ISBN 3-540-58495-1
Contents

870

J. S. Greenfield: Distributed Programming Paradigms with Cryptography Applications. Lecture Notes in Computer Science Vol. 870 Springer 1994, ISBN 3-540-58496-X

871

John Peter Lee, Georges G. Grinstein (Eds.): database Issues for Data Visualization: IEEE Visualization '93 Workshop, San Jose, California, USA, October 26, 1993, Proceedings. Springer 1993, ISBN 3-540-58519-2
Contents

872

Setsuo Arikawa, Klaus P. Jantke (Eds.): Algorithmic Learning Theory, 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994, Proceedings. Springer 1994, ISBN 3-540-58520-6
Contents

873

Maurice Naftalin, B. Tim Denvir, Miquel Bertran (Eds.): FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings. Springer 1994, ISBN 3-540-58555-9
Contents

874

Alan Borning (Ed.): Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings. Springer 1994, ISBN 3-540-58601-6
Contents

875

Dieter Gollmann (Ed.): Computer Security - ESORICS 94, Third European Symposium on Research in Computer Security, Brighton, UK, November 7-9, 1994, Proceedings. Springer 1994, ISBN 3-540-58618-0
Contents

876

Brad Blumenthal, Juri Gornostaev, Claus Unger (Eds.): Human-Computer Interaction, 4th International Conference, EWHCI '94, St. Petersburg, Russia, August 2-5, 1994, Selected Papers. Springer 1994, ISBN 3-540-58648-2
Contents

877

Leonard M. Adleman, Ming-Deh A. Huang (Eds.): Algorithmic Number Theory, First International Symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994, Proceedings. Springer 1994, ISBN 3-540-58691-1
Contents

878

Toru Ishida: Parallel, Distributed and Multiagent Production Systems. Lecture Notes in Computer Science Vol. 878 Springer 1994, ISBN 3-540-58698-9

879

Jack Dongarra, Jerzy Wasniewski (Eds.): Parallel Scientific Computing, First International Workshop, PARA '94, Lyngby, Denmark, June 20-23, 1994, Proceedings. Springer 1994, ISBN 3-540-58712-8
Contents

880

P. S. Thiagarajan (Ed.): Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings. Springer 1994, ISBN 3-540-58715-2
Contents

881

Pericles Loucopoulos (Ed.): Entity-Relationship Approach - ER'94, Business Modelling and Re-Engineering, 13th International Conference on the Entity-Relationship Approach, Manchester, U.K., December 13-16, 1994, Proceedings. Springer 1994, ISBN 3-540-58786-1
Contents

882

David Hutchison, André A. S. Danthine, Helmut Leopold, Geoff Coulson (Eds.): Multimedia Transport and Teleservices, International COST 237 Workshop, Vienna, Austria, November 13-15, 1994, Proceedings. Springer 1994, ISBN 3-540-58759-4
Contents

883

Laurent Fribourg, Franco Turini (Eds.): Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings. Springer 1994, ISBN 3-540-58792-6
Contents

884

Jürg Nievergelt, Thomas Roos, Hans-Jörg Schek, Peter Widmayer (Eds.): IGIS '94: Geographic Information Systems, International Workshop on Advanced Information Systems, Monte Verita, Ascona, Switzerland, February 28 - March 4, 1994, Proceedings. Springer 1994, ISBN 3-540-58795-0
Contents

885

Remco C. Veltkamp: Closed Object Boundaries from Scattered Points. Lecture Notes in Computer Science Vol. 885 Springer 1994, ISBN 3-540-58808-6

886

Manuela M. Veloso: Planning and Learning by Analogical Reasoning. Lecture Notes in Computer Science Vol. 886 Springer 1994, ISBN 3-540-58811-6

887

Marcel Toussaint (Ed.): Ada in Europe, First International Eurospace - Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994, Proceedings. Springer 1994, ISBN 3-540-58822-1
Contents

888

Stig I. Andersson (Ed.): Analysis of Dynamical and Cognitive Systems, Advanced Course, Stockholm, Sweden, August 9-14, 1993, Proceedings. Springer 1995, ISBN 3-540-58843-4
Contents

889

Hannes P. Lubich: Towards a CSCW Framework for Scientific Cooperation in Europe. Lecture Notes in Computer Science Vol. 889 Springer 1995, ISBN 3-540-58844-2

890

Michael Wooldridge, Nicholas R. Jennings (Eds.): Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings. Springer 1995, ISBN 3-540-58855-8
Contents

891

Claus Lewerentz, Thomas Lindner (Eds.): Formal Development of Reactive Systems - Case Study Production Cell. Springer 1995, ISBN 3-540-58867-1
Contents

892

Keshav Pingali, Utpal Banerjee, David Gelernter, Alexandru Nicolau, David A. Padua (Eds.): Languages and Compilers for Parallel Computing, 7th International Workshop, LCPC'94, Ithaca, NY, USA, August 8-10, 1994, Proceedings. Springer 1995, ISBN 3-540-58868-X
Contents

893

Georg Gottlob, Moshe Y. Vardi (Eds.): Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings. Springer 1995, ISBN 3-540-58907-4
Contents

894

Roberto Tamassia, Ioannis G. Tollis (Eds.): Graph Drawing, DIMACS International Workshop, GD '94, Princeton, New Jersey, USA, October 10-12, 1994, Proceedings. Springer 1995, ISBN 3-540-58950-3
Contents

895

Rosalind L. Ibrahim (Ed.): Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29 - April 1, 1995, Proceedings. Springer 1995, ISBN 3-540-58951-1
Contents

896

Richard N. Taylor, Joëlle Coutaz (Eds.): Software Engineering and Human-Computer Interaction, ICSE '94 Workshop on SE-HCI: Joint Research Issues, Sorrento, Italy, May 16-17, 1994, Proceedings. Springer 1995, ISBN 3-540-59008-0
Contents

897

Michael Fisher, Richard Owens (Eds.): Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings. Springer 1995, ISBN 3-540-58976-7
Contents

898

Petra Steffens (Ed.): Machine Translation and the Lexicon, Third International EAMT Workshop, Heidelberg, April 26-28, 1993, Proceedings. Springer 1995, ISBN 3-540-59040-4
Contents

899

Wolfgang Banzhaf, Frank H. Eeckman (Eds.): Evolution and Biocomputation, Computational Models of Evolution. Springer 1995, ISBN 3-540-59046-3
Contents