Lecture Notes in Computer Science (LNCS), Volumes 2500-2599

2500

Erich Grädel, Wolfgang Thomas, Thomas Wilke (Eds.): Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]. Springer 2002, ISBN 3-540-00388-6
Contents

2501

Yuliang Zheng (Ed.): Advances in Cryptology - ASIACRYPT 2002, 8th International Conference on the Theory and Application of Cryptology and Information Security, Queenstown, New Zealand, December 1-5, 2002, Proceedings. Springer 2002, ISBN 3-540-00171-9
Contents

2502

Dieter Gollmann, Günter Karjoth, Michael Waidner (Eds.): Computer Security - ESORICS 2002, 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings. Springer 2002, ISBN 3-540-44345-2
Contents

2503

Stefano Spaccapietra, Salvatore T. March, Yahiko Kambayashi (Eds.): Conceptual Modeling - ER 2002, 21st International Conference on Conceptual Modeling, Tampere, Finland, October 7-11, 2002, Proceedings. Springer 2002, ISBN 3-540-44277-4
Contents

2504

M. Teresa Escrig, Francisco Toledo, Elisabet Golobardes (Eds.): Topics in Artificial Intelligence, 5th Catalonian Conference on AI, CCIA 2002, Castellón, Spain, October 24-25, 2002, Proceedings. Springer 2002, ISBN 3-540-00011-9
Contents

2505

Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (Eds.): Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings. Springer 2002, ISBN 3-540-44310-X
Contents

2506

Metin Feridun, Peter G. Kropf, Gilbert Babin (Eds.): Management Technologies for E-Commerce and E-Business Applications, 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2002, Montreal, Canada, October 21-23, 2002, Proceedings. Springer 2002, ISBN 3-540-00080-1
Contents

2507

Guilherme Bittencourt, Geber Ramalho (Eds.): Advances in Artificial Intelligence, 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings. Springer 2002, ISBN 3-540-00124-7
Contents

2508

Dahlia Malkhi (Ed.): Distributed Computing, 16th International Conference, DISC 2002, Toulouse, France, October 28-30, 2002 Proceedings. Springer 2002, ISBN 3-540-00073-9
Contents

2509

Cristian Calude, Michael J. Dinneen, Ferdinand Peper (Eds.): Unconventional Models of Computation, Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings. Springer 2002, ISBN 3-540-44311-8
Contents

2510

Hassan Shafazand, A. Min Tjoa (Eds.): EurAsia-ICT 2002: Information and Communication Technology, First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings. Springer 2002, ISBN 3-540-00028-3
Contents

2511

Burkhard Stiller, Mikhail I. Smirnov, Martin Karsten, Peter Reichl (Eds.): From QoS Provisioning to QoS Charging, Third COST 263 International Workshop on Quality of Future Internet Services, QofIS 2002, and Second International Workshop on Internet Charging and QoS Technologies, ICQT 2002, Zurich, Switzerland, October 16-18, 2002, Proceedings. Springer 2002, ISBN 3-540-44356-8
Contents

2512

Christoph Bussler, Richard Hull, Sheila A. McIlraith, Maria E. Orlowska, Barbara Pernici, Jian Yang (Eds.): Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002, Revised Papers. Springer 2002, ISBN 3-540-00198-0
Contents

2513

Robert H. Deng, Sihan Qing, Feng Bao, Jianying Zhou (Eds.): Information and Communications Security, 4th International Conference, ICICS 2002, Singapore, December 9-12, 2002, Proceedings. Springer 2002, ISBN 3-540-00164-6
Contents

2514

Matthias Baaz, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings. Springer 2002, ISBN 3-540-00010-0
Contents

2515

Fernando Boavida, Edmundo Monteiro, João Orvalho (Eds.): Protocols and Systems for Interactive Distributed Multimedia, Joint International Workshops on Interactive Distributed Multimedia Systems and Protocols for Multimedia Systems, IDMS/PROMS 2002, Coimbra, Portugal, November 26-29, 2002, Proceedings. Springer 2002, ISBN 3-540-00169-7
Contents

2516

Andreas Wespi, Giovanni Vigna, Luca Deri (Eds.): Recent Advances in Intrusion Detection, 5th International Symposium, RAID 2002, Zurich, Switzerland, October 16-18, 2002, Proceedings. Springer 2002, ISBN 3-540-00020-8
Contents

2517

Mark Aagaard, John W. O'Leary (Eds.): Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings. Springer 2002, ISBN 3-540-00116-6
Contents

2518

Prosenjit Bose, Pat Morin (Eds.): Algorithms and Computation, 13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21-23, 2002, Proceedings. Springer 2002, ISBN 3-540-00142-5
Contents

2519

Robert Meersman, Zahir Tari (Eds.): On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings. Springer 2002, ISBN 3-540-00106-9
Contents

2520

Manolis Koubarakis, Timos K. Sellis, Andrew U. Frank, Stéphane Grumbach, Ralf Hartmut Güting, Christian S. Jensen, Nikos A. Lorentzos, Yannis Manolopoulos, Enrico Nardelli, Barbara Pernici, Hans-Jörg Schek, Michel Scholl, Babis Theodoulidis, Nectaria Tryfona (Eds.): Spatio-Temporal Databases: The CHOROCHRONOS Approach. Springer 2003, ISBN 3-540-40552-6
Contents

2521

Ahmed Karmouch, Thomas Magedanz, Jaime Delgado (Eds.): Mobile Agents for Telecommunication Applications, 4th International Workshop, MATA 2002 Barcelona, Spain, October 23-24, 2002, Proceedings. Springer 2002, ISBN 3-540-00021-6
Contents

2522

Troels Andreasen, Amihai Motro, Henning Christiansen, Henrik Legind Larsen (Eds.): Flexible Query Answering Systems, 5th International Conference, FQAS 2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings. Springer 2002, ISBN 3-540-00074-7
Contents

2523

Burton S. Kaliski Jr., Çetin Kaya Koç, Christof Paar (Eds.): Cryptographic Hardware and Embedded Systems - CHES 2002, 4th International Workshop, Redwood Shores, CA, USA, August 13-15, 2002, Revised Papers. Springer 2003, ISBN 3-540-00409-2
Contents

2524

Jai-Yong Lee, Chul-Hee Kang (Eds.): Mobile Communications, 7th CDMA International Conference, CIC 2002, Seoul, Korea, October 29 - November 1, 2002, Revised Papers. Springer 2003, ISBN 3-540-00732-6
Contents

2525

Heinrich H. Bülthoff, Seong-Whan Lee, Tomaso Poggio, Christian Wallraven (Eds.): Biologically Motivated Computer Vision Second International Workshop, BMCV 2002, Tübingen, Germany, November 22-24, 2002, Proceedings. Springer 2002, ISBN 3-540-00174-3
Contents

2526

Alfredo Colosimo, Alessandro Giuliani, Paolo Sirabella (Eds.): Medical Data Analysis, Third International Symposium, ISMDA 2002, Rome, Italy, October 8-11, 2002, Proceedings. Springer 2002, ISBN 3-540-00044-5
Contents

2527

Francisco J. Garijo, José Cristóbal Riquelme Santos, Miguel Toro (Eds.): Advances in Artificial Intelligence - IBERAMIA 2002, 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings. Springer 2002, ISBN 3-540-00131-X
Contents

2528

Stephen G. Kobourov, Michael T. Goodrich (Eds.): Graph Drawing, 10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002, Revised Papers. Springer 2002, ISBN 3-540-00158-1
Contents

2529

Doron Peled, Moshe Y. Vardi (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. Springer 2002, ISBN 3-540-00141-7
Contents

2530

Gianluca Moro, Manolis Koubarakis (Eds.): Agents and Peer-to-Peer Computing, First International Workshop, AP2PC 2002, Bologna, Italy, July, 2002, Revised and Invited Papers. Springer 2003, ISBN 3-540-40538-0
Contents

2531

Julian A. Padget, Onn Shehory, David C. Parkes, Norman M. Sadeh, William E. Walsh (Eds.): Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems, AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Bologna, Italy, July 16, 2002, Revised Papers. Springer 2002, ISBN 3-540-00327-4
Contents

2532

Yung-Chang Chen, Long-Wen Chang, Chiou-Ting Hsu (Eds.): Advances in Multimedia Information Processing - PCM 2002, Third IEEE Pacific Rim Conference on Multimedia, Hsinchu, Taiwan, December 16-18, 2002, Proceedings. Springer 2002, ISBN 3-540-00262-6
Contents

2533

Nicolò Cesa-Bianchi, Masayuki Numao, Rüdiger Reischuk (Eds.): Algorithmic Learning Theory, 13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002, Proceedings. Springer 2002, ISBN 3-540-00170-0
Contents

2534

Steffen Lange, Ken Satoh, Carl H. Smith (Eds.): Discovery Science, 5th International Conference, DS 2002, Lübeck, Germany, November 24-26, 2002, Proceedings. Springer 2002, ISBN 3-540-00188-3
Contents

2535

Niranjan Suri (Ed.): Mobile Agents, 6th International Conference, MA 2002, Barcelona, Spain, October 22-25, 2002, Proceedings. Springer 2002, ISBN 3-540-00085-2
Contents

2536

Manish Parashar (Ed.): Grid Computing - GRID 2002, Third International Workshop, Baltimore, MD, USA, November 18, 2002, Proceedings. Springer 2002, ISBN 3-540-00133-6
Contents

2537

Dror G. Feitelson, Larry Rudolph, Uwe Schwiegelshohn (Eds.): Job Scheduling Strategies for Parallel Processing, 8th International Workshop, JSSPP 2002, Edinburgh, Scotland, UK, July 24, 2002, Revised Papers. Springer 2002, ISBN 3-540-00172-7
Contents

2538

Birgitta König-Ries, Kia Makki, S. A. M. Makki, Niki Pissinou, Peter Scheuermann (Eds.): Developing an Infrastructure for Mobile and Wireless Systems, NSF Workshop IMWS 2001, Scottsdale, AZ, October 15, 2001, Revised Papers. Springer 2002, ISBN 3-540-00289-8
Contents

2539

Katy Börner, Chaomei Chen (Eds.): Visual Interfaces to Digital Libraries [JCDL 2002 Workshop]. Springer 2002, ISBN 3-540-00247-2
Contents

2540

William I. Grosky, Frantisek Plasil (Eds.): SOFSEM 2002: Theory and Practice of Informatics, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings. Springer 2002, ISBN 3-540-00145-X
Contents

2541

Thomas Barkowsky: Mental Representation and Processing of Geographic Knowledge - A Computational Approach. Lecture Notes in Computer Science Vol. 2541 Springer 2002, ISBN 3-540-00216-2
Contents

2542

Ivan Dimov, Ivan Lirkov, Svetozar Margenov, Zahari Zlatev (Eds.): Numerical Methods and Applications, 5th International Conference, NMA 2002, Borovets, Bulgaria, August 20-24, 2002, Revised Papers. Springer 2003, ISBN 3-540-00608-7
Contents

2543

Oskar Bartenstein, Ulrich Geske, Markus Hannebauer, Osama Yoshie (Eds.): Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers. Springer 2003, ISBN 3-540-00680-X
Contents

2544

Subhash Bhalla (Ed.): Databases in Networked Information Systems, Second International Workshop, DNIS 2002, Aizu, Japan, December 16-18, 2002, Proceedings. Springer 2002, ISBN 3-540-00264-2
Contents

2545

Peter Forbrig, Quentin Limbourg, Bodo Urban, Jean Vanderdonckt (Eds.): Interactive Systems. Design, Specification, and Verification, 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002. Springer 2002, ISBN 3-540-00266-9
Contents

2546

James P. G. Sterbenz, Osamu Takada, Christian F. Tschudin, Bernhard Plattner (Eds.): Active Networks, IFIP-TC6 4th International Working Conference, IWAN 2002, Zurich, Switzerland, December 4-6, 2002, Proceedings. Springer 2002, ISBN 3-540-00223-5
Contents

2547

Rudolf Fleischer, Bernard M. E. Moret, Erik Meineche Schmidt (Eds.): Experimental Algorithmics, From Algorithm Design to Robust and Efficient Software [Dagstuhl seminar, September 2000]. Springer 2002, ISBN 3-540-00346-0
Contents

2548

Juan Hernández Núñez, Ana M. D. Moreira (Eds.): Object-Oriented Technology, ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002, Proceedings. Springer 2002, ISBN 3-540-00233-2
Contents

2549

Jordi Cortadella, Alexandre Yakovlev, Grzegorz Rozenberg (Eds.): Concurrency and Hardware Design, Advances in Petri Nets. Springer 2002, ISBN 3-540-00199-9
Contents

2550

Alain Jean-Marie (Ed.): Advances in Computing Science - ASIAN 2002, Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing, 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002, Proceedings. Springer 2002, ISBN 3-540-00195-6
Contents

2551

Alfred Menezes, Palash Sarkar (Eds.): Progress in Cryptology - INDOCRYPT 2002, Third International Conference on Cryptology in India, Hyderabad, India, December 16-18, 2002. Springer 2002, ISBN 3-540-00263-4
Contents

2552

Sartaj Sahni, Viktor K. Prasanna, Uday Shukla (Eds.): High Performance Computing - HiPC 2002, 9th International Conference, Bangalore, India, December 18-21, 2002, Proceedings. Springer 2002, ISBN 3-540-00303-7
Contents

2553

Birger Andersson, Maria Bergholtz, Paul Johannesson (Eds.): Natural Language Processing and Information Systems, 6th International Conference on Applications of Natural Language to Information Systems, NLDB 2002, Stockholm, Sweden, June 27-28, 2002, Revised Papers. Springer 2002, ISBN 3-540-00307-X
Contents

2554

Michael Beetz: Plan-Based Control of Robotic Agents: Improving the Capabilities of Autonomous Robots. Lecture Notes in Computer Science Vol. 2554 Springer 2002, ISBN 3-540-00335-5
Contents

2555

Ee-Peng Lim, Schubert Foo, Christopher S. G. Khoo, Hsinchun Chen, Edward A. Fox, Shalini R. Urs, Costantino Thanos (Eds.): Digital Libraries: People, Knowledge, and Technology, 5th International Conference on Asian Digital Libraries, ICADL 2002 Singapore, December 11-14, 2002, Proceedings. Springer 2002, ISBN 3-540-00261-8
Contents

2556

Manindra Agrawal, Anil Seth (Eds.): FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings. Springer 2002, ISBN 3-540-00225-1
Contents

2557

Bob McKay, John K. Slaney (Eds.): AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings. Springer 2002, ISBN 3-540-00197-2
Contents

2558

Petra Perner: Data Mining on Multimedia Data. Lecture Notes in Computer Science Vol. 2558 Springer 2002, ISBN 3-540-00317-7
Contents

2559

Markku Oivo, Seija Komi-Sirviö (Eds.): Product Focused Software Process Improvement, 4th International Conference, PROFES 2002, Rovaniemi, Finland, December 9-11, 2002, Proceedings. Springer 2002, ISBN 3-540-00234-0
Contents

2560

Silke Goronzy: Robust Adaptation to Non-Native Accents in Automatic Speech Recognition. Lecture Notes in Computer Science Vol. 2560 Springer 2002, ISBN 3-540-00325-8
Contents

2561

Harrie C. M. de Swart (Ed.): Relational Methods in Computer Science, 6th International Conference, RelMICS 2001, and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers. Springer 2002, ISBN 3-540-00315-0
Contents

2562

Verónica Dahl, Philip Wadler (Eds.): Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings. Springer 2003, ISBN 3-540-00389-4
Contents

2563

Yannis Manolopoulos, Skevos Evripidou, Antonis C. Kakas (Eds.): Advances in Informatics, 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers. Springer 2003, ISBN 3-540-07544-5
Contents

2564

Walt Truszkowski, Christopher Rouff, Michael G. Hinchey (Eds.): Innovative Concepts for Agent-Based Systems, First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002, Revised Papers. Springer 2003, ISBN 3-540-40725-1
Contents

2565

José M. Laginha M. Palma, Jack Dongarra, Vicente Hernández, António Augusto de Sousa (Eds.): igh Performance Computing for Computational Science - VECPAR 2002, 5th International Conference, Porto, Portugal, June 26-28, 2002, Selected Papers and Invited Talks. Springer 2003, ISBN 3-540-00852-7
Contents

2566

Torben Æ. Mogensen, David A. Schmidt, Ivan Hal Sudborough (Eds.): The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]. Springer 2002, ISBN 3-540-00326-6
Contents

2567

Yvo Desmedt (Ed.): Public Key Cryptography - PKC 2003, 6th International Workshop on Theory and Practice in Public Key Cryptography, Miami, FL, USA, January 6-8, 2003, Proceedings. Springer 2002, ISBN 3-540-00324-X
Contents

2568

Masami Hagiya, Azuma Ohuchi (Eds.): DNA Computing, 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers. Springer 2003, ISBN 3-540-00531-5
Contents

2569

Dimitris Karagiannis, Ulrich Reimer (Eds.): Practical Aspects of Knowledge Management, 4th International Conference, PAKM 2002, Vienna, Austria, December 2-3, 2002, Proceedings. Springer 2002, ISBN 3-540-00314-2
Contents

2570

Michael Jünger, Gerhard Reinelt, Giovanni Rinaldi (Eds.): Combinatorial Optimization - Eureka, You Shrink!, Papers Dedicated to Jack Edmonds, 5th International Workshop, Aussois, France, March 5-9, 2001, Revised Papers. Springer 2003, ISBN 3-540-00580-3
Contents

2571

Sajal K. Das, Swapan Bhattacharya (Eds.): Distributed Computing, Mobile and Wireless Computing 4th International Workshop, IWDC 2002, Calcutta, India, December 28-31, 2002, Proceedings. Springer 2002, ISBN 3-540-00355-X
Contents

2572

Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani (Eds.): Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings. Springer 2002, ISBN 3-540-00323-1
Contents

2573

Ludek Kucera (Ed.): Graph-Theoretic Concepts in Computer Science, 28th International Workshop, WG 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002, Revised Papers. Springer 2002, ISBN 3-540-00331-2
Contents

2574

Ming-Syan Chen, Panos K. Chrysanthis, Morris Sloman, Arkady B. Zaslavsky (Eds.): Mobile Data Management, 4th International Conference, MDM 2003, Melbourne, Australia, January 21-24, 2003, Proceedings. Springer 2003, ISBN 3-540-00393-2
Contents

2575

Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (Eds.): Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings. Springer 2003, ISBN 3-540-00348-7
Contents

2576

Stelvio Cimato, Clemente Galdi, Giuseppe Persiano (Eds.): Security in Communication Networks, Third International Conference, SCN 2002, Amalfi, Italy, September 11-13, 2002. Revised Papers. Springer 2003, ISBN 3-540-00420-3
Contents

2577

Paolo Petta, Robert Tolksdorf, Franco Zambonelli (Eds.): Engineering Societies in the Agents World III, Third International Workshop, ESAW 2002, Madrid, Spain, September 16-17, 2002, Revised Papers. Springer 2003, ISBN 3-540-14009-3
Contents

2578

Fabien A. P. Petitcolas (Ed.): Information Hiding, 5th International Workshop, IH 2002, Noordwijkerhout, The Netherlands, October 7-9, 2002, Revised Papers. Springer 2003, ISBN 3-540-00421-1
Contents

2579

not published

2580

M. Hakan Erdogmus, Tao Weng (Eds.): COTS-Based Software Systems, Second International Conference, ICCBSS 2003, Ottawa, Canada, February 10-13, 2003, Proceedings. Springer 2003, ISBN 3-540-00562-5
Contents

2581

Jaime Simão Sichman, François Bousquet, Paul Davidsson (Eds.): Multi-Agent-Based Simulation, Third International Workshop, MABS 2002, Bologna, Italy, July 15-16, 2002, Revised Papers. Springer 2003, ISBN 3-540-00607-9
Contents

2582

Leopoldo E. Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim (Eds.): Semantics in Databases, Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers. Springer 2003, ISBN 3-540-00957-4
Contents

2583

Stan Matwin, Claude Sammut (Eds.): Inductive Logic Programming, 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers. Springer 2003, ISBN 3-540-00567-6
Contents

2584

André Schiper, Alexander A. Shvartsman, Hakim Weatherspoon, Ben Y. Zhao (Eds.): Future Directions in Distributed Computing, Research and Position Papers. Springer 2003, ISBN 3-540-00912-4
Contents

2585

Fausto Giunchiglia, James Odell, Gerhard Weiß (Eds.): Agent-Oriented Software Engineering III, Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions. Springer 2003, ISBN 3-540-00713-X
Contents

2586

Matthias Klusch, Sonia Bergamaschi, Peter Edwards, Paolo Petta (Eds.): Intelligent Information Agents - The AgentLink Perspective. Springer 2003, ISBN 3-540-00759-8
Contents

2587

Pil Joong Lee, Chae Hoon Lim (Eds.): Information Security and Cryptology - ICISC 2002, 5th International Conference Seoul, Korea, November 28-29, 2002, Revised Papers. Springer 2003, ISBN 3-540-00716-4
Contents

2588

Alexander F. Gelbukh (Ed.): Computational Linguistics and Intelligent Text Processing, 4th International Conference, CICLing 2003, Mexico City, Mexico, February 16-22, 2003, Proceedings. Springer 2003, ISBN 3-540-00532-3
Contents

2589

Egon Börger, Angelo Gargantini, Elvinia Riccobene (Eds.): Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Springer 2003, ISBN 3-540-00624-9
Contents

2590

Stéphane Bressan, Akmal B. Chaudhri, Mong-Li Lee, Jeffrey Xu Yu, Zoé Lacroix (Eds.): Efficiency and Effectiveness of XML Tools and Techniques and Data Integration over the Web, VLDB 2002 Workshop EEXTT and CAiSE 2002 Workshop DTWeb. Revised Papers. Springer 2003, ISBN 3-540-00736-9
Contents

2591

Mehmet Aksit, Mira Mezini, Rainer Unland (Eds.): Objects, Components, Architectures, Services, and Applications for a Networked World, International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002, Revised Papers. Springer 2003, ISBN 3-540-00737-7
Contents

2592

Ryszard Kowalczyk, Jörg P. Müller, Huaglory Tianfield, Rainer Unland (Eds.): Agent Technologies, Infrastructures, Tools, and Applications for E-Services, NODe 2002 Agent-Related Workshops, Erfurt, Germany, October 7-10, 2002. Revised Papers. Springer 2003, ISBN 3-540-00742-3
Contents

2593

Akmal B. Chaudhri, Mario Jeckle, Erhard Rahm, Rainer Unland (Eds.): Web, Web-Services, and Database Systems, NODe 2002 Web and Database-Related Workshops, Erfurt, Germany, October 7-10, 2002, Revised Papers. Springer 2003, ISBN 3-540-00745-8
Contents

2594

Andrea Asperti, Bruno Buchberger, James H. Davenport (Eds.): Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings. Springer 2003, ISBN 3-540-00568-4
Contents

2595

Kaisa Nyberg, Howard M. Heys (Eds.): Selected Areas in Cryptography, 9th Annual International Workshop, SAC 2002, St. John's, Newfoundland, Canada, August 15-16, 2002. Revised Papers. Springer 2003, ISBN 3-540-00622-2
Contents

2596

Alberto Coen-Porisini, André van der Hoek (Eds.): Software Engineering and Middleware, Third International Workshop, SEM 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers. Springer 2003, ISBN 3-540-07549-6
Contents

2597

Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron (Eds.): Membrane Computing, International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers. Springer 2003, ISBN 3-540-00611-7
Contents

2598

Rolf Klein, Hans-Werner Six, Lutz Michael Wegner (Eds.): Computer Science in Perspective, Essays Dedicated to Thomas Ottmann. Springer 2003, ISBN 3-540-00579-X
Contents

2599

Edel Sherratt (Ed.): Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers. Springer 2003, ISBN 3-540-00877-2
Contents