Lecture Notes in Computer Science (LNCS), Volumes 2400-2499

2400

Burkhard Monien, Rainer Feldmann (Eds.): Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings. Springer 2002, ISBN 3-540-44049-6
Contents

2401

Peter J. Stuckey (Ed.): Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings. Springer 2002, ISBN 3-540-43930-7
Contents

2402

Whie Chang (Ed.): Advanced Internet Services and Applications, First International Workshop, AISA 2002, Seoul, Korea, August 1-2, 2002, Proceedings. Springer 2002, ISBN 3-540-43968-4
Contents

2403

Mark d'Inverno, Michael Luck, Michael Fisher, Chris Preist (Eds.): Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000, Selected Papers. Springer 2002, ISBN 3-540-43962-5
Contents

2404

Ed Brinksma, Kim Guldstrand Larsen (Eds.): Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings. Springer 2002, ISBN 3-540-43997-8
Contents

2405

Barry Eaglestone, Siobhán North, Alexandra Poulovassilis (Eds.): Advances in Databases, 19th British National Conference on Databases, BNCOD 19, Sheffield, UK, July 17-19, 2002, Proceedings. Springer 2002, ISBN 3-540-43905-6
Contents

2406

Carol Peters, Martin Braschler, Julio Gonzalo, Michael Kluck (Eds.): Evaluation of Cross-Language Information Retrieval Systems, Second Workshop of the Cross-Language Evaluation Forum, CLEF 2001, Darmstadt, Germany, September 3-4, 2001, Revised Papers. Springer 2002, ISBN 3-540-44042-9
Contents

2407

Antonis C. Kakas, Fariba Sadri (Eds.): Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I. Springer 2002, ISBN 3-540-43959-5
Contents

2408

Antonis C. Kakas, Fariba Sadri (Eds.): Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II. Springer 2002, ISBN 3-540-43960-9
Contents

2409

David M. Mount, Clifford Stein (Eds.): Algorithm Engineering and Experiments, 4th International Workshop, ALENEX 2002, San Francicsco, CA, USA, January 4-5, 2002, Revised Papers. Springer 2002, ISBN 3-540-43977-3
Contents

2410

Victor Carreño, César Muñoz, Sofiène Tahar (Eds.): Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings. Springer 2002, ISBN 3-540-44039-9
Contents

2411

Fabio Paternò (Ed.): Mobile Human-Computer Interaction, 4th International Symposium, Mobile HCI 2002, Pisa, Italy, September 18-20, 2002, Proceedings. Springer 2002, ISBN 3-540-44189-1
Contents

2412

Hujun Yin, Nigel M. Allinson, Richard T. Freeman, John A. Keane, Simon J. Hubbard (Eds.): Intelligent Data Engineering and Automated Learning - IDEAL 2002, Third International Conference, Manchester, UK, August 12-14, Proceedings. Springer 2002, ISBN 3-540-44025-9
Contents

2413

Kazuhiro Kuwabara, Jaeho Lee (Eds.): Intelligent Agents and Multi-Agent Systems, 5th Pacific Rim International Workshop on Multi Agents, Tokyo, Japan, August 19-20, 2002, Proceedings. Springer 2002, ISBN 3-540-44026-7
Contents

2414

Friedemann Mattern, Mahmoud Naghshineh (Eds.): Pervasive Computing, First International Conference, Pervasive 2002, Zürich, Switzerland, August 26-28, 2002, Proceedings. Springer 2002, ISBN 3-540-44060-7
Contents

2415

José R. Dorronsoro (Ed.): Artificial Neural Networks - ICANN 2002, International Conference, Madrid, Spain, August 28-30, 2002, Proceedings. Springer 2002, ISBN 3-540-44074-7
Contents

2416

Susan Craw, Alun D. Preece (Eds.): Advances in Case-Based Reasoning, 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4-7, 2002, Proceedings. Springer 2002, ISBN 3-540-44109-3
Contents

2417

Mitsuru Ishizuka, Abdul Sattar (Eds.): PRICAI 2002: Trends in Artificial Intelligence, 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002, Proceedings. Springer 2002, ISBN 3-540-44038-0
Contents

2418

Don Wells, Laurie A. Williams (Eds.): Extreme Programming and Agile Methods - XP/Agile Universe 2002, Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4-7, 2002, Proceedings. Springer 2002, ISBN 3-540-44024-0
Contents

2419

Xiaofeng Meng, Jianwen Su, Yujun Wang (Eds.): Advances in Web-Age Information Management, Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002, Proceedings. Springer 2002, ISBN 3-540-44045-3
Contents

2420

Krzysztof Diks, Wojciech Rytter (Eds.): Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings. Springer 2002, ISBN 3-540-44040-2
Contents

2421

Lubos Brim, Petr Jancar, Mojmír Kretínský, Antonín Kucera (Eds.): CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings. Springer 2002, ISBN 3-540-44043-7
Contents

2422

Hélène Kirchner, Christophe Ringeissen (Eds.): Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings. Springer 2002, ISBN 3-540-44144-1
Contents

2423

Daniel P. Lopresti, Jianying Hu, Ramanujan S. Kashi (Eds.): Document Analysis Systems V, 5th International Workshop, DAS 2002, Princeton, NY, USA, August 19-21, 2002, Proceedings. Springer 2002, ISBN 3-540-44068-2
Contents

2424

Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni (Eds.): Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings. Springer 2002, ISBN 3-540-44190-5
Contents

2425

Zohra Bellahsene, Dilip Patel, Colette Rolland (Eds.): Object-Oriented. Information Systems, 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002, Proceedings. Springer 2002, ISBN 3-540-44087-9
Contents

2426

Jean-Michel Bruel, Zohra Bellahsene (Eds.): Advances in Object-Oriented Information Systems, OOIS 2002 Workshops, Montpellier, France, September 2, 2002, Proceedings. Springer 2002, ISBN 3-540-44088-7
Contents

2427

Markus Hannebauer: Autonomous Dynamic Reconfiguration in Multi-Agent Systems, Improving the Quality and Efficiency of Collaborative Problem Solving. Lecture Notes in Computer Science Vol. 2427 Springer 2002, ISBN 3-540-44312-6
Contents

2428

Holger Hermanns: Interactive Markov Chains: The Quest for Quantified Quality. Lecture Notes in Computer Science Vol. 2428 Springer 2002, ISBN 3-540-44261-8
Contents

2429

Peter Druschel, M. Frans Kaashoek, Antony I. T. Rowstron (Eds.): Peer-to-Peer Systems, First International Workshop, IPTPS 2002, Cambridge, MA, USA, March 7-8, 2002, Revised Papers. Springer 2002, ISBN 3-540-44179-4
Contents

2430

Tapio Elomaa, Heikki Mannila, Hannu Toivonen (Eds.): Machine Learning: ECML 2002, 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002, Proceedings. Springer 2002, ISBN 3-540-44036-4
Contents

2431

Tapio Elomaa, Heikki Mannila, Hannu Toivonen (Eds.): Principles of Data Mining and Knowledge Discovery, 6th European Conference, PKDD 2002, Helsinki, Finland, August 19-23, 2002, Proceedings. Springer 2002, ISBN 3-540-44037-2
Contents

2432

Ralph Bergmann: Experience Management: Foundations, Development Methodology, and Internet-Based Applications. Lecture Notes in Computer Science Vol. 2432 Springer 2002, ISBN 3-540-44191-3
Contents

2433

Agnes Hui Chan, Virgil D. Gligor (Eds.): Information Security, 5th International Conference, ISC 2002 Sao Paulo, Brazil, September 30 - October 2, 2002, Proceedings. Springer 2002, ISBN 3-540-44270-7
Contents

2434

Stuart Anderson, Sandro Bologna, Massimo Felici (Eds.): Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings. Springer 2002, ISBN 3-540-44157-3
Contents

2435

Yannis Manolopoulos, Pavol Návrat (Eds.): Advances in Databases and Information Systems, 6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings. Springer 2002, ISBN 3-540-44138-7
Contents

2436

Joseph Fong, Ronnie Chu Ting Cheung, Hong Va Leong, Qing Li (Eds.): Advances in Web-Based Learning, First International Conference, ICWL 2002, Hong Kong, China, August 17-19, 2002, Proceedings. Springer 2002, ISBN 3-540-44041-0
Contents

2437

George I. Davida, Yair Frankel, Owen Rees (Eds.): Infrastructure Security, International Conference, InfraSec 2002 Bristol, UK, October 1-3, 2002, Proceedings. Springer 2002, ISBN 3-540-44309-6
Contents

2438

Manfred Glesner, Peter Zipf, Michel Renovell (Eds.): Field-Programmable Logic and Applications, Reconfigurable Computing Is Going Mainstream, 12th International Conference, FPL 2002, Montpellier, France, September 2-4, 2002, Proceedings. Springer 2002, ISBN 3-540-44108-5
Contents

2439

Juan J. Merelo Guervós, Panagiotis Adamidis, Hans-Georg Beyer, José Luis Fernández-Villacañas Martín, Hans-Paul Schwefel (Eds.): Parallel Problem Solving from Nature - PPSN VII, 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings. Springer 2002, ISBN 3-540-44139-5
Contents

2440

Jörg M. Haake, José A. Pino (Eds.): Groupware: Design, Implementation and Use, 8th International Workshop, CRIWG 2002, La Serena, Chile, 1.-4. September 2002, Proceedings. Springer 2002, ISBN 3-540-44112-3
Contents

2441

Zhenjiang Hu, Mario Rodríguez-Artalejo (Eds.): Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings. Springer 2002, ISBN 3-540-44233-2
Contents

2442

Moti Yung (Ed.): Advances in Cryptology - CRYPTO 2002, 22nd Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 2002, Proceedings. Springer 2002, ISBN 3-540-44050-X
Contents

2443

Donia Scott (Ed.): Artificial Intelligence: Methodology, Systems, and Applications, 10th International Conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002, Proceedings. Springer 2002, ISBN 3-540-44127-1
Contents

2444

Alejandro P. Buchmann, Fabio Casati, Ludger Fiege, Meichun Hsu, Ming-Chien Shan (Eds.): Technologies for E-Services, Third International Workshop, TES 2002, Hong Kong, China, August 23-24, 2002, Proceedings. Springer 2002, ISBN 3-540-44110-7
Contents

2445

Christina Anagnostopoulou, Miguel Ferrand, Alan Smaill (Eds.): Music and Artificial Intelligence, Second International Conference, ICMAI 2002, Edinburgh, Scotland, UK, September 12-14, 2002, Proceedings. Springer 2002, ISBN 3-540-44145-X
Contents

2446

Matthias Klusch, Sascha Ossowski, Onn Shehory (Eds.): Cooperative Information Agents VI, 6th International Workshop, CIA 2002, Madrid, Spain, September 18-20, 2002, Proceedings. Springer 2002, ISBN 3-540-44173-5
Contents

2447

David J. Hand, Niall M. Adams, Richard J. Bolton (Eds.): Pattern Detection and Discovery, ESF Exploratory Workshop, London, UK, September 16-19, 2002, Proceedings. Springer 2002, ISBN 3-540-44148-4
Contents

2448

Petr Sojka, Ivan Kopecek, Karel Pala (Eds.): Text, Speech and Dialogue, 5th International Conference, TSD 2002, Brno, Czech Republic September 9-12, 2002, Proceedings. Springer 2002, ISBN 3-540-44129-8
Contents

2449

Luc J. Van Gool (Ed.): Pattern Recognition, 24th DAGM Symposium, Zurich, Switzerland, September 16-18, 2002, Proceedings. Springer 2002, ISBN 3-540-44209-X
Contents

2450

Masami Ito, Masafumi Toyama (Eds.): Developments in Language Theory, 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers. Springer 2003, ISBN 3-540-40431-7
Contents

2451

Bertrand Hochet, Antonio J. Acosta, Manuel J. Bellido (Eds.): Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation, 12th International Workshop, PATMOS 2002, Seville, Spain, September 11-13, 2002. Springer 2002, ISBN 3-540-44143-3
Contents

2452

Roderic Guigó, Dan Gusfield (Eds.): Algorithms in Bioinformatics, Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings. Springer 2002, ISBN 3-540-44211-1
Contents

2453

Abdelkader Hameurlain, Rosine Cicchetti, Roland Traunmüller (Eds.): Database and Expert Systems Applications, 13th International Conference, DEXA 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings. Springer 2002, ISBN 3-540-44126-3
Contents

2454

Yahiko Kambayashi, Werner Winiwarter, Masatoshi Arikawa (Eds.): Data Warehousing and Knowledge Discovery, 4th International Conference, DaWaK 2002, Aix-en-Provence, France, September 4-6, 2002, Proceedings. Springer 2002, ISBN 3-540-44123-9
Contents

2455

Kurt Bauknecht, A. Min Tjoa, Gerald Quirchmayr (Eds.): E-Commerce and Web Technologies, Third International Conference, EC-Web 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings. Springer 2002, ISBN 3-540-44137-9
Contents

2456

Klaus Lenk, Roland Traunmüller (Eds.): Electronic Government, First International Conference, EGOV 2002, Aix-en-Provence, France, September 2-5, 2002, Proceedings. Springer 2002, ISBN 3-540-44121-2
Contents

2457

Tatyana M. Yakhno (Ed.): Advances in Information Systems, Second International Conference, ADVIS 2002, Izmir, Turkey, October 23-25, 2002, Proceedings. Springer 2002, ISBN 3-540-00009-7
Contents

2458

Maristella Agosti, Costantino Thanos (Eds.): Research and Advanced Technology for Digital Libraries, 6th European Conference, ECDL 2002, Rome, Italy, September 16-18, 2002, Proceedings. Springer 2002, ISBN 3-540-44178-6
Contents

2459

Mariacarla Calzarossa, Salvatore Tucci (Eds.): Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures. Springer 2002, ISBN 3-540-44252-9
Contents

2460

Jean-Marc Jézéquel, Heinrich Hußmann, Stephen Cook (Eds.): UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings. Springer 2002, ISBN 3-540-44254-5
Contents

2461

Rolf H. Möhring, Rajeev Raman (Eds.): Algorithms - ESA 2002, 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings. Springer 2002, ISBN 3-540-44180-8
Contents

2462

Klaus Jansen, Stefano Leonardi, Vijay V. Vazirani (Eds.): Approximation Algorithms for Combinatorial Optimization, 5th International Workshop, APPROX 2002, Rome, Italy, September 17-21, 2002, Proceedings. Springer 2002, ISBN 3-540-44186-7
Contents

2463

Marco Dorigo, Gianni Di Caro, Michael Sampels (Eds.): Ant Algorithms, Third International Workshop, ANTS 2002, Brussels, Belgium, September 12-14, 2002, Proceedings. Springer 2002, ISBN 3-540-44146-8
Contents

2464

Michael O'Neill, Richard F. E. Sutcliffe, Conor Ryan, Malachy Eaton, Niall Griffith (Eds.): Artificial Intelligence and Cognitive Science, 13th Irish International Conference, AICS 2002, Limerick, Ireland, September 12-13, 2002, Proceedings. Springer 2002, ISBN 3-540-44184-0
Contents

2465

Hiroshi Arisawa, Yahiko Kambayashi, Vijay Kumar, Heinrich C. Mayr, Ingrid Hunt (Eds.): ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001, Revised Papers. Springer 2002, ISBN 3-540-44122-0
Contents

2466

Michael Beetz, Joachim Hertzberg, Malik Ghallab, Martha E. Pollack (Eds.): Advances in Plan-Based Control of Robotic Agents, International Seminar, Dagstuhl Castle, Germany, October 21-26, 2001, Revised Papers. Springer 2002, ISBN 3-540-00168-9
Contents

2467

Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe (Eds.): Security Protocols, 9th International Workshop, Cambridge, UK, April 25-27, 2001, Revised Papers. Springer 2002, ISBN 3-540-44263-4
Contents

2468

John Plaice, Peter G. Kropf, Peter Schulthess, Jacob Slonim (Eds.): Distributed Communities on the Web, 4th International Workshop, DCW 2002, Sydney, Australia, April 3-5, 2002, Revised Papers. Springer 2002, ISBN 3-540-00301-0
Contents

2469

Werner Damm, Ernst-Rüdiger Olderog (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings. Springer 2002, ISBN 3-540-44165-4
Contents

2470

Pascal Van Hentenryck (Ed.): Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings. Springer 2002, ISBN 3-540-44120-4
Contents

2471

Julian C. Bradfield (Ed.): Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings. Springer 2002, ISBN 3-540-44240-5
Contents

2472

Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber (Eds.): Petri Net Technology for Communication-Based Systems - Advances in Petri Nets. Springer 2003, ISBN 3-540-20538-1
Contents

2473

Asunción Gómez-Pérez, V. Richard Benjamins (Eds.): Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 13th International Conference, EKAW 2002, Siguenza, Spain, October 1-4, 2002, Proceedings. Springer 2002, ISBN 3-540-44268-5
Contents

2474

Dieter Kranzlmüller, Péter Kacsuk, Jack Dongarra, Jens Volkert (Eds.): Recent Advances in Parallel Virtual Machine and Message Passing Interface, 9th European PVM/MPI Users' Group Meeting, Linz, Austria, September 29 - October 2, 2002, Proceedings. Springer 2002, ISBN 3-540-44296-0
Contents

2475

James J. Alpigini, James F. Peters, Jacek Skowronek, Ning Zhong (Eds.): Rough Sets and Current Trends in Computing, Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002, Proceedings. Springer 2002, ISBN 3-540-44274-X
Contents

2476

Alberto H. F. Laender, Arlindo L. Oliveira (Eds.): String Processing and Information Retrieval, 9th International Symposium, SPIRE 2002, Lisbon, Portugal, September 11-13, 2002, Proceedings. Springer 2002, ISBN 3-540-44158-1
Contents

2477

Manuel V. Hermenegildo, Germán Puebla (Eds.): Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings. Springer 2002, ISBN 3-540-44235-9
Contents

2478

Max J. Egenhofer, David M. Mark (Eds.): Geographic Information Science, Second International Conference, GIScience 2002, Boulder, CO, USA, September 25-28, 2002, Proceedings. Springer 2002, ISBN 3-540-44253-7
Contents

2479

Matthias Jarke, Jana Koehler, Gerhard Lakemeyer (Eds.): KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings. Springer 2002, ISBN 3-540-44185-9
Contents

2480

Yanbo Han, Stefan Tai, Dietmar Wikarski (Eds.): Engineering and Deployment of Cooperative Information Systems, First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002, Proceedings. Springer 2002, ISBN 3-540-44222-7
Contents

2481

William Pugh, Chau-Wen Tseng (Eds.): Languages and Compilers for Parallel Computing, 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers. Springer 2005, ISBN 3-540-30781-8
Contents

2482

Roger Dingledine, Paul F. Syverson (Eds.): Privacy Enhancing Technologies, Second International Workshop, PET 2002, San Francisco, CA, USA, April 14-15, 2002, Revised Papers. Springer 2003, ISBN 3-540-00565-X
Contents

2483

José D. P. Rolim, Salil P. Vadhan (Eds.): Randomization and Approximation Techniques, 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002, Proceedings. Springer 2002, ISBN 3-540-44147-6
Contents

2484

Pieter W. Adriaans, Henning Fernau, Menno van Zaanen (Eds.): Grammatical Inference: Algorithms and Applications, 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings. Springer 2002, ISBN 3-540-44239-1
Contents

2485

Fabrizio Grandoni, Pascale Thévenod-Fosse (Eds.): Dependable Computing - EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, Proceedings. Springer 2002, ISBN 3-540-00012-7
Contents

2486

Maria Marinaro, Roberto Tagliaferri (Eds.): Neural Nets, 13th Italian Workshop on Neural Nets, WIRN VIETRI 2002, Vietri sul Mare, Italy, May 30-June 1, 2002, Revised Papers. Springer 2002, ISBN 3-540-44265-0
Contents

2487

Don S. Batory, Charles Consel, Walid Taha (Eds.): Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings. Springer 2002, ISBN 3-540-44284-7
Contents

2488

Takeyoshi Dohi, Ron Kikinis (Eds.): Medical Image Computing and Computer-Assisted Intervention - MICCAI 2002, 5th International Conference, Tokyo, Japan, September 25-28, 2002, Proceedings, Part I. Springer 2002, ISBN 3-540-44224-3
Contents

2489

Takeyoshi Dohi, Ron Kikinis (Eds.): Medical Image Computing and Computer-Assisted Intervention - MICCAI 2002, 5th International Conference, Tokyo, Japan, September 25-28, 2002, Proceedings, Part II. Springer 2002, ISBN 3-540-44225-1
Contents

2490

Akmal B. Chaudhri, Rainer Unland, Chabane Djeraba, Wolfgang Lindner (Eds.): XML-Based Data Management and Multimedia Engineering - EDBT 2002 Workshops, EDBT 2002 Workshops XMLDM, MDDE, and YRWS, Prague, Czech Republic, March 24-28, 2002, Revised Papers. Springer 2002, ISBN 3-540-00130-1
Contents

2491

Alberto L. Sangiovanni-Vincentelli, Joseph Sifakis (Eds.): Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings. Springer 2002, ISBN 3-540-44307-X
Contents

2492

Francisco J. Perales López, Edwin R. Hancock (Eds.): Articulated Motion and Deformable Objects Second International Workshop, AMDO 2002, Palma de Mallorca, Spain, November 21-23, 2002, Proceedings. Springer 2002, ISBN 3-540-00149-2
Contents

2493

Stefania Bandini, Bastien Chopard, Marco Tomassini (Eds.): Cellular Automata, 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002, Proceedings. Springer 2002, ISBN 3-540-44304-5
Contents

2494

Bruce W. Watson, Derick Wood (Eds.): Implementation and Application of Automata, 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001, Revised Papers. Springer 2002, ISBN 3-540-00400-9
Contents

2495

Chris George, Huaikou Miao (Eds.): Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings. Springer 2002, ISBN 3-540-00029-1
Contents

2496

Kevin C. Almeroth, Masum Z. Hasan (Eds.): Management of Multimedia on the Internet, 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002, Santa Barbara, CA, USA, October 6-9, 2002, Proceedings. Springer 2002, ISBN 3-540-44271-5
Contents

2497

Enrico Gregori, Giuseppe Anastasi, Stefano Basagni (Eds.): Advanced Lectures on Networking, NETWORKING 2002 [This book presents the revised version of seven tutorials given at the NETWORKING 2002 Conference in Pisa, Italy in May 2002]. Springer 2002, ISBN 3-540-00165-4
Contents

2498

Gaetano Borriello, Lars Erik Holmquist (Eds.): UbiComp 2002: Ubiquitous Computing, 4th International Conference, Göteborg, Sweden, September 29 - October 1, 2002, Proceedings. Springer 2002, ISBN 3-540-44267-7
Contents

2499

Stephen D. Richardson (Ed.): Machine Translation: From Research to Real Users, 5th Conference of the Association for Machine Translation in the Americas, AMTA 2002 Tiburon, CA, USA, October 6-12, 2002, Proceedings. Springer 2002, ISBN 3-540-44282-0
Contents