Lecture Notes in Computer Science (LNCS), Volumes 2000-2099

2000

Reinhard Wilhelm (Ed.): Informatics - 10 Years Back. 10 Years Ahead. Springer 2001, ISBN 3-540-41635-8
Contents

2001

Gul Agha, Fiorella de Cindio, Grzegorz Rozenberg (Eds.): Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Springer 2001, ISBN 3-540-41942-X
Contents

2002

Hubert Comon, Claude Marché, Ralf Treinen (Eds.): Constraints in Computational Logics: Theory and Applications, International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, Revised Lectures. Springer 2001, ISBN 3-540-41950-0
Contents

2003

Frank Dignum, Ulises Cortés (Eds.): Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop). Springer 2001, ISBN 3-540-41749-4
Contents

2004

Alexander F. Gelbukh (Ed.): Computational Linguistics and Intelligent Text Processing, Second International Conference, CICLing 2001, Mexico-City, Mexico, February 18-24, 2001, Proceedings. Springer 2001, ISBN 3-540-41687-0
Contents

2005

Wojciech Ziarko, Y. Y. Yao (Eds.): Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000, Revised Papers. Springer 2001, ISBN 3-540-43074-1
Contents

2006

Reiner R. Dumke, Alain Abran (Eds.): New Approaches in Software Measurement, 10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000, Proceedings. Springer 2001, ISBN 3-540-41727-3
Contents

2007

John F. Roddick, Kathleen Hornsby (Eds.): Temporal, Spatial, and Spatio-Temporal Data Mining, First International Workshop TSDM 2000 Lyon, France, September 12, 2000, Revised Papers. Springer 2001, ISBN 3-540-41773-7
Contents

2008

Babak Falsafi, T. N. Vijaykumar (Eds.): Power-Aware Computer Systems, First International Workshop, PACS 2000, Cambridge, MA, USA, November 12, 2000, Revised Papers. Springer 2001, ISBN 3-540-42329-X
Contents

2009

Hannes Federrath (Ed.): Designing Privacy Enhancing Technologies, International Workshop on Design Issues in Anonymity and Unobservability, Berkeley, CA, USA, July 25-26, 2000, Proceedings. Springer 2001, ISBN 3-540-41724-9
Contents

2010

Afonso Ferreira, Horst Reichel (Eds.): STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings. Springer 2001, ISBN 3-540-41695-1
Contents

2011

Markus Mohnen, Pieter W. M. Koopman (Eds.): Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers. Springer 2001, ISBN 3-540-41919-5
Contents

2012

Douglas R. Stinson, Stafford E. Tavares (Eds.): Selected Areas in Cryptography, 7th Annual International Workshop, SAC 2000, Waterloo, Ontario, Canada, August 14-15, 2000, Proceedings. Springer 2001, ISBN 3-540-42069-X
Contents

2013

Sameer Singh, Nabeel A. Murshed, Walter G. Kropatsch (Eds.): Advances in Pattern Recognition - ICAPR 2001, Second International Conference Rio de Janeiro, Brazil, March 11-14, 2001, Proceedings. Springer 2001, ISBN 3-540-41767-2
Contents

2014

Michael Moortgat (Ed.): Logical Aspects of Computational Linguistics, Third International Conference, LACL'98, Grenoble, France, December 14-16, 1998, Selected Papers. Springer 2001, ISBN 3-540-42251-X
Contents

2015

Dongho Won (Ed.): Information Security and Cryptology - ICISC 2000, Third International Conference, Seoul, Korea, December 8-9, 2000, Proceedings. Springer 2001, ISBN 3-540-41782-6
Contents

2016

San Murugesan, Yogesh Deshpande (Eds.): Web Engineering, Software Engineering and Web Application Development. Springer 2001, ISBN 3-540-42130-0
Contents

2017

Samuel P. Midkiff, José E. Moreira, Manish Gupta, Siddhartha Chatterjee, Jeanne Ferrante, Jan Prins, William Pugh, Chau-Wen Tseng (Eds.): Languages and Compilers for Parallel Computing, 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers. Springer 2001, ISBN 3-540-42862-3
Contents

2018

Marc Pollefeys, Luc J. Van Gool, Andrew Zisserman, Andrew W. Fitzgibbon (Eds.): 3D Structure from Images - SMILE 2000, Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments Dublin, Ireland, July 12, 2000, Revised Papers. Springer 2001, ISBN 3-540-41845-8
Contents

2019

Peter Stone, Tucker R. Balch, Gerhard K. Kraetzschmar (Eds.): RoboCup 2000: Robot Soccer World Cup IV. Springer 2001, ISBN 3-540-42185-8
Contents

2020

David Naccache (Ed.): Topics in Cryptology - CT-RSA 2001, The Cryptographer's Track at RSA Conference 2001, San Francisco, CA, USA, April 8-12, 2001, Proceedings. Springer 2001, ISBN 3-540-41898-9
Contents

2021

José Nuno Oliveira, Pamela Zave (Eds.): FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings. Springer 2001, ISBN 3-540-41791-5
Contents

2022

Alexander B. Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, Anand Tripathi (Eds.): Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop). Springer 2001, ISBN 3-540-41952-7
Contents

2023

Peter R. King, Ethan V. Munson (Eds.): Digital Documents: Systems and Principles, 8th International Conference on Digital Documents and Electronic Publishing, DDEP 2000, 5th International Workshop on the Principles of Digital Document Processing, PODDP 2000, Munich, Germany, September 13-15, 2000, Revised Papers. Springer 2004, ISBN 3-540-21070-9
Contents

2024

Herbert Kuchen, Kazunori Ueda (Eds.): Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings. Springer 2001, ISBN 3-540-41739-7
Contents

2025

Michael Kaufmann, Dorothea Wagner (Eds.): Drawing Graphs, Methods and Models (the book grow out of a Dagstuhl Seminar, April 1999). Springer 2001, ISBN 3-540-42062-2
Contents

2026

Frank Mueller (Ed.): High-Level Parallel Programming Models and Supportive Environments, 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001, Proceedings. Springer 2001, ISBN 3-540-41944-6
Contents

2027

Reinhard Wilhelm (Ed.): Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001, ISBN 3-540-41861-X
Contents

2028

David Sands (Ed.): Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001, ISBN 3-540-41862-8
Contents

2029

Heinrich Hußmann (Ed.): Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001, ISBN 3-540-41863-6
Contents

2030

Furio Honsell, Marino Miculan (Eds.): Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001, ISBN 3-540-41864-4
Contents

2031

Tiziana Margaria, Wang Yi (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001, ISBN 3-540-41865-2
Contents

2032

Reinhard Klette, Thomas S. Huang, Georgy L. Gimel'farb (Eds.): Multi-Image Analysis, 10th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, March 12-17, 2000, Revised Papers. Springer 2001, ISBN 3-540-42122-X
Contents

2033

Jiming Liu, Yiming Ye (Eds.): E-Commerce Agents, Marketplace Solutions, Security Issues, and Supply and Demand. Springer 2001, ISBN 3-540-41934-9
Contents

2034

Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli (Eds.): Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings. Springer 2001, ISBN 3-540-41866-0
Contents

2035

David Wai-Lok Cheung, Graham J. Williams, Qing Li (Eds.): Knowledge Discovery and Data Mining - PAKDD 2001, 5th Pacific-Asia Conference, Hong Kong, China, April 16-18, 2001, Proceedings. Springer 2001, ISBN 3-540-41910-1
Contents

2036

Stefan Wermter, Jim Austin, David J. Willshaw (Eds.): Emergent Neural Computational Architectures Based on Neuroscience - Towards Neuroscience-Inspired Computing. Springer 2001, ISBN 3-540-42363-X
Contents

2037

Egbert J. W. Boers, Jens Gottlieb, Pier Luca Lanzi, Robert E. Smith, Stefano Cagnoni, Emma Hart, Günther R. Raidl, H. Tijink (Eds.): Applications of Evolutionary Computing, EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001, Proceedings. Springer 2001, ISBN 3-540-41920-9
Contents

2038

Julian F. Miller, Marco Tomassini, Pier Luca Lanzi, Conor Ryan, Andrea Tettamanzi, William B. Langdon (Eds.): Genetic Programming, 4th European Conference, EuroGP 2001, Lake Como, Italy, April 18-20, 2001, Proceedings. Springer 2001, ISBN 3-540-41899-7
Contents

2039

Michael Schumacher: Objective Coordination in Multi-Agent System Engineering - Design and Implementation. Lecture Notes in Computer Science Vol. 2039 Springer 2001, ISBN 3-540-41982-9
Contents

2040

Weidong Kou, Yelena Yesha, Chung-Jen Tan (Eds.): Topics in Electronic Commerce, Second International Symposium, ISEC 2001 Hong Kong, China, April 26-28, 2001, Proceedings. Springer 2001, ISBN 3-540-41963-2
Contents

2041

Isabelle Attali, Thomas P. Jensen (Eds.): Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers. Springer 2001, ISBN 3-540-42167-X
Contents

2042

Kung-Kiu Lau (Ed.): Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers. Springer 2001, ISBN 3-540-42127-0
Contents

2043

Dirk Craeynest, Alfred Strohmeier (Eds.): Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings. Springer 2001, ISBN 3-540-42123-8
Contents

2044

Samson Abramsky (Ed.): Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings. Springer 2001, ISBN 3-540-41960-8
Contents

2045

Birgit Pfitzmann (Ed.): Advances in Cryptology - EUROCRYPT 2001, International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001, Proceeding. Springer 2001, ISBN 3-540-42070-3
Contents

2046

Hans Daduna: Queueing Networks with Discrete Time Scale - Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks. Lecture Notes in Computer Science Vol. 2046 Springer 2001, ISBN 3-540-42357-5
Contents

2047

Reiner R. Dumke, Claus Rautenstrauch, Andreas Schmietendorf, André Scholz (Eds.): Performance Engineering, State of the Art and Current Trends. Springer 2001, ISBN 3-540-42145-9
Contents

2048

Josef Pauli: Learning-Based Robot Vision, Principles and Applications. Lecture Notes in Computer Science Vol. 2048 Springer 2001, ISBN 3-540-42108-4
Contents

2049

Georgios Paliouras, Vangelis Karkaletsis, Constantine D. Spyropoulos (Eds.): Machine Learning and Its Applications, Advanced Lectures. Springer 2001, ISBN 3-540-42490-3
Contents

2050

Jean-Yves Le Boudec, Patrick Thiran: Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Lecture Notes in Computer Science Vol. 2050 Springer 2001, ISBN 3-540-42184-X
Contents

2051

Aart Middeldorp (Ed.): Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings. Springer 2001, ISBN 3-540-42117-3
Contents

2052

Vladimir I. Gorodetski, Victor A. Skormin, Leonard J. Popyack (Eds.): Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security, International Workshop MMM-ACNS 2001, St. Petersburg, Russia, May 21-23, 2001, Proceedings. Springer 2001, ISBN 3-540-42103-3
Contents

2053

Olivier Danvy, Andrzej Filinski (Eds.): Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings. Springer 2001, ISBN 3-540-42068-1
Contents

2054

Anne Condon, Grzegorz Rozenberg (Eds.): DNA Computing, 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000, Revised Papers. Springer 2001, ISBN 3-540-42076-2
Contents

2055

Maurice Margenstern, Yurii Rogozhin (Eds.): Machines, Computations, and Universality, Third International Conference, MCU 2001, Chisinau, Moldavia, May 23-27, 2001, Proceedings. Springer 2001, ISBN 3-540-42121-1
Contents

2056

Eleni Stroulia, Stan Matwin (Eds.): Advances in Artificial Intelligence, 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001, Proceedings. Springer 2001, ISBN 3-540-42144-0
Contents

2057

Matthew B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings. Springer 2001, ISBN 3-540-42124-6
Contents

2058

Stephen A. Brewster, Roderick Murray-Smith (Eds.): Haptic Human-Computer Interaction, First International Workshop, Glasgow, UK, August 31 - September 1, 2000, Proceedings. Springer 2001, ISBN 3-540-42356-7
Contents

2059

Carlo Arcelli, Luigi P. Cordella, Gabriella Sanniti di Baja (Eds.): Visual Form 2001, 4th International Workshop on Visual Form, IWVF-4, Capri, Italy, May 28-30, 2001, Proceedings. Springer 2001, ISBN 3-540-42120-3
Contents

2060

Thomas Böhme, Herwig Unger (Eds.): Innovative Internet Computing Systems, International Workshop IICS 2001, Ilmenau, Germany, June 21-22, 2001, Proceedings. Springer 2001, ISBN 3-540-42275-7
Contents

2061

Jürgen Richter-Gebert, Dongming Wang (Eds.): Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers. Springer 2001, ISBN 3-540-42598-5
Contents

2062

Alexander Nareyek: Constraint-Based Agents. Lecture Notes in Computer Science Vol. 2062 Springer 2001, ISBN 3-540-42258-7
Contents

2063

T. Anthony Marsland, Ian Frank (Eds.): Computers and Games, Second International Conference, CG 2000, Hamamatsu, Japan, October 26-28, 2000, Revised Papers. Springer 2002, ISBN 3-540-43080-6
Contents

2064

Jens Blanck, Vasco Brattka, Peter Hertling (Eds.): Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers. Springer 2001, ISBN 3-540-42197-1
Contents

2065

Herman Balsters, Bert O. de Brock, Stefan Conrad (Eds.): Database Schema Evolution and Meta-Modeling, 9th International Workshop on Foundations of Models and Languages for Data and Objects, FoMLaDO/DEMM 2000, Dagstuhl Castle, Germany, September 18-21, 2000, Selected Papers. Springer 2001, ISBN 3-540-42272-2
Contents

2066

Olivier Gascuel, Marie-France Sagot (Eds.): Computational Biology, First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000, Montpellier, France, May 3-5, 2000, Selected Papers. Springer 2001, ISBN 3-540-42242-0
Contents

2067

Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (Eds.): Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Springer 2001, ISBN 3-540-42787-2
Contents

2068

Klaus R. Dittrich, Andreas Geppert, Moira C. Norrie (Eds.): Advanced Information Systems Engineering, 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings. Springer 2001, ISBN 3-540-42215-3
Contents

2069

Carol Peters (Ed.): Cross-Language Information Retrieval and Evaluation, Workshop of Cross-Language Evaluation Forum, CLEF 2000, Lisbon, Portugal, September 21-22, 2000, Revised Papers. Springer 2001, ISBN 3-540-42446-6
Contents

2070

Laszlo Monostori, József Váncza, Moonis Ali (Eds.): Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings. Springer 2001, ISBN 3-540-42219-6
Contents

2071

Robert Harper (Ed.): Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers. Springer 2001, ISBN 3-540-42196-3
Contents

2072

Jørgen Lindskov Knudsen (Ed.): ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings. Springer 2001, ISBN 3-540-42206-4
Contents

2073

Vassil N. Alexandrov, Jack Dongarra, Benjoe A. Juliano, René S. Renner, Chih Jeng Kenneth Tan (Eds.): Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I. Springer 2001, ISBN 3-540-42232-3
Contents

2074

Vassil N. Alexandrov, Jack Dongarra, Benjoe A. Juliano, René S. Renner, Chih Jeng Kenneth Tan (Eds.): Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part II. Springer 2001, ISBN 3-540-42233-1
Contents

2075

José Manuel Colom, Maciej Koutny (Eds.): Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings. Springer 2001, ISBN 3-540-42252-8
Contents

2076

Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (Eds.): Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings. Springer 2001, ISBN 3-540-42287-0
Contents

2077

Vincenzo Ambriola (Ed.): Software Process Technology, 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001, Proceedings. Springer 2001, ISBN 3-540-42264-1
Contents

2078

Rick Reed, Jeanne Reed (Eds.): SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings. Springer 2001, ISBN 3-540-42281-1
Contents

2079

Edmund K. Burke, Wilhelm Erben (Eds.): Practice and Theory of Automated Timetabling III, Third International Conference, PATAT 2000, Konstanz, Germany, August 16-18, 2000, Selected Papers. Springer 2001, ISBN 3-540-42421-0
Contents

2080

David W. Aha, Ian Watson (Eds.): Case-Based Reasoning Research and Development, 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30 - August 2, 2001, Proceedings. Springer 2001, ISBN 3-540-42358-3
Contents

2081

Karen Aardal, Bert Gerards (Eds.): Integer Programming and Combinatorial Optimization, 8th International IPCO Conference, Utrecht, The Netherlands, June 13-15, 2001, Proceedings. Springer 2001, ISBN 3-540-42225-0
Contents

2082

Michael F. Insana, Richard M. Leahy (Eds.): Information Processing in Medical Imaging, 17th International Conference, IPMI 2001, Davis, CA, USA, June 18-22, 2001, Proceedings. Springer 2001, ISBN 3-540-42245-5
Contents

2083

Rajeev Goré, Alexander Leitsch, Tobias Nipkow (Eds.): Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings. Springer 2001, ISBN 3-540-42254-4
Contents

2084

José Mira, Alberto Prieto (Eds.): Connectionist Models of Neurons, Learning Processes and Artificial Intelligence, 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part I. Springer 2001, ISBN 3-540-42235-8
Contents

2085

José Mira, Alberto Prieto (Eds.): Bio-inspired Applications of Connectionism, 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part II. Springer 2001, ISBN 3-540-42237-4
Contents

2086

Michael Luck, Vladimír Marík, Olga Stepánková, Robert Trappl (Eds.): Multi-Agent Systems and Applications, 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001, Selected Tutorial Papers. Springer 2001, ISBN 3-540-42312-5
Contents

2087

Gabriele Kern-Isberner: Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents. Lecture Notes in Computer Science Vol. 2087 Springer 2001, ISBN 3-540-42367-2
Contents

2088

Sheng Yu, Andrei Paun (Eds.): Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers. Springer 2001, ISBN 3-540-42491-1
Contents

2089

Amihood Amir, Gad M. Landau (Eds.): Combinatorial Pattern Matching, 12th Annual Symposium, CPM 2001 Jerusalem, Israel, July 1-4, 2001 Proceedings. Springer 2001, ISBN 3-540-42271-4
Contents

2090

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (Eds.): Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures. Springer 2001, ISBN 3-540-42479-2
Contents

2091

Josef Bigün, Fabrizio Smeraldi (Eds.): Audio- and Video-Based Biometric Person Authentication, Third International Conference, AVBPA 2001 Halmstad, Sweden, June 6-8, 2001, Proceedings. Springer 2001, ISBN 3-540-42216-1
Contents

2092

Lars C. Wolf, David Hutchison, Ralf Steinmetz (Eds.): Quality of Service - IWQoS 2001, 9th International Workshop Karlsruhe, Germany, June 6-8, 2001, Proceedings. Springer 2001, ISBN 3-540-42217-X
Contents

2093

Pascal Lorenz (Ed.): Networking - ICN 2001, First International Conference, Colmar, France, July 9-13, 2001 Proceedings, Part 1. Springer 2001, ISBN 3-540-42302-8
Contents

2094

Pascal Lorenz (Ed.): Networking - ICN 2001, First International Conference, Colmar, France, July 9-13, 2001 Proceedings, Part 2. Springer 2001, ISBN 3-540-42303-6
Contents

2095

Bernt Schiele, Gerhard Sagerer (Eds.): Computer Vision Systems, Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001, Proceedings. Springer 2001, ISBN 3-540-42285-4
Contents

2096

Josef Kittler, Fabio Roli (Eds.): Multiple Classifier Systems, Second International Workshop, MCS 2001 Cambridge, UK, July 2-4, 2001, Proceedings. Springer 2001, ISBN 3-540-42284-6
Contents

2097

Brian J. Read (Ed.): Advances in Databases, 18th British National Conference on Databases, BNCOD 18, Chilton, UK, July 9-11, 2001, Proceedings. Springer 2001, ISBN 3-540-42265-X
Contents

2098

Jin Akiyama, Mikio Kano, Masatsugu Urabe (Eds.): Discrete and Computational Geometry, Japanese Conference, JCDCG 2000, Tokyo, Japan, November, 22-25, 2000, Revised Papers. Springer 2001, ISBN 3-540-42306-0
Contents

2099

Philippe de Groote, Glyn Morrill, Christian Retoré (Eds.): Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings. Springer 2001, ISBN 3-540-42273-0
Contents