Lecture Notes in Computer Science (LNCS), Volumes 1800-1899

1800

José D. P. Rolim (Ed.): Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings. Springer 2000, ISBN 3-540-67442-X
Contents

1801

Julian F. Miller, Adrian Thompson, Peter Thomson, Terence C. Fogarty (Eds.): Evolvable Systems: From Biology to Hardware, Third International Conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000, Proceedings. Springer 2000, ISBN 3-540-67338-5
Contents

1802

Riccardo Poli, Wolfgang Banzhaf, William B. Langdon, Julian F. Miller, Peter Nordin, Terence C. Fogarty (Eds.): Genetic Programming, European Conference, Edinburgh, Scotland, UK, April 15-16, 2000, Proceedings. Springer 2000, ISBN 3-540-67339-3
Contents

1803

Stefano Cagnoni, Riccardo Poli, Yun Li, George D. Smith, David Corne, Martin J. Oates, Emma Hart, Pier Luca Lanzi, Egbert J. W. Boers, Ben Paechter, Terence C. Fogarty (Eds.): Real-World Applications of Evolutionary Computing, EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoROB, and EvoFlight, Edinburgh, Scotland, UK, April 17, 2000, Proceedings. Springer 2000, ISBN 3-540-67353-9
Contents

1804

Behnam Azvine, Nader Azarmi, Detlef Nauck (Eds.): Intelligent Systems and Soft Computing: Prospects, Tools and Applications. Springer 2000, ISBN 3-540-67837-9
Contents

1805

Takao Terano, Huan Liu, Arbee L. P. Chen (Eds.): Knowledge Discovery and Data Mining, Current Issues and New Applications, 4th Pacific-Asia Conference, PADKK 2000, Kyoto, Japan, April 18-20, 2000, Proceedings. Springer 2000, ISBN 3-540-67382-2
Contents

1806

Wil M. P. van der Aalst, Jörg Desel, Andreas Oberweis (Eds.): Business Process Management, Models, Techniques, and Empirical Studies. Springer 2000, ISBN 3-540-67454-3
Contents

1807

Bart Preneel (Ed.): Advances in Cryptology - EUROCRYPT 2000, International Conference on the Theory and Application of Cryptographic Techniques, Bruges, Belgium, May 14-18, 2000, Proceeding. Springer 2000, ISBN 3-540-67517-5
Contents

1808

Santosh Pande, Dharma P. Agrawal (Eds.): Compiler Optimizations for Scalable Parallel Systems Languages, Compilation Techniques, and Run Time Systems. Springer 2001, ISBN 3-540-41945-4
Contents

1809

Susanne Biundo, Maria Fox (Eds.): Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings. Springer 2000, ISBN 3-540-67866-2
Contents

1810

Ramon López de Mántaras, Enric Plaza (Eds.): Machine Learning: ECML 2000, 11th European Conference on Machine Learning, Barcelona, Catalonia, Spain, May 31 - June 2, 2000, Proceedings. Springer 2000, ISBN 3-540-67602-3
Contents

1811

Seong-Whan Lee, Heinrich H. Bülthoff, Tomaso Poggio (Eds.): Biologically Motivated Computer Vision, First IEEE International Workshop, BMVC 2000, Seoul, Korea, May 15-17, 2000, Proceedings. Springer 2000, ISBN 3-540-67560-4
Contents

1812

Jeremy Watt, John Demiris (Eds.): Advances in Robot Learning, 8th European Workshop on Learning Robots, EWLR-8, Lausanne, Switzerland, September 18, 1999, Proceedings. Springer 2000, ISBN 3-540-41162-3
Contents

1813

Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson (Eds.): Learning Classifier Systems, From Foundations to Applications. Springer 2000, ISBN 3-540-67729-1
Contents

1814

Ana Paiva (Ed.): Affective Interactions, Towards a New Generation of Computer Interfaces. Springer 2000, ISBN 3-540-41520-3
Contents

1815

Guy Pujolle, Harry G. Perros, Serge Fdida, Ulf Körner, Ioannis Stavrakakis (Eds.): NETWORKING 2000, Broadband Communications, High Performance Networking, and Performance of Communication Networks, IFIP-TC6 / European Commission International Conference, Paris, France, May 14-19, 2000, Proceedings. Springer 2000, ISBN 3-540-67506-X
Contents

1816

Teodor Rus (Ed.): Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings. Springer 2000, ISBN 3-540-67530-2
Contents

1817

Annalisa Bossi (Ed.): Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers. Springer 2000, ISBN 3-540-67628-7
Contents

1818

Cambyse Guy Omidyar (Ed.): Mobile and Wireless Communication Networks, IFIP-TC6/European Commission NETWORKING 2000 International Workshop, MWCN 2000, Paris, France, May 16-17, 2000, Proceedings. Springer 2000, ISBN 3-540-67543-4
Contents

1819

Willem Jonker (Ed.): Databases in Telecommunications, International Workshop Co-located with VLDB-99, Edinburgh, Scotland, UK, September 6, 1999, Proceedings. Springer 2000, ISBN 3-540-67667-8
Contents

1820

Jean-Jacques Quisquater, Bruce Schneier (Eds.): Smart Card Research and Applications, This International Conference, CARDIS '98, Louvain-la-Neuve, Belgium, September 14-16, 1998, Proceedings. Springer 2000, ISBN 3-540-67923-5
Contents

1821

Rasiah Loganantharaj, Günther Palm (Eds.): Intelligent Problem Solving, Methodologies and Approaches, 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, New Orleans, Louisiana, USA, June 19-22, 2000, Proceedings. Springer 2000, ISBN 3-540-67689-9
Contents

1822

Howard J. Hamilton (Ed.): Advances in Artificial Intelligence, 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, Montréal, Quebec, Canada, May 14-17, 2000, Proceedings. Springer 2000, ISBN 3-540-67557-4
Contents

1823

Marian Bubak, Hamideh Afsarmanesh, Roy Williams, Louis O. Hertzberger (Eds.): High-Performance Computing and Networking, 8th International Conference, HPCN Europe 2000, Amsterdam, The Netherlands, May 8-10, 2000, Proceedings. Springer 2000, ISBN 3-540-67553-1
Contents

1824

Jens Palsberg (Ed.): Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings. Springer 2000, ISBN 3-540-67668-6
Contents

1825

Mogens Nielsen, Dan Simpson (Eds.): Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding. Springer 2000, ISBN 3-540-67693-7
Contents

1826

Walter Cazzola, Robert J. Stroud, Francesco Tisato (Eds.): Reflection and Software Engineering, Papers from OORaSE 1999, 1st OOPSLA Workshop on Reflection and Software Engineering, Denver, CO, USA, November 1999. Springer 2000, ISBN 3-540-67761-5
Contents

1827

Didier Bert, Christine Choppy, Peter D. Mosses (Eds.): Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers. Springer 2000, ISBN 3-540-67898-0
Contents

1828

Ron Sun, C. Lee Giles (Eds.): Sequence Learning - Paradigms, Algorithms, and Applications. Springer 2001, ISBN 3-540-41597-1
Contents

1829

Cyril Fonlupt, Jin-Kao Hao, Evelyne Lutton, Edmund M. A. Ronald, Marc Schoenauer (Eds.): Artificial Evolution, 4th European Conference, AE'99, Dunkerque, France, November 3-5, 1999, Selected Papers. Springer 2000, ISBN 3-540-67846-8
Contents

1830

Peter G. Kropf, Gilbert Babin, John Plaice, Herwig Unger (Eds.): Distributed Communities on the Web, Third International Workshop, DCW 2000, Quebec City, Canada, June 19-21, 2000, Proceedings. Springer 2000, ISBN 3-540-67647-3
Contents

1831

David A. McAllester (Ed.): Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings. Springer 2000, ISBN 3-540-67664-3
Contents

1832

Brian Lings, Keith G. Jeffery (Eds.): Advances in Databases, 17th British National Conferenc on Databases, BNCOD 17, Exeter, UK, July 3-5, 2000, Proceedings. Springer 2000, ISBN 3-540-67743-7
Contents

1833

Leo Bachmair (Ed.): Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings. Springer 2000, ISBN 3-540-67778-X
Contents

1834

Jean-Claude Heudin (Ed.): Virtual Worlds, Second International Conference, VW 2000, Paris, France, July 5-7, 2000, Proceedings. Springer 2000, ISBN 3-540-67707-0
Contents

1835

Dimitris Christodoulakis (Ed.): Natural Language Processing - NLP 2000, Second International Conference, Patras, Greece, June 2-4, 2000, Proceedings. Springer 2000, ISBN 3-540-67605-8
Contents

1836

Brij M. Masand, Myra Spiliopoulou (Eds.): Web Usage Analysis and User Profiling, International WEBKDD'99 Workshop, San Diego, California, USA, August 15, 1999, Revised Papers. Springer 2000, ISBN 3-540-67818-2
Contents

1837

Roland Carl Backhouse, José Nuno Oliveira (Eds.): Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings. Springer 2000, ISBN 3-540-67727-5
Contents

1838

Wieb Bosma (Ed.): Algorithmic Number Theory, 4th International Symposium, ANTS-IV, Leiden, The Netherlands, July 2-7, 2000, Proceedings. Springer 2000, ISBN 3-540-67695-3
Contents

1839

Gilles Gauthier, Claude Frasson, Kurt VanLehn (Eds.): Intelligent Tutoring Systems, 5th International Conference, ITS 2000, Montréal, Canada, June 19-23, 2000, Proceedings. Springer 2000, ISBN 3-540-67655-4
Contents

1840

Frank Bomarius, Markku Oivo (Eds.): Product Focused Software Process Improvement, Second International Conference, PROFES 2000, Oulu, Finland, June 20-22, 2000, Proceedings. Springer 2000, ISBN 3-540-67688-0
Contents

1841

Ed Dawson, Andrew Clark, Colin Boyd (Eds.): Information Security and Privacy, 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000, Proceedings. Springer 2000, ISBN 3-540-67742-9
Contents

1842

David Vernon (Ed.): Computer Vision - ECCV 2000, 6th European Conference on Computer Vision, Dublin, Ireland, June 26 - July 1, 2000, Proceedings, Part I. Springer 2000, ISBN 3-540-67685-6
Contents

1843

David Vernon (Ed.): Computer Vision - ECCV 2000, 6th European Conference on Computer Vision, Dublin, Ireland, June 26 - July 1, 2000, Proceedings, Part II. Springer 2000, ISBN 3-540-67686-4
Contents

1844

William B. Frakes (Ed.): Software Reuse: Advances in Software Reusability, 6th International Conerence, ICSR-6, Vienna, Austria, June 27-29, 2000, Proceedings. Springer 2000, ISBN 3-540-67696-1
Contents

1845

Hubert B. Keller, Erhard Plödereder (Eds.): Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings. Springer 2000, ISBN 3-540-67669-4
Contents

1846

Hongjun Lu, Aoying Zhou (Eds.): Web-Age Information Management, First International Conference, WAIM 2000, Shanghai, China, June 21-23, 2000, Proceedings. Springer 2000, ISBN 3-540-67627-9
Contents

1847

Roy Dyckhoff (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings. Springer 2000, ISBN 3-540-67697-X
Contents

1848

Raffaele Giancarlo, David Sankoff (Eds.): Combinatorial Pattern Matching, 11th Annual Symposium, CPM 2000, Montreal, Canada, June 21-23, 2000, Proceedings. Springer 2000, ISBN 3-540-67633-3
Contents

1849

Christian Freksa, Wilfried Brauer, Christopher Habel, Karl Friedrich Wender (Eds.): Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications. Springer 2000, ISBN 3-540-67584-1
Contents

1850

Elisa Bertino (Ed.): ECOOP 2000 - Object-Oriented Programming, 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings. Springer 2000, ISBN 3-540-67660-0
Contents

1851

Magnús M. Halldórsson (Ed.): Algorithm Theory - SWAT 2000, 7th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, July 5-7, 2000, Proceedings. Springer 2000, ISBN 3-540-67690-2
Contents

1852

Thomas Thierauf: The Computational Complexity of Equivalence and Isomorphism Problems. Lecture Notes in Computer Science Vol. 1852 Springer 2000, ISBN 3-540-41032-5
Contents

1853

Ugo Montanari, José D. P. Rolim, Emo Welzl (Eds.): Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings. Springer 2000, ISBN 3-540-67715-1
Contents

1854

Gérard Lacoste, Birgit Pfitzmann, Michael Steiner, Michael Waidner (Eds.): SEMPER - Secure Electronic Marketplace for Europe. Lecture Notes in Computer Science Vol. 1854 Springer 2000, ISBN 3-540-67825-5

1855

E. Allen Emerson, A. Prasad Sistla (Eds.): Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings. Springer 2000, ISBN 3-540-67770-4
Contents

1856

Manuela M. Veloso, Enrico Pagello, Hiroaki Kitano (Eds.): RoboCup-99: Robot Soccer World Cup III. Springer 2000, ISBN 3-540-41043-0
Contents

1857

Josef Kittler, Fabio Roli (Eds.): Multiple Classifier Systems, First International Workshop, MCS 2000, Cagliari, Italy, June 21-23, 2000, Proceedings. Springer 2000, ISBN 3-540-67704-6
Contents

1858

Ding-Zhu Du, Peter Eades, Vladimir Estivill-Castro, Xuemin Lin, Arun Sharma (Eds.): Computing and Combinatorics, 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000, Proceedings. Springer 2000, ISBN 3-540-67787-9
Contents

1859

Marcus Jürgens: Index Structures for Data Warehouses. Lecture Notes in Computer Science Vol. 1859 Springer 2002, ISBN 3-540-43368-6
Contents

1860

Matthias Klusch, Larry Kerschberg (Eds.): Cooperative Information Agents IV, The Future of Information Agents in Cyberspace, 4th International Workshop, CIA 2000, Boston, MA, USA, July 7-9, 2000, Proceedings. Springer 2000, ISBN 3-540-67703-8
Contents

1861

John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (Eds.): Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Springer 2000, ISBN 3-540-67797-6
Contents

1862

Peter Clote, Helmut Schwichtenberg (Eds.): Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings. Springer 2000, ISBN 3-540-67895-6
Contents

1863

Larry Carter, Jeanne Ferrante (Eds.): Languages and Compilers for Parallel Computing, 12th International Workshop, LCPC'99, La Jolla/San Diego, CA, USA, August 4-6, 1999, Proceedings. Springer 2000, ISBN 3-540-67858-1
Contents

1864

Berthe Y. Choueiry, Toby Walsh (Eds.): Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings. Springer 2000, ISBN 3-540-67839-5
Contents

1865

Krzysztof R. Apt, Antonis C. Kakas, Eric Monfroy, Francesca Rossi (Eds.): New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers. Springer 2000, ISBN 3-540-67885-9
Contents

1866

James Cussens, Alan M. Frisch (Eds.): Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings. Springer 2000, ISBN 3-540-67795-X
Contents

1867

Bernhard Ganter, Guy W. Mineau (Eds.): Conceptual Structures: Logical, Linguistic, and Computational Issues, 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000, Proceedings. Springer 2000, ISBN 3-540-67859-X
Contents

1868

Pieter W. M. Koopman, Chris Clack (Eds.): Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers. Springer 2000, ISBN 3-540-67864-6
Contents

1869

Mark Aagaard, John Harrison (Eds.): Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings. Springer 2000, ISBN 3-540-67863-8
Contents

1870

Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski (Eds.): Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project). Springer 2000, ISBN 3-540-41137-2
Contents

1871

James L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey (Eds.): Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers. Springer 2001, ISBN 3-540-42716-3
Contents

1872

Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito (Eds.): Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings. Springer 2000, ISBN 3-540-67823-9
Contents

1873

Mohamed T. Ibrahim, Josef Küng, Norman Revell (Eds.): Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings. Springer 2000, ISBN 3-540-67978-2
Contents

1874

Yahiko Kambayashi, Mukesh K. Mohania, A. Min Tjoa (Eds.): Data Warehousing and Knowledge Discovery, Second International Conference, DaWaK 2000, London, UK, September 4-6, 2000, Proceedings. Springer 2000, ISBN 3-540-67980-4
Contents

1875

Kurt Bauknecht, Sanjay Kumar Madria, Günther Pernul (Eds.): Electronic Commerce and Web Technologies, First International Conference, EC-Web 2000, London, UK, September 4-6, 2000, Proceedings. Springer 2000, ISBN 3-540-67981-2
Contents

1876

Francesc J. Ferri, José Manuel Iñesta Quereda, Adnan Amin, Pavel Pudil (Eds.): Advances in Pattern Recognition, Joint IAPR International Workshops SSPR 2000 and SPR 2000, [8th International Workshop on Structural and Syntactic Pattern Recognition, 3rd International Workshop on Statistical Techniques in Pattern Recognition], Alicante, Spain, August 30 - September 1, 2000, Proceedings. Springer 2000, ISBN 3-540-67946-4
Contents

1877

Catuscia Palamidessi (Ed.): CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings. Springer 2000, ISBN 3-540-67897-2
Contents

1878

Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King (Eds.): ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings. Springer 2000, ISBN 3-540-67944-8
Contents

1879

Mike Paterson (Ed.): Algorithms - ESA 2000, 8th Annual European Symposium, Saarbrücken, Germany, September 5-8, 2000, Proceedings. Springer 2000, ISBN 3-540-41004-X
Contents

1880

Mihir Bellare (Ed.): Advances in Cryptology - CRYPTO 2000, 20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000, Proceedings. Springer 2000, ISBN 3-540-67907-3
Contents

1881

Chengqi Zhang, Von-Wun Soo (Eds.): Design and Applications of Intelligent Agents, Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000, Melbourne, Australia, August 28-29, 2000, Proceedings. Springer 2000, ISBN 3-540-67911-1
Contents

1882

David Kotz, Friedemann Mattern (Eds.): Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zürch, Switzerland, September 13-15, 2000, Proceedings. Springer 2000, ISBN 3-540-41052-X
Contents

1883

Bill Triggs, Andrew Zisserman, Richard Szeliski (Eds.): Vision Algorithms: Theory and Practice, International Workshop on Vision Algorithms, held during ICCV '99, Corfu, Greece, September 21-22, 1999, Proceedings. Springer 2000, ISBN 3-540-67973-1
Contents

1884

Julius Stuller, Jaroslav Pokorný, Bernhard Thalheim, Yoshifumi Masunaga (Eds.): Current Issues in Databases and Information Systems, East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000, Prague, Czech Republic, September 5-8, 2000, Proceedings. Springer 2000, ISBN 3-540-67977-4
Contents

1885

Klaus Havelund, John Penix, Willem Visser (Eds.): SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings. Springer 2000, ISBN 3-540-41030-9
Contents

1886

Riichiro Mizoguchi, John K. Slaney (Eds.): PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000, Proceedings. Springer 2000, ISBN 3-540-67925-1
Contents

1887

Thomas Wagner, Omer F. Rana (Eds.): Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems, International Workshop on Infrastructure for Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000, Revised Papers. Springer 2001, ISBN 3-540-42315-X
Contents

1888

Gerald Sommer, Yehoshua Y. Zeevi (Eds.): Algebraic Frames for the Perception-Action Cycle, Second International Workshop, AFPAC 2000, Kiel, Germany, September 10-11, 2000, Proceedings. Springer 2000, ISBN 3-540-41013-9
Contents

1989

Michael Anderson, Peter Cheng, Volker Haarslev (Eds.): Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings. Springer 2000, ISBN 3-540-67915-4
Contents

1890

Claudia Linnhoff-Popien, Heinz-Gerd Hegering (Eds.): Trends in Distributed Systems: Towards a Universal Service Market, Third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000, Proceedings. Springer 2000, ISBN 3-540-41024-4
Contents

1891

Arlindo L. Oliveira (Ed.): Grammatical Inference: Algorithms and Applications, 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000, Proceedings. Springer 2000, ISBN 3-540-41011-2
Contents

1892

Peter Brusilovsky, Oliviero Stock, Carlo Strapparava (Eds.): Adaptive Hypermedia and Adaptive Web-Based Systems, International Conference, AH 2000, Trento, Italy, August 28-30, 2000, Proceedings. Springer 2000, ISBN 3-540-67910-3
Contents

1893

Mogens Nielsen, Branislav Rovan (Eds.): Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings. Springer 2000, ISBN 3-540-67901-4
Contents

1894

Rina Dechter (Ed.): Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings. Springer 2000, ISBN 3-540-41053-8
Contents

1895

Frédéric Cuppens, Yves Deswarte, Dieter Gollmann, Michael Waidner (Eds.): Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings. Springer 2000, ISBN 3-540-41031-7
Contents

1896

Reiner W. Hartenstein, Herbert Grünbacher (Eds.): Field-Programmable Logic and Applications, The Roadmap to Reconfigurable Computing, 10th International Workshop, FPL 2000, Villach, Austria, August 27-30, 2000, Proceedings. Springer 2000, ISBN 3-540-67899-9
Contents

1897

Jürg Gutknecht, Wolfgang Weck (Eds.): Modular Programming Languages, Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000, Proceedings. Springer 2000, ISBN 3-540-67958-8
Contents

1898

Enrico Blanzieri, Luigi Portinale (Eds.): Advances in Case-Based Reasoning, 5th European Workshop, EWCBR 2000, Trento, Italy, September 6-9, 2000, Proceedings. Springer 2000, ISBN 3-540-67933-2
Contents

1899

Hans-Hellmut Nagel, Francisco J. Perales López (Eds.): Articulated Motion and Deformable Objects, First International Workshop, AMDO 2000, Palma de Mallorca, Spain, September 7-9, 2000, Proceedings. Springer 2000, ISBN 3-540-67912-X
Contents