Arndt Bode, Thomas Ludwig, Wolfgang Karl, Roland Wismüller (Eds.): Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings. Springer 2000 ISBN 3-540-67956-1 [ contents ]
1901
Opher Etzion, Peter Scheuermann (Eds.): Cooperative Information Systems, 7th International Conference, CoopIS 2000, Eilat, Israel, September 6-8, 2000, Proceedings. Springer 2000 ISBN 3-540-41021-X [ contents ]
1902
Petr Sojka, Ivan Kopecek, Karel Pala (Eds.): Text, Speech and Dialogue - Third International Workshop, TSD 2000, Brno, Czech Republic, September 13-16, 2000, Proceedings. Springer 2000 ISBN 3-540-41042-2 [ contents ]
1903
Siegfried Reich, Kenneth M. Anderson (Eds.): Open Hypertext Systems and Structural Computing, 6th International Workshop, OHS-6, 2nd International Workshop, Sc-2, San Antonio, Texas, USA, May 30-June 3, 2000, Proceedings. Springer 2000 ISBN 3-540-41084-8 [ contents ]
1904
Stefano A. Cerri, Danail Dochev (Eds.): Artificial Intelligence: Methodology, Systems, and Applications, 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000, Proceedings. Springer 2000 ISBN 3-540-41044-9 [ contents ]
1905
Hans Scholten, Marten van Sinderen (Eds.): Interactive Distributed Multimedia Systems and Telecommunication Services, 7th International Workshop, IDMS 2000, Enschede, The Netherlands, October 17-20, 2000, Proceedings. Springer 2000 ISBN 3-540-41130-5 [ contents ]
1906
António Porto, Gruia-Catalin Roman (Eds.): Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings. Springer 2000 ISBN 3-540-41020-1 [ contents ]
1907
Hervé Debar, Ludovic Mé, Shyhtsun Felix Wu (Eds.): Recent Advances in Intrusion Detection, Third International Workshop, RAID 2000, Toulouse, France, October 2-4, 2000, Proceedings. Springer 2000 ISBN 3-540-41085-6 [ contents ]
1908
Jack Dongarra, Péter Kacsuk, Norbert Podhorszki (Eds.): Recent Advances in Parallel Virtual Machine and Message Passing Interface, 7th European PVM/MPI Users' Group Meeting, Balatonfüred, Hungary, September 2000, Proceedings. Springer 2000 ISBN 3-540-41010-4 [ contents ]
1909
Tatyana M. Yakhno (Ed.): Advances in Information Systems, First International Conference, ADVIS 2000, Izmir, Turkey, 25-27 October 2000, Proceedings. Springer 2000 ISBN 3-540-41184-4 [ contents ]
1910
Djamel A. Zighed, Henryk Jan Komorowski, Jan M. Zytkow (Eds.): Principles of Data Mining and Knowledge Discovery, 4th European Conference, PKDD 2000, Lyon, France, September 13-16, 2000, Proceedings. Springer 2000 ISBN 3-540-41066-X [ contents ]
1911
Dror G. Feitelson, Larry Rudolph (Eds.): Job Scheduling Strategies for Parallel Processing, IPDPS 2000 Workshop, JSSPP 2000, Cancun, Mexico, May 1, 2000, Proceedings. Springer 2000 ISBN 3-540-41120-8 [ contents ]
Klaus Jansen, Samir Khuller (Eds.): Approximation Algorithms for Combinatorial Optimization, Third International Workshop, APPROX 2000, Saarbrücken, Germany, September 5-8, 2000, Proceedings. Springer 2000 ISBN 3-540-67996-0 [ contents ]
1914
Maurice Herlihy (Ed.): Distributed Computing, 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000, Proceedings. Springer 2000 ISBN 3-540-41143-7 [ contents ]
1915
Sandhya Dwarkadas (Ed.): Languages, Compilers, and Run-Time Systems for Scalable Computers, 5th International Workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000, Selected Papers. Springer 2000 ISBN 3-540-41185-2 [ contents ]
Dimitrios Soudris, Peter Pirsch, Erich Barke (Eds.): Integrated Circuit Design, Power and Timing Modeling, Optimization and Simulation, 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000, Proceedings. Springer 2000 ISBN 3-540-41068-6 [ contents ]
Alberto H. F. Laender, Stephen W. Liddle, Veda C. Storey (Eds.): Conceptual Modeling - ER 2000, 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000, Proceedings. Springer 2000 ISBN 3-540-41072-4 [ contents ]
1921
Stephen W. Liddle, Heinrich C. Mayr, Bernhard Thalheim (Eds.): Conceptual Modeling for E-Business and the Web, ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000, Proceedings. Springer 2000 ISBN 3-540-41073-2 [ contents ]
1922
Jon Crowcroft, James Roberts, Mikhail I. Smirnov (Eds.): Quality of Future Internet Services, First COST 263 International Workshop, QofIS 2000, Berlin, Germany, September 25-26, 2000, Proceedings. Springer 2000 ISBN 3-540-41076-7 [ contents ]
1923
José Luis Borbinha, Thomas Baker (Eds.): Research and Advanced Technology for Digital Libraries, 4th European Conference, ECDL 2000, Lisbon, Portugal, September 18-20, 2000, Proceedings. Springer 2000 ISBN 3-540-41023-6 [ contents ]
1924
Walid Taha (Ed.): Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings. Springer 2000 ISBN 3-540-41054-6 [ contents ]
Mathai Joseph (Ed.): Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings. Springer 2000 ISBN 3-540-41055-4 [ contents ]
1927
Peter J. Thomas, Hans-Werner Gellersen (Eds.): Handheld and Ubiquitous Computing, Second International Symposium, HUC 2000, Bristol, UK, September 25-27, 2000, Proceedings. Springer 2000 ISBN 3-540-41093-7 [ contents ]
1928
Ulrik Brandes, Dorothea Wagner (Eds.): Graph-Theoretic Concepts in Computer Science, 26th International Workshop, WG 2000, Konstanz, Germany, June 15-17, 2000, Proceedings. Springer 2000 ISBN 3-540-41183-6 [ contents ]
1929
Robert Laurini (Ed.): Advances in Visual Information Systems, 4th International Conference, VISUAL 2000, Lyon, France, November 2-4, 2000, Proceedings. Springer 2000 ISBN 3-540-41177-1 [ contents ]
1930
John A. Campbell, Eugenio Roanes-Lozano (Eds.): Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers. Springer 2001 ISBN 3-540-42071-1 [ contents ]
1931
Eric Horlait (Ed.): Mobile Agents for Telecommunication Applications, Second International Workshop, MATA 2000, Paris, France, September 18-20, 2000, Proceedings. Springer 2000 ISBN 3-540-41069-4 [ contents ]
1932
Zbigniew W. Ras, Setsuo Ohsuga (Eds.): Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings. Springer 2000 ISBN 3-540-41094-5 [ contents ]
1933
Rüdiger W. Brause, Ernst Hanisch (Eds.): Medical Data Analysis, First International Symposium, ISMDA 2000, Frankfurt, Germany, September 29-30, 2000, Proceedings. Springer 2000 ISBN 3-540-41089-9 [ contents ]
1934
John S. White (Ed.): Envisioning Machine Translation in the Information Future, 4th Conference of the Association for Machine Translation in the Americas, AMTA 2000, Cuernavaca, Mexico, October 10-14, 2000, Proceedings. Springer 2000 ISBN 3-540-41117-8 [ contents ]
1935
Scott L. Delp, Anthony M. DiGioia, Branislav Jaramaz (Eds.): Medical Image Computing and Computer-Assisted Intervention - MICCAI 2000, Third International Conference, Pittsburgh, Pennsylvania, USA, October 11-14, 2000, Proceedings. Springer 2000 ISBN 3-540-41189-5 [ contents ]
Rose Dieng, Olivier Corby (Eds.): Knowledge Acquisition, Modeling and Management, 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000, Proceedings. Springer 2000 ISBN 3-540-41119-4 [ contents ]
1938
Sathya Rao, Kaare Ingar Sletta (Eds.): Next Generation Networks, Networks and Services for the Information Society, 5th IFIP TC6 International Symposium, INTERWORKING 2000, Bergen, Norway, October 3-6, 2000, Proceedings. Springer 2000 ISBN 3-540-41140-2 [ contents ]
1939
Andy Evans, Stuart Kent, Bran Selic (Eds.): «UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings. Springer 2000 [ contents ]
Atul K. Chhabra, Dov Dori (Eds.): Graphics Recognition, Recent Advances, Third International Workshop, GREC'99 Jaipur, India, September 26-27, 1999, Selected Papers. Springer 2000 ISBN 3-540-41222-0 [ contents ]
1942
Hiroshi Yasuda (Ed.): Active Networks, Second International Working Conference, IWAN 2000, Tokyo, Japan, October 16-18, 2000, Proceedings. Springer 2000 ISBN 3-540-41179-8 [ contents ]
1943
Floor Koornneef, Meine van der Meulen (Eds.): Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings. Springer 2000 ISBN 3-540-41186-0 [ contents ]
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (Eds.): Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings. Springer 2000 ISBN 3-540-41196-8 [ contents ]
1946
Philippe A. Palanque, Fabio Paternò (Eds.): Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings. Springer 2000 ISBN 3-540-41663-3 [ contents ]
1947
Tor Sørevik, Fredrik Manne, Randi Moe, Assefaw Hadish Gebremedhin (Eds.): Applied Parallel Computing, New Paradigms for HPC in Industry and Academia, 5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings. Springer 2001 ISBN 3-540-41729-X [ contents ]
1948
Tieniu Tan, Yuanchun Shi, Wen Gao (Eds.): Advances in Multimodal Interfaces - ICMI 2000, Third International Conference, Beijing, China, October 14-16, 2000, Proceedings. Springer 2000 ISBN 3-540-41180-1 [ contents ]
1949
Richard C. H. Connor, Alberto O. Mendelzon (Eds.): Research Issues in Structured and Semistructured Database Programming, 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch Rannoch, Scotland, UK, September 1-3, 1999, Revised Papers. Springer 2000 ISBN 3-540-41481-9 [ contents ]
1950
Dieter van Melkebeek: Randomness and Completeness in Computational Complexity. Springer 2000 ISBN 3-540-41492-4
1951
Frank van der Linden (Ed.): Software Architectures for Product Families, International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000, Proceedings. Springer 2000 ISBN 3-540-41480-0 [ contents ]
1952
Maria Carolina Monard, Jaime Simão Sichman (Eds.): Advances in Artificial Intelligence, International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings. Springer 2000 ISBN 3-540-41276-X [ contents ]
Warren A. Hunt Jr., Steven D. Johnson (Eds.): Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings. Springer 2000 ISBN 3-540-41219-0 [ contents ]
1955
Michel Parigot, Andrei Voronkov (Eds.): Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings. Springer 2000 [ contents ]
Paolo Ciancarini, Michael Wooldridge (Eds.): Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers. Springer 2001 ISBN 3-540-41594-7 [ contents ]
1958
Simone Fischer-Hübner: IT-Security and Privacy - Design and Use of Privacy-Enhancing Security Mechanisms. Springer 2001 ISBN 3-540-42142-4
1959
Mokrane Bouzeghoub, Zoubida Kedad, Elisabeth Métais (Eds.): Natural Language Processing and Information Systems, 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000, Revised Papers. Springer 2001 ISBN 3-540-41943-8 [ contents ]
1960
Anthony P. Ambler, Seraphin B. Calo, Gautam Kar (Eds.): Services Management in Intelligent Networks, 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000, Austin, Texas, USA, December 4-6, 2000, Proceedings. Springer 2000 ISBN 3-540-41427-4 [ contents ]
1961
Jifeng He, Masahiko Sato (Eds.): Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings. Springer 2000 ISBN 3-540-41428-2 [ contents ]
1962
Yair Frankel (Ed.): Financial Cryptography, 4th International Conference, FC 2000 Anguilla, British West Indies, February 20-24, 2000, Proceedings. Springer 2001 ISBN 3-540-42700-7 [ contents ]
1963
Václav Hlavác, Keith G. Jeffery, Jirí Wiedermann (Eds.): SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25 - December 2, 2000, Proceedings. Springer 2000 ISBN 3-540-41348-0 [ contents ]
1964
Jacques Malenfant, Sabine Moisan, Ana M. D. Moreira (Eds.): Object-Oriented Technology, ECOOP 2000 Workshops, Panels, and Posters, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings. Springer 2000 ISBN 3-540-41513-0 [ contents ]
1965
Çetin Kaya Koç, Christof Paar (Eds.): Cryptographic Hardware and Embedded Systems - CHES 2000, Second International Workshop, Worcester, MA, USA, August 17-18, 2000, Proceedings. Springer 2000 ISBN 3-540-41455-X [ contents ]
1966
Subhash Bhalla (Ed.): Databases in Networked Information Systems, International Workshop DNIS 2000, Aizu, Japan, December 4-6, 2000, Proceedings. Springer 2000 ISBN 3-540-41395-2 [ contents ]
1967
Setsuo Arikawa, Shinichi Morishita (Eds.): Discovery Science, Third International Conference, DS 2000, Kyoto, Japan, December 4-6, 2000, Proceedings. Springer 2000 ISBN 3-540-41352-9 [ contents ]
1968
Hiroki Arimura, Sanjay Jain, Arun Sharma (Eds.): Algorithmic Learning Theory, 11th International Conference, ALT 2000, Sydney, Australia, December 11-13, 2000, Proceedings. Springer 2000 ISBN 3-540-41237-9 [ contents ]
1969
D. T. Lee, Shang-Hua Teng (Eds.): Algorithms and Computation, 11th International Conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000, Proceedings. Springer 2000 ISBN 3-540-41255-7 [ contents ]
1970
Mateo Valero, Viktor K. Prasanna, Sriram Vajapeyam (Eds.): High Performance Computing - HiPC 2000, 7th International Conference, Bangalore, India, December 17-20, 2000, Proceedings. Springer 2000 ISBN 3-540-41429-0 [ contents ]
1971
Rajkumar Buyya, Mark Baker (Eds.): Grid Computing - GRID 2000, First IEEE/ACM International Workshop, Bangalore, India, December 17, 2000, Proceedings. Springer 2000 ISBN 3-540-41403-7 [ contents ]
1972
Andrea Omicini, Robert Tolksdorf, Franco Zambonelli (Eds.): Engineering Societies in the Agent World, First International Workshop, ESAW 2000, Berlin, Germany, August 21, 2000, Revised Papers. Springer 2000 ISBN 3-540-41477-0 [ contents ]
1973
Jan Van den Bussche, Victor Vianu (Eds.): Database Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings. Springer 2001 ISBN 3-540-41456-8 [ contents ]
1974
Sanjiv Kapoor, Sanjiva Prasad (Eds.): Foundations of Software Technology and Theoretical Computer Science, 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings. Springer 2000 ISBN 3-540-41413-4 [ contents ]
1975
Josef Pieprzyk, Eiji Okamoto, Jennifer Seberry (Eds.): Information Security, Third International Workshop, ISW 2000, Wollongong, NSW, Australia, December 20-21, 2000, Proceedings. Springer 2000 ISBN 3-540-41416-9 [ contents ]
1976
Tatsuaki Okamoto (Ed.): Advances in Cryptology - ASIACRYPT 2000, 6th International Conference on the Theory and Application of Cryptology and Information Security, Kyoto, Japan, December 3-7, 2000, Proceedings. Springer 2000 ISBN 3-540-41404-5 [ contents ]
1977
Bimal K. Roy, Eiji Okamoto (Eds.): Progress in Cryptology - INDOCRYPT 2000, First International Conference in Cryptology in India, Calcutta, India, December 10-13, 2000, Proceedings. Springer 2000 ISBN 3-540-41452-5 [ contents ]
1978
Bruce Schneier (Ed.): Fast Software Encryption, 7th International Workshop, FSE 2000, New York, NY, USA, April 10-12, 2000, Proceedings. Springer 2001 ISBN 3-540-41728-1 [ contents ]
1979
Scott Moss, Paul Davidsson (Eds.): Multi-Agent-Based Simulation, Second International Workshop, MABS 2000, Boston, MA, USA, July, 2000, Revised and Additional Papers. Springer 2001 ISBN 3-540-41522-X [ contents ]
1980
Maristella Agosti, Fabio Crestani, Gabriella Pasi (Eds.): Lectures on Information Retrieval, Third European Summer-School, ESSIR 2000, Varenna, Italy, September 11-15, 2000, Revised Lectures. Springer 2001 ISBN 3-540-41933-0 [ contents ]
1981
José M. Laginha M. Palma, Jack Dongarra, Vicente Hernández (Eds.): Vector and Parallel Processing - VECPAR 2000, 4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks. Springer 2001 ISBN 3-540-41999-3 [ contents ]
1982
Stefan Näher, Dorothea Wagner (Eds.): Algorithm Engineering, 4th International Workshop, WAE 2000, Saarbrücken, Germany, September 5-8, 2000, Proceedings. Springer 2001 ISBN 3-540-42512-8 [ contents ]
1983
Kwong-Sak Leung, Lai-Wan Chan, Helen Meng (Eds.): Intelligent Data Engineering and Automated Learning - IDEAL 2000, Data Mining, Financial Engineering, and Intelligent Agents, Second International Conference, Shatin, N.T. Hong Kong, China, December 13-15, 2000, Proceedings. Springer 2000 ISBN 3-540-41450-9 [ contents ]
1984
Joe Marks (Ed.): Graph Drawing, 8th International Symposium, GD 2000, Colonial Williamsburg, VA, USA, September 20-23, 2000, Proceedings. Springer 2001 ISBN 3-540-41554-8 [ contents ]
1985
Jack W. Davidson, Sang Lyul Min (Eds.): Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES 2000, Vancouver, BC, Canada, June 18, 2000, Proceedings. Springer 2001 ISBN 3-540-41781-8 [ contents ]
1986
Cristiano Castelfranchi, Yves Lespérance (Eds.): Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings. Springer 2001 ISBN 3-540-42422-9 [ contents ]
1987
Kian-Lee Tan, Michael J. Franklin, John C. S. Lui (Eds.): Mobile Data Management, Second International Conference, MDM 2001, Hong Kong, China, January 8-10, 2001, Proceedings. Springer 2001 ISBN 3-540-41454-1 [ contents ]
1988
Lubin G. Vulkov, Jerzy Wasniewski, Plamen Y. Yalamov (Eds.): Numerical Analysis and Its Applications, Second International Conference, NAA 2000, Rousse, Bulgaria, June 11-15, 2000, Revised Papers. Springer 2001 ISBN 3-540-41814-8 [ contents ]
1989
Marco Ajmone Marsan, Andrea Bianco (Eds.): Quality of Service in Multiservice IP Networks, International Workshop, QoS-IP 2001, Rome, Italy, January 2001, Proceedings. Springer 2001 ISBN 3-540-41512-2 [ contents ]
1990
I. V. Ramakrishnan (Ed.): Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings. Springer 2001 ISBN 3-540-41768-0 [ contents ]
1991
Frank Dignum, Carles Sierra (Eds.): Agent Mediated Electronic Commerce, The European AgentLink Perspective. Springer 2001 ISBN 3-540-41671-4 [ contents ]
1992
Kwangjo Kim (Ed.): Public Key Cryptography, 4th International Workshop on Practice and Theory in Public Key Cryptography, PKC 2001, Cheju Island, Korea, February 13-15, 2001, Proceedings. Springer 2001 ISBN 3-540-41658-7 [ contents ]
Jürgen Lind: Iterative Software Engineering for Multiagent Systems: The MASSIVE Method. Springer 2001 ISBN 3-540-42166-1
1995
Morris Sloman, Jorge Lobo, Emil Lupu (Eds.): Policies for Distributed Systems and Networks, International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001, Proceedings. Springer 2001 ISBN 3-540-41610-2 [ contents ]
1996
Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson (Eds.): Advances in Learning Classifier Systems, Third International Workshop, IWLCS 2000, Paris, France, September 15-16, 2000, Revised Papers. Springer 2001 ISBN 3-540-42437-7 [ contents ]
1997
Dan Suciu, Gottfried Vossen (Eds.): The World Wide Web and Databases, Third International Workshop WebDB 2000, Dallas, Texas, USA, Maaay 18-19, 2000, Selected Papers. Springer 2001 ISBN 3-540-41826-1 [ contents ]
1998
Reinhard Klette, Shmuel Peleg, Gerald Sommer (Eds.): Robot Vision, International Workshop RobVis 2001, Auckland, New Zealand, February 16-18, 2001, Proceeding. Springer 2001 ISBN 3-540-41694-3 [ contents ]
1999
Wolfgang Emmerich, Stefan Tai (Eds.): Engineering Distributed Objects, Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000, Revised Papers. Springer 2001 ISBN 3-540-41792-3 [ contents ]