Lecture Notes in Computer Science (LNCS), Volumes 2700-2799

2700

Maria Teresa Pazienza (Ed.): Information Extraction in the Web Era: Natural Language Communication for Knowledge Acquisition and Intelligent Information Agents, papers from SCIE 2002, Frascati (Rome, Italy), July 2002. Springer 2003, ISBN 3-540-40579-8
Contents

2701

Martin Hofmann (Ed.): Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. Springer 2003, ISBN 3-540-40332-9
Contents

2702

Peter Brusilovsky, Albert T. Corbett, Fiorella de Rosis (Eds.): User Modeling 2003, 9th International Conference, UM 2003, Johnstown, PA, USA, June 22-26, 2003, Proceedings. Springer 2003, ISBN 3-540-40381-7
Contents

2703

Osmar R. Zaïane, Jaideep Srivastava, Myra Spiliopoulou, Brij M. Masand (Eds.): WEBKDD 2002 - MiningWeb Data for Discovering Usage Patterns and Profiles, 4th International Workshop, Edmonton, Canada, July 23, 2002, Revised Papers. Springer 2003, ISBN 3-540-20304-4
Contents

2704

Shing-Tsaan Huang, Ted Herman (Eds.): Self-Stabilizing Systems, 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings. Springer 2003, ISBN 3-540-40453-8
Contents

2705

Steve Renals, Gregory Grefenstette (Eds.): Text- and Speech-Triggered Information Access, 8th ELSNET Summer School, Chios Island, Greece, July 15-30, 2000, Revised Lectures. Springer 2003, ISBN 3-540-40635-2
Contents

2706

Robert Nieuwenhuis (Ed.): Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings. Springer 2003, ISBN 3-540-40254-3
Contents

2707

Kevin Jeffay, Ion Stoica, Klaus Wehrle (Eds.): Quality of Service - IWQoS 2003, 11th International Workshop, Berkeley, CA, USA, June 2-4, 2003, Proceedings. Springer 2003, ISBN 3-540-40281-0
Contents

2708

Rick Reed, Jeanne Reed (Eds.): SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings. Springer 2003
Contents

2709

Terry Windeatt, Fabio Roli (Eds.): Multiple Classifier Systems, 4th International Workshop, MCS 2003, Guilford, UK, June 11-13, 2003, Proceedings. Springer 2003, ISBN 3-540-40369-8
Contents

2710

Zoltán Ésik, Zoltán Fülöp (Eds.): Developments in Language Theory, 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings. Springer 2003, ISBN 3-540-40434-1
Contents

2711

Thomas D. Nielsen, Nevin Lianwen Zhang (Eds.): Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings. Springer 2003, ISBN 3-540-40494-5
Contents

2712

Anne E. James, Brian Lings, Muhammad Younas (Eds.): New Horizons in Information Management, 20th British National Conference on Databases, BNCOD 20, Coventry, UK, July 15-17, 2003, Proceedings. Springer 2003, ISBN 3-540-40536-4
Contents

2713

Chin-Wan Chung, Chong-kwon Kim, Won Kim, Tok Wang Ling, Kwan Ho Song (Eds.): Web Communication Technologies and Internet-Related Social Issues - HSI 2003, Second International Conference on Human Society@Internet, Seoul, Korea, June 18-20, 2003, Proceedings. Springer 2003, ISBN 3-540-40456-2
Contents

2714

Okyay Kaynak, Ethem Alpaydin, Erkki Oja, Lei Xu (Eds.): Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003, Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings. Springer 2003, ISBN 3-540-40408-2
Contents

2715

Taner Bilgiç, Bernard De Baets, Okyay Kaynak (Eds.): Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings. Springer 2003, ISBN 3-540-40383-3
Contents

2716

Michael Voss (Ed.): OpenMP Shared Memory Parallel Programming, International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003, Proceedings. Springer 2003, ISBN 3-540-40435-X
Contents

2717

James C. Gee, J. B. Antoine Maintz, Michael W. Vannier (Eds.): Biomedical Image Registration, Second International Workshop, WBIR 2003, Philadelphia, PA, USA, June 23-24, 2003, Revised Papers. Springer 2003, ISBN 3-540-20343-5
Contents

2718

Paul W. H. Chung, Chris J. Hinde, Moonis Ali (Eds.): Developments in Applied Artificial Intelligence, 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings. Springer 2003, ISBN 3-540-40455-4
Contents

2719

Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger (Eds.): Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings. Springer 2003, ISBN 3-540-40493-7
Contents

2720

Mário M. Freire, Pascal Lorenz, Mike Myung-Ok Lee (Eds.): High Speed Networks and Multimedia Communications, 6th IEEE International Conference HSNMC 2003, Estoril, Portugal, July 23-25, 2003, Proceedings. Springer 2003, ISBN 3-540-40542-9
Contents

2721

Nuno J. Mamede, Jorge Baptista, Isabel Trancoso, Maria das Graças Volpe Nunes (Eds.): Computational Processing of the Portuguese Language, 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings. Springer 2003, ISBN 3-540-40436-8
Contents

2722

Juan Manuel Cueva Lovelle, Bernardo Martín González Rodríguez, Luis Joyanes Aguilar, José Emilio Labra Gayo, María del Puerto Paule Ruíz (Eds.): Web Engineering, International Conference, ICWE 2003, Oviedo, Spain, July 14-18, 2003, Proceedings. Springer 2003, ISBN 3-540-40522-4
Contents

2723

Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence Davis, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russell K. Standish, Graham Kendall, Stewart W. Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasa Jonoska, Julian F. Miller (Eds.): Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I. Springer 2003, ISBN 3-540-40602-6
Contents

2724

Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence Davis, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russell K. Standish, Graham Kendall, Stewart W. Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasa Jonoska, Julian F. Miller (Eds.): Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II. Springer 2003, ISBN 3-540-40603-4
Contents

2725

Warren A. Hunt Jr., Fabio Somenzi (Eds.): Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Springer 2003, ISBN 3-540-40524-0
Contents

2726

Edwin R. Hancock, Mario Vento (Eds.): Graph Based Representations in Pattern Recognition, 4th IAPR International Workshop, GbRPR 2003, York, UK, June 30 - July 2, 2003, Proceedings. Springer 2003, ISBN 3-540-40452-X
Contents

2727

Reihaneh Safavi-Naini, Jennifer Seberry (Eds.): Information Security and Privacy, 8th Australasian Conference, ACISP 2003, Wollongong, Australia, July 9-11, 2003, Proceedings. Springer 2003, ISBN 3-540-40515-1
Contents

2728

Erwin M. Bakker, Thomas S. Huang, Michael S. Lew, Nicu Sebe, Xiang Sean Zhou (Eds.): Image and Video Retrieval, Second International Conference, CIVR 2003, Urbana-Champaign, IL, USA, July 24-25, 2003, Proceedings. Springer 2003, ISBN 3-540-40634-4
Contents

2729

Dan Boneh (Ed.): Advances in Cryptology - CRYPTO 2003, 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003, Proceedings. Springer 2003, ISBN 3-540-40674-3
Contents

2730

Fengshan Bai, Bernd Wegner (Eds.): Electronic Information and Communication in Mathematics, ICM 2002 International Satellite Conference, Beijing, China, August 29-31, 2002, Revised Papers. Springer 2003, ISBN 3-540-40689-1
Contents

2731

Cristian Calude, Michael J. Dinneen, Vincent Vajnovszki (Eds.): Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings. Springer/DMTCS 2003, ISBN 3-540-40505-4
Contents

2732

Christopher J. Taylor, J. Alison Noble (Eds.): Information Processing in Medical Imaging, 18th International Conference, IPMI 2003, Ambleside, UK, July 20-25, 2003, Proceedings. Springer 2003, ISBN 3-540-40560-7
Contents

2733

Andreas Butz, Antonio Krüger, Patrick Olivier (Eds.): Smart Graphics, Third International Symposium, SG 2003, Heidelberg, Germany, July 2-4, 2003, Proceedings. Springer 2003, ISBN 3-540-40557-7
Contents

2734

Petra Perner, Azriel Rosenfeld (Eds.): Machine Learning and Data Mining in Pattern Recognition, Third International Conference, MLDM 2003, Leipzig, Germany, July 5-7, 2003, Proceedings. Springer 2003, ISBN 3-540-40504-6
Contents

2735

M. Frans Kaashoek, Ion Stoica (Eds.): Peer-to-Peer Systems II, Second International Workshop, IPTPS 2003, Berkeley, CA, USA, February 21-22,2003, Revised Papers. Springer 2003, ISBN 3-540-40724-3
Contents

2736

Vladimír Marík, Werner Retschitzegger, Olga Stepánková (Eds.): Database and Expert Systems Applications, 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings. Springer 2003, ISBN 3-540-40806-1
Contents

2737

Yahiko Kambayashi, Mukesh K. Mohania, Wolfram Wöß (Eds.): Data Warehousing and Knowledge Discovery, 5th International Conference, DaWaK 2003, Prague, Czech Republic, September 3-5,2003, Proceedings. Springer 2003, ISBN 3-540-40807-X
Contents

2738

Kurt Bauknecht, A. Min Tjoa, Gerald Quirchmayr (Eds.): E-Commerce and Web Technologies, 4th International Conference, EC-Web, Prague, Czech Republic, September 2-5, 2003, Proceedings. Springer 2003, ISBN 3-540-40808-8
Contents

2739

Roland Traunmüller (Ed.): Electronic Government, Second International Conference, EGOV 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings. Springer 2003, ISBN 3-540-40845-2
Contents

2740

Edmund K. Burke, Patrick De Causmaecker (Eds.): Practice and Theory of Automated Timetabling IV, 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers. Springer 2003, ISBN 3-540-40699-9
Contents

2741

Franz Baader (Ed.): Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings. Springer 2003, ISBN 3-540-40559-3
Contents

2742

Rebecca N. Wright (Ed.): Financial Cryptography, 7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003, Revised Papers. Springer 2003, ISBN 3-540-40663-8
Contents

2743

Luca Cardelli (Ed.): ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings. Springer 2003, ISBN 3-540-40531-3
Contents

2744

Vladimír Marík, Duncan C. McFarlane, Paul Valckenaers (Eds.): Holonic and Multi-Agent Systems for Manufacturing, First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003, Proceedings. Springer 2003, ISBN 3-540-40751-0
Contents

2745

Minyi Guo, Laurence Tianruo Yang (Eds.): Parallel and Distributed Processing and Applications, International Symposium, ISPA 2003, Aizu, Japan, July 2-4, 2003, Proceedings. Springer 2003, ISBN 3-540-40523-2
Contents

2746

Aldo de Moor, Wilfried Lex, Bernhard Ganter (Eds.): Conceptual Structures for Knowledge Creation and Communication, 11th International Conference on Conceptual Structures, ICCS 2003 Dresden, Germany, July 21-25, 2003 Proceedings. Springer 2003, ISBN 3-540-40576-3
Contents

2747

Branislav Rovan, Peter Vojtás (Eds.): Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings. Springer 2003, ISBN 3-540-40671-9
Contents

2748

Frank K. H. A. Dehne, Jörg-Rüdiger Sack, Michiel H. M. Smid (Eds.): Algorithms and Data Structures, 8th International Workshop, WADS 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003, Proceedings. Springer 2003, ISBN 3-540-40545-3
Contents

2749

Josef Bigün, Tomas Gustavsson (Eds.): Image Analysis, 13th Scandinavian Conference, SCIA 2003, Halmstad, Sweden, June 29 - July 2, 2003, Proceedings. Springer 2003, ISBN 3-540-40601-8
Contents

2750

Thanasis Hadzilacos, Yannis Manolopoulos, John F. Roddick, Yannis Theodoridis (Eds.): Advances in Spatial and Temporal Databases, 8th International Symposium, SSTD 2003, Santorini Island, Greece, July 24-27, 2003, Proceedings. Springer 2003, ISBN 3-540-40535-6
Contents

2751

Andrzej Lingas, Bengt J. Nilsson (Eds.): Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings. Springer 2003, ISBN 3-540-40543-7
Contents

2752

Gal A. Kaminka, Pedro U. Lima, Raúl Rojas (Eds.): RoboCup 2002: Robot Soccer World Cup VI. Springer 2003, ISBN 3-540-40666-2
Contents

2753

Frank Maurer, Don Wells (Eds.): Extreme Programming and Agile Methods - XP/Agile Universe 2003, Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings. Springer 2003, ISBN 3-540-40662-X
Contents

2754

Markus Schumacher: Security Engineering with Patterns - Origins, Theoretical Models, and New Applications. Lecture Notes in Computer Science Vol. 2754 Springer 2003, ISBN 3-540-40731-6
Contents

2755

Martin Wirsing, Dirk Pattinson, Rolf Hennicker (Eds.): Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Springer 2003, ISBN 3-540-20537-3
Contents

2756

Nicolai Petkov, Michel A. Westenberg (Eds.): Computer Analysis of Images and Patterns, 10th International Conference, CAIP 2003, Groningen, The Netherlands, August 25-27, 2003, Proceedings. Springer 2003, ISBN 3-540-40730-8
Contents

2757

Bernhard K. Aichernig, T. S. E. Maibaum (Eds.): Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers. Springer 2003, ISBN 3-540-20527-6
Contents

2758

David A. Basin, Burkhart Wolff (Eds.): Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Springer 2003, ISBN 3-540-40664-6
Contents

2759

Oscar H. Ibarra, Zhe Dang (Eds.): Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings. Springer 2003, ISBN 3-540-40561-5
Contents

2760

Roger Dingledine (Ed.): Privacy Enhancing Technologies, Third International Workshop, PET 2003, Dresden, Germany, March 26-28, 2003, Revised Papers. Springer 2003, ISBN 3-540-20610-8
Contents

2761

Roberto M. Amadio, Denis Lugiez (Eds.): CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings. Springer 2003, ISBN 3-540-40753-7
Contents

2762

Guozhu Dong, Chanjie Tang, Wei Wang (Eds.): Advances in Web-Age Information Management, 4th International Conference, WAIM 2003, Chengdu, China, August 17-19, 2003, Proceedings. Springer 2003, ISBN 3-540-40715-4
Contents

2763

Victor E. Malyshkin (Ed.): Parallel Computing Technologies, 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings. Springer 2003, ISBN 3-540-40673-5
Contents

2764

Sanjeev Arora, Klaus Jansen, José D. P. Rolim, Amit Sahai (Eds.): Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques, 6th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2003 and 7th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2003, Princeton, NY, USA, August 24-26, 2003, Proceedings. Springer 2003, ISBN 3-540-40770-7
Contents

2765

Reidar Conradi, Alf Inge Wang (Eds.): Empirical Methods and Studies in Software Engineering, Experiences from ESERNET. Springer 2003, ISBN 3-540-40672-7
Contents

2766

Sven Behnke: Hierarchical Neural Networks for Image Interpretation. Lecture Notes in Computer Science Vol. 2766 Springer 2003, ISBN 3-540-40722-7
Contents

2767

Hartmut König, Monika Heiner, Adam Wolisz (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings. Springer 2003, ISBN 3-540-20175-0
Contents

2768

Michael J. Wilson, Ralph R. Martin (Eds.): Mathematics of Surfaces, 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings. Springer 2003, ISBN 3-540-20053-3
Contents

2769

Traugott Koch, Ingeborg Sølvberg (Eds.): Research and Advanced Technology for Digital Libraries, 7th European Conference, ECDL 2003, Trondheim, Norway, August 17-22, 2003, Proceedings. Springer 2003, ISBN 3-540-40726-X
Contents

2770

Eberhard Becker, Willms Buhse, Dirk Günnewig, Niels Rump (Eds.): Digital Rights Management - Technological, Economic, Legal and Political Aspects. Springer 2003, ISBN 3-540-40465-1
Contents

2771

Uffe Kock Wiil (Ed.): Computer Music Modeling and Retrieval, International Symposium, CMMR 2003,Montpellier, France, May 26-27, 2003, Revised Papers. Springer 2004, ISBN 3-540-20922-0
Contents

2772

Nachum Dershowitz (Ed.): Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday. Springer 2003, ISBN 3-540-21002-4
Contents

2773

Vasile Palade, Robert J. Howlett, Lakhmi C. Jain (Eds.): Knowledge-Based Intelligent Information and Engineering Systems, 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I. Springer 2003, ISBN 3-540-40803-7
Contents

2774

Vasile Palade, Robert J. Howlett, Lakhmi C. Jain (Eds.): Knowledge-Based Intelligent Information and Engineering Systems, 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part II. Springer 2003, ISBN 3-540-40804-5
Contents

2775

Marco Conti, Silvia Giordano, Enrico Gregori, Stephan Olariu (Eds.): Personal Wireless Communications, IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003, Proceedings. Springer 2003, ISBN 3-540-20123-8
Contents

2776

Vladimir Gorodetsky, Leonard J. Popyack, Victor A. Skormin (Eds.): Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings. Springer 2003, ISBN 3-540-40797-9
Contents

2777

Bernhard Schölkopf, Manfred K. Warmuth (Eds.): Computational Learning Theory and Kernel Machines, 16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings. Springer 2003, ISBN 3-540-40720-0
Contents

2778

Peter Y. K. Cheung, George A. Constantinides, José T. de Sousa (Eds.): Field Programmable Logic and Application, 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings. Springer 2003, ISBN 3-540-40822-3
Contents

2779

Colin D. Walter, Çetin Kaya Koç, Christof Paar (Eds.): Cryptographic Hardware and Embedded Systems - CHES 2003, 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings. Springer 2003, ISBN 3-540-40833-9
Contents

2780

Michel Dojat, Elpida T. Keravnou, Pedro Barahona (Eds.): Artificial Intelligence in Medicine, 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003, Proceedings. Springer 2003, ISBN 3-540-20129-7
Contents

2781

Bernd Michaelis, Gerald Krell (Eds.): Pattern Recognition, 25th DAGM Symposium, Magdeburg, Germany, September 10-12, 2003, Proceedings. Springer 2003, ISBN 3-540-40861-4
Contents

2782

Matthias Klusch, Sascha Ossowski, Andrea Omicini, Heimo Laamanen (Eds.): Cooperative Information Agents VII, 7th International Workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003, Proceedings. Springer 2003, ISBN 3-540-40798-7
Contents

2783

Wanlei Zhou, Paul Nicholson, Brian J. Corbitt, Joseph Fong (Eds.): Advances in Web-Based Learning - ICWL 2003, Second International Conference, Melbourne, Australia, August 18-20, 2003, Proceedings. Springer 2003, ISBN 3-540-40772-3
Contents

2784

Marcela Genero, Fabio Grandi, Willem-Jan van den Heuvel, John Krogstie, Kalle Lyytinen, Heinrich C. Mayr, Jim Nelson, Antoni Olivé, Mario Piattini, Geert Poels, John F. Roddick, Keng Siau, Masatoshi Yoshikawa, Eric S. K. Yu (Eds.): Advanced Conceptual Modeling Techniques, ER 2002 Workshops: ECDM, MobIMod, IWCMQ, and eCOMO, Tampere, Finland, October 7-11, 2002, Revised Papers. Springer 2003, ISBN 3-540-20255-2
Contents

2785

Carol Peters, Martin Braschler, Julio Gonzalo, Michael Kluck (Eds.): Advances in Cross-Language Information Retrieval, Third Workshop of the Cross-Language Evaluation Forum, CLEF 2002. Rome, Italy, September 19-20, 2002. Revised Papers. Springer 2003, ISBN 3-540-40830-4
Contents

2786

Flávio Oquendo (Ed.): Software Process Technology, 9th International Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003, Proceedings. Springer 2003, ISBN 3-540-40764-2
Contents

2787

Jon Timmis, Peter J. Bentley, Emma Hart (Eds.): Artificial Immune Systems, Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings. Springer 2003, ISBN 3-540-40766-9
Contents

2788

Stuart Anderson, Massimo Felici, Bev Littlewood (Eds.): Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings. Springer 2003, ISBN 3-540-20126-2
Contents

2789

László Böszörményi, Peter Schojer (Eds.): Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings. Springer 2003, ISBN 3-540-40796-0
Contents

2790

Harald Kosch, László Böszörményi, Hermann Hellwagner (Eds.): Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings. Springer 2003, ISBN 3-540-40788-X
Contents

2791

Kim Guldstrand Larsen, Peter Niebert (Eds.): Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers. Springer 2003, ISBN 3-540-21671-5
Contents

2792

Thomas Rist, Ruth Aylett, Daniel Ballin, Jeff Rickel (Eds.): Intelligent Agents, 4th International Workshop, IVA 2003, Kloster Irsee, Germany, September 15-17, 2003, Proceedings. Springer 2003, ISBN 3-540-20003-7
Contents

2793

Roland Carl Backhouse, Jeremy Gibbons (Eds.): Generic Programming - Advanced Lectures. Springer 2003, ISBN 3-540-20194-7
Contents

2794

Peter Kemper, William H. Sanders (Eds.): Computer Performance Evaluations, Modelling Techniques and Tools. 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings. Springer 2003, ISBN 3-540-40814-2
Contents

2795

Luca Chittaro (Ed.): Human-Computer Interaction with Mobile Devices and Services, 5th International Symposium, Mobile HCI 2003, Udine, Italy, September 8-11, 2003, Proceedings. Springer 2003, ISBN 3-540-40821-5
Contents

2796

Marta Cialdea Mayer, Fiora Pirri (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings. Springer 2003, ISBN 3-540-40787-1
Contents

2797

Osmar R. Zaïane, Simeon J. Simoff, Chabane Djeraba (Eds.): Mining Multimedia and Complex Data, KDD Workshop MDM/KDD 2002, PAKDD Workshop KDMCD 2002, Revised Papers. Springer 2003, ISBN 3-540-20305-2
Contents

2798

Leonid A. Kalinichenko, Rainer Manthey, Bernhard Thalheim, Uwe Wloka (Eds.): Advances in Databases and Information Systems, 7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings. Springer 2003, ISBN 3-540-20047-9
Contents

2799

Jorge Juan-Chico, Enrico Macii (Eds.): Integrated Circuit and System Design, Power and Timing Modeling, Optimization and Simulation, 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proceedings. Springer 2003, ISBN 3-540-20074-6
Contents