Lecture Notes in Computer Science (LNCS), Volumes 2600-2699

2600

Shahar Mendelson, Alex J. Smola (Eds.): Advanced Lectures on Machine Learning, Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures. Springer 2003, ISBN 3-540-00529-3
Contents

2601

Marco Ajmone Marsan, Giorgio Corazza, Marco Listanti, Aldo Roveri (Eds.): Quality of Service in Multiservice IP Networks, Second International Workshop, QoS-IP 2003, Milano, Italy, February 24-26, 2003, Proceedings. Springer 2003, ISBN 3-540-00604-4
Contents

2602

Corrado Priami (Ed.): Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings. Springer 2003, ISBN 3-540-00605-2
Contents

2603

Alessandro F. Garcia, Carlos José Pereira de Lucena, Franco Zambonelli, Andrea Omicini, Jaelson Castro (Eds.): Software Engineering for Large-Scale Multi-Agent Systems, Research Issues and Practical Applications [the book is a result of SELMAS 2002]. Springer 2003, ISBN 3-540-08772-9
Contents

2604

Nicolas Guelfi, Egidio Astesiano, Gianna Reggio (Eds.): Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002, Revised Papers. Springer 2003, ISBN 3-540-00679-6
Contents

2605

Dieter Hutter, Werner Stephan (Eds.): Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Springer 2005, ISBN 3-540-25051-4
Contents

2606

Andrew M. Tyrrell, Pauline C. Haddow, Jim Torresen (Eds.): Evolvable Systems: From Biology to Hardware, 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003, Proceedings. Springer 2003, ISBN 3-540-00730-X
Contents

2607

Helmut Alt, Michel Habib (Eds.): STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings. Springer 2003, ISBN 3-540-00623-0
Contents

2608

Jean-Marc Champarnaud, Denis Maurel (Eds.): Implementation and Application of Automata, 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers. Springer 2003, ISBN 3-540-40391-4
Contents

2609

Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa (Eds.): Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers. Springer 2003, ISBN 3-540-00708-3
Contents

2610

Conor Ryan, Terence Soule, Maarten Keijzer, Edward P. K. Tsang, Riccardo Poli, Ernesto Costa (Eds.): Genetic Programming, 6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003. Proceedings. Springer 2003, ISBN 3-540-00971-X
Contents

2611

Günther R. Raidl, Jean-Arcady Meyer, Martin Middendorf, Stefano Cagnoni, Juan J. Romero Cardalda, David Corne, Jens Gottlieb, Agnès Guillot, Emma Hart, Colin G. Johnson, Elena Marchiori (Eds.): Applications of Evolutionary Computing, EvoWorkshop 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April 14-16, 2003, Proceedings. Springer 2003, ISBN 3-540-00976-0
Contents

2612

Marc Joye (Ed.): Topics in Cryptology - CT-RSA 2003, The Cryptographers' Track at the RSA Conference 2003, San Francisco, CA, USA, April 13-17, 2003, Proceedings. Springer 2003, ISBN 3-540-00847-0
Contents

2613

Fabien A. P. Petitcolas, Hyoung Joong Kim (Eds.): Digital Watermarking, First International Workshop, IWDW 2002, Seoul, Korea, November 21-22, 2002, Revised Papers. Springer 2003, ISBN 3-540-01217-6
Contents

2614

Robert Laddaga, Paul Robertson, Howard E. Shrobe (Eds.): Self-Adaptive Software, Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001 Revised Papers. Springer 2003, ISBN 3-540-00731-8
Contents

2615

Noelle Carbonell, Constantine Stephanidis (Eds.): Universal Access: Theoretical Perspectives, Practice, and Experience, 7th ERCIM International Workshop on User Interfaces for All, Paris, France, October 24-25, 2002, Revised Papers. Springer 2003, ISBN 3-540-00855-1
Contents

2616

Tetsuo Asano, Reinhard Klette, Christian Ronse (Eds.): Geometry, Morphology, and Computational Imaging, 11th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, April 7-12, 2002, Revised Papers. Springer 2003, ISBN 3-540-00916-7
Contents

2617

Hajo A. Reijers: Design and Control of Workflow Processes: Business Process Management for the Service Industry. Lecture Notes in Computer Science Vol. 2617 Springer 2003, ISBN 3-540-01186-2
Contents

2618

Pierpaolo Degano (Ed.): Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003, ISBN 3-540-00886-1
Contents

2619

Hubert Garavel, John Hatcliff (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003, ISBN 3-540-00898-5
Contents

2620

Andrew D. Gordon (Ed.): Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003, ISBN 3-540-00897-7
Contents

2621

Mauro Pezzè (Ed.): Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003, ISBN 3-540-00899-3
Contents

2622

Görel Hedin (Ed.): Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003, ISBN 3-540-00904-3
Contents

2623

Oded Maler, Amir Pnueli (Eds.): Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings. Springer 2003, ISBN 3-540-00913-2
Contents

2624

Henry G. Dietz (Ed.): Languages and Compilers for Parallel Computing, 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001. Revised Papers. Springer 2003, ISBN 3-540-04029-3
Contents

2625

Ulrich Meyer, Peter Sanders, Jop F. Sibeyn (Eds.): Algorithms for Memory Hierarchies, Advanced Lectures [Dagstuhl Research Seminar, March 10-14, 2002]. Springer 2003, ISBN 3-540-00883-7
Contents

2626

James L. Crowley, Justus H. Piater, Markus Vincze, Lucas Paletta (Eds.): Computer Vision Systems, Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings. Springer 2003, ISBN 3-540-00921-3
Contents

2627

Barry O'Sullivan (Ed.): Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers. Springer 2003, ISBN 3-540-00986-8
Contents

2628

Thomas Fahringer, Bernhard Scholz: Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization. Lecture Notes in Computer Science Vol. 2628 Springer 2003, ISBN 3-540-01185-4
Contents

2629

Ali E. Abdallah, Peter Ryan, Steve Schneider (Eds.): Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers. Springer 2003, ISBN 3-540-20693-0
Contents

2630

Franz Winkler, Ulrich Langer (Eds.): Symbolic and Numerical Scientific Computation, Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers. Springer 2003, ISBN 3-540-40554-2
Contents

2631

Rino Falcone, K. Suzanne Barber, Larry Korba, Munindar P. Singh (Eds.): Trust, Reputation, and Security: Theories and Practice, AAMAS 2002 International Workshop, Bologna, Italy, July 15, 2002, Selected and Invited Papers. Springer 2003, ISBN 3-540-00988-4
Contents

2632

Carlos M. Fonseca, Peter J. Fleming, Eckart Zitzler, Kalyanmoy Deb, Lothar Thiele (Eds.): Evolutionary Multi-Criterion Optimization, Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings. Springer 2003, ISBN 3-540-01869-7
Contents

2633

Fabrizio Sebastiani (Ed.): Advances in Information Retrieval, 25th European Conference on IR Research, ECIR 2003, Pisa, Italy, April 14-16, 2003, Proceedings. Springer 2003, ISBN 3-540-01274-5
Contents

2634

Feng Zhao, Leonidas J. Guibas (Eds.): Information Processing in Sensor Networks, Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings. Springer 2003, ISBN 3-540-02111-6
Contents

2635

Olaf Owe, Stein Krogdahl, Tom Lyche (Eds.): From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl. Springer 2004, ISBN 3-540-21366-X
Contents

2636

Eduardo Alonso, Daniel Kudenko, Dimitar Kazakov (Eds.): Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning. Springer 2003, ISBN 3-540-40068-0
Contents

2637

Kyu-Young Whang, Jongwoo Jeon, Kyuseok Shim, Jaideep Srivastava (Eds.): Advances in Knowledge Discovery and Data Mining, 7th Pacific-Asia Conference, PAKDD 2003, Seoul, Korea, April 30 - May 2, 2003, Proceedings. Springer 2003, ISBN 3-540-04760-3
Contents

2638

Johan Jeuring, Simon L. Peyton Jones (Eds.): Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures. Springer 2003, ISBN 3-540-40132-6
Contents

2639

Guoyin Wang, Qing Liu, Yiyu Yao, Andrzej Skowron (Eds.): Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings. Springer 2003, ISBN 3-540-14040-9
Contents

2640

Scott Henninger, Frank Maurer (Eds.): Advances in Learning Software Organizations, 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002, Revised Papers. Springer 2003, ISBN 3-540-20591-8
Contents

2641

Peter J. Nürnberg (Ed.): Metainformatics, International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002. Revised Papers. Springer 2003, ISBN 3-540-40218-7
Contents

2642

Xiaofang Zhou, Yanchun Zhang, Maria E. Orlowska (Eds.): Web Technologies and Applications, 5th Asian-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings. Springer 2003, ISBN 3-540-02354-2
Contents

2643

Marc P. C. Fossorier, Tom Høholdt, Alain Poli (Eds.): Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, Proceedings. Springer 2003, ISBN 3-540-40111-3
Contents

2644

Dieter Hogrefe, Anthony Wiles (Eds.): Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings. Springer 2003, ISBN 3-540-40123-7
Contents

2645

Maria Wimmer (Ed.): Knowledge Management in Electronic Government, 4th IFIP International Working Conference, KMGov 2003, Rhodes, Greece, May 26-28, 2003, Proceedings. Springer 2003, ISBN 3-540-40145-8
Contents

2646

Herman Geuvers, Freek Wiedijk (Eds.): Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers. Springer 2003, ISBN 3-540-14031-X
Contents

2647

Klaus Jansen, Marian Margraf, Monaldo Mastrolilli, José D. P. Rolim (Eds.): Experimental and Efficient Algorithms, Second International Workshop, WEA 2003, Ascona, Switzerland, May 26-28, 2003, Proceedings. Springer 2003, ISBN 3-540-40205-5
Contents

2648

Thomas Ball, Sriram K. Rajamani (Eds.): Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings. Springer 2003, ISBN 3-540-40117-2
Contents

2649

Bernhard Westfechtel, André van der Hoek (Eds.): Software Configuration Management, ICSE Workshops SCM 2001 and SCM 2003 Toronto, Canada, May 14-15, 2001 and Portland, OR, USA, May 9-10, 2003. Selected Papers. Springer 2003, ISBN 3-540-14036-0
Contents

2650

Marc-Philippe Huget (Ed.): Communication in Multiagent Systems, Agent Communication Languages and Conversation Polocies. Springer 2003, ISBN 3-540-40385-X
Contents

2651

Didier Bert, Jonathan P. Bowen, Steve King, Marina A. Waldén (Eds.): ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings. Springer 2003, ISBN 3-540-40253-5
Contents

2652

Francisco J. Perales López, Aurélio C. Campilho, Nicolas Pérez de la Blanca, Alberto Sanfeliu (Eds.): Pattern Recognition and Image Analysis, First Iberian Conference, IbPRIA 2003, Puerto de Andratx, Mallorca, Spain, June 4-6, 2003, Proceedings. Springer 2003, ISBN 3-540-40217-9
Contents

2653

Rossella Petreschi, Giuseppe Persiano, Riccardo Silvestri (Eds.): Algorithms and Complexity, 5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings. Springer 2003, ISBN 3-540-40176-8
Contents

2654

Ute Schmid: Inductive Synthesis of Functional Programs, Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning. Lecture Notes in Computer Science Vol. 2654 Springer 2003, ISBN 3-540-40174-1
Contents

2655

Jean-Pierre Rosen, Alfred Strohmeier (Eds.): Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings. Springer 2003, ISBN 3-540-40376-0
Contents

2656

Eli Biham (Ed.): Advances in Cryptology - EUROCRYPT 2003, International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings. Springer 2003, ISBN 3-540-14039-5
Contents

2657

Peter M. A. Sloot, David Abramson, Alexander V. Bogdanov, Jack Dongarra, Albert Y. Zomaya, Yuri E. Gorbachev (Eds.): Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part I. Springer 2003, ISBN 3-540-40194-6
Contents

2658

Peter M. A. Sloot, David Abramson, Alexander V. Bogdanov, Jack Dongarra, Albert Y. Zomaya, Yuri E. Gorbachev (Eds.): Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part II. Springer 2003, ISBN 3-540-40195-4
Contents

2659

Peter M. A. Sloot, David Abramson, Alexander V. Bogdanov, Jack Dongarra, Albert Y. Zomaya, Yuri E. Gorbachev (Eds.): Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part III. Springer 2003, ISBN 3-540-40196-2
Contents

2660

Peter M. A. Sloot, David Abramson, Alexander V. Bogdanov, Jack Dongarra, Albert Y. Zomaya, Yuri E. Gorbachev (Eds.): Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part IV. Springer 2003, ISBN 3-540-40197-0
Contents

2661

Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson (Eds.): Learning Classifier Systems, 5th International Workshop, IWLCS 2002, Granada, Spain, September 7-8, 2002, Revised Papers. Springer 2003, ISBN 3-540-20544-6
Contents

2662

Hyun-Kook Kahng (Ed.): Information Networking, Networking Technologies for Enhanced Internet Services International Conference, ICOIN 2003, Cheju Island, Korea, February 12-14, 2003, Revised Selected Papers. Springer 2003, ISBN 3-540-40827-4
Contents

2663

Ernestina Menasalvas Ruiz, Javier Segovia, Piotr S. Szczepaniak (Eds.): Web Intelligence, First International Atlantic Web Intelligence Conference, AWIC 2003, Madrid, Spain, May 5-6, 2003, Proceedings. Springer 2003, ISBN 3-540-40124-5
Contents

2664

Michael Leuschel (Ed.): Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers. Springer 2003, ISBN 3-540-40438-4
Contents

2665

Hsinchun Chen, Richard Miranda, Daniel Dajun Zeng, Chris C. Demchak, Jennifer Schroeder, Therani Madhusudan (Eds.): Intelligence and Security Informatics, First NSF/NIJ Symposium, ISI 2003, Tucson, AZ, USA, June 2-3, 2003, Proceedings. Springer 2003, ISBN 3-540-40189-X
Contents

2666

Concettina Guerra, Sorin Istrail (Eds.): Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures. Springer 2003, ISBN 3-540-40104-0
Contents

2667

Vipin Kumar, Marina L. Gavrilova, Chih Jeng Kenneth Tan, Pierre L'Ecuyer (Eds.): Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part I. Springer 2003, ISBN 3-540-40155-5
Contents

2668

Vipin Kumar, Marina L. Gavrilova, Chih Jeng Kenneth Tan, Pierre L'Ecuyer (Eds.): Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part II. Springer 2003, ISBN 3-540-40161-X
Contents

2669

Vipin Kumar, Marina L. Gavrilova, Chih Jeng Kenneth Tan, Pierre L'Ecuyer (Eds.): Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part III. Springer 2003, ISBN 3-540-40156-3
Contents

2670

Ricardo Pena, Thomas Arts (Eds.): Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers. Springer 2003, ISBN 3-540-40190-3
Contents

2671

Yang Xiang, Brahim Chaib-draa (Eds.): Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003, Proceedings. Springer 2003, ISBN 3-540-40300-0
Contents

2672

Markus Endler, Douglas C. Schmidt (Eds.): Middleware 2003, ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings. Springer 2003, ISBN 3-540-40317-5
Contents

2673

Nicholas Ayache, Hervé Delingette (Eds.): Surgery Simulation and Soft Tissue Modeling, International Symposium, IS4TM 2003, Juan-Les-Pins, France, June 12-13, 2003, Proceedings. Springer 2003, ISBN 3-540-40439-2
Contents

2674

Isabelle E. Magnin, Johan Montagnat, Patrick Clarysse, Jukka Nenonen, Toivo Katila (Eds.): Functional Imaging and Modeling of the Heart, Second International Workshop, FIMH 2003, Lyon, France, June 5-6, 2003 Proceedings. Springer 2003, ISBN 3-540-40262-4
Contents

2675

Michele Marchesi, Giancarlo Succi (Eds.): Extreme Programming and Agile Processes in Software Engineering, 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003 Proceedings. Springer 2003, ISBN 3-540-40215-2
Contents

2676

Ricardo A. Baeza-Yates, Edgar Chávez, Maxime Crochemore (Eds.): Combinatorial Pattern Matching, 14th Annual Symposium, CPM 2003, Morelia, Michocán, Mexico, June 25-27, 2003, Proceedings. Springer 2003, ISBN 3-540-40311-6
Contents

2677

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky (Eds.): Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems]. Springer 2003, ISBN 978-3-540-40727-0
Contents

2678

Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Mathias Weske (Eds.): Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings. Springer 2003, ISBN 3-540-40318-3
Contents

2679

Wil M. P. van der Aalst, Eike Best (Eds.): Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings. Springer 2003, ISBN 3-540-40334-5
Contents

2680

Patrick Blackburn, Chiara Ghidini, Roy M. Turner, Fausto Giunchiglia (Eds.): Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings. Springer 2003, ISBN 3-540-40380-9
Contents

2681

Johann Eder, Michele Missikoff (Eds.): Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings. Springer 2003, ISBN 3-540-40442-2
Contents

2682

Rosa Meo, Pier Luca Lanzi, Mika Klemettinen (Eds.): Database Support for Data Mining Applications: Discovering Knowledge with Inductive Queries. Springer 2004, ISBN 3-540-22479-3
Contents

2683

Anand Rangarajan, Mário A. T. Figueiredo, Josiane Zerubia (Eds.): Energy Minimization Methods in Computer Vision and Pattern Recognition, 4th International Workshop, EMMCVPR 2003, Lisbon, Portugal, July 7-9, 2003, Proceedings. Springer 2003, ISBN 3-540-40498-8
Contents

2684

Martin Butz, Olivier Sigaud, Pierre Gérard (Eds.): Anticipatory Behavior in Adaptive Learning Systems, Foundations, Theories, and Systems. Springer 2003, ISBN 3-540-40429-5
Contents

2685

Christian Freksa, Wilfried Brauer, Christopher Habel, Karl Friedrich Wender (Eds.): Spatial Cognition III, Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning. Springer 2003, ISBN 3-540-40430-9
Contents

2686

José Mira, José R. Álvarez (Eds.): Artificial Neural Nets Problem Solving Methods, 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003, Maó, Menorca, Spain, June 3-6, 2003 Proceedings, Part I. Springer 2003, ISBN 3-540-40210-1
Contents

2687

José Mira, José R. Álvarez (Eds.): Artificial Neural Nets Problem Solving Methods, 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003, Maó, Menorca, Spain, June 3-6, 2003 Proceedings, Part II. Springer 2003, ISBN 3-540-40211-X
Contents

2688

Josef Kittler, Mark S. Nixon (Eds.): Audio-and Video-Based Biometrie Person Authentication, 4th International Conference, AVBPA 2003, Guildford, UK, June 9-11, 2003 Proceedings. Springer 2003, ISBN 3-540-40302-7
Contents

2689

Kevin D. Ashley, Derek G. Bridge (Eds.): Case-Based Reasoning Research and Development, 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings. Springer 2003, ISBN 3-540-40433-3
Contents

2690

Jiming Liu, Yiu-ming Cheung, Hujun Yin (Eds.): Intelligent Data Engineering and Automated Learning, 4th International Conference, IDEAL 2003, Hong Kong, China, March 21-23, 2003, Revised Papers. Springer 2003, ISBN 3-540-40550-X
Contents

2691

Vladimír Marík, Jörg P. Müller, Michal Pechoucek (Eds.): Multi-Agent Systems and Applications III, 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003, Proceedings. Springer 2003, ISBN 3-540-40450-3
Contents

2692

Paddy Nixon, Sotirios Terzis (Eds.): Trust Management, First International Conference, iTrust 2003, Heraklion, Crete, Greece, May 28-30, 2002, Proceedings. Springer 2003, ISBN 3-540-40224-1
Contents

2693

Alejandra Cechich, Mario Piattini, Antonio Vallecillo (Eds.): Component-Based Software Quality - Methods and Techniques. Springer 2003, ISBN 3-540-40503-8
Contents

2694

Radhia Cousot (Ed.): Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings. Springer 2003, ISBN 3-540-40325-6
Contents

2695

Lewis D. Griffin, Martin Lillholm (Eds.): Scale Space Methods in Computer Vision, 4th International Conference, Scale-Space 2003, Isle of Skye, UK, June 10-12, 2003, Proceedings. Springer 2003, ISBN 3-540-40368-X
Contents

2696

Joan Feigenbaum (Ed.): Security and Privacy in Digital Rights Management, ACM CCS-9 Workshop, DRM 2002, Washington, DC, USA, November 18, 2002, Revised Papers. Springer 2003, ISBN 3-540-40410-4
Contents

2697

Tandy Warnow, Binhai Zhu (Eds.): Computing and Combinatorics, 9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings. Springer 2003, ISBN 3-540-40534-8
Contents

2698

Wojciech Burakowski, Berthold F. Koch, Andrzej Beben (Eds.): Architectures for Quality of Service in the Internet, International Workshop, Art-QoS 2003, Warsaw, Poland, March 24-25, 2003, Revised Papers. Springer 2003, ISBN 3-540-40444-9
Contents

2699

Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Diana F. Gordon-Spears (Eds.): Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers. Springer 2003, ISBN 3-540-40665-4
Contents