Lecture Notes in Computer Science (LNCS), Volumes 3600-3699

3600

Freek Wiedijk (Ed.): The Seventeen Provers of the World, Foreword by Dana S. Scott. Springer 2006, ISBN 3-540-30704-4
Contents

3601

Gianluca Moro, Sonia Bergamaschi, Karl Aberer (Eds.): Agents and Peer-to-Peer Computing, Third International Workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, Revised and Invited Papers. Springer 2005, ISBN 3-540-29755-3
Contents

3602

Rudolf Eigenmann, Zhiyuan Li, Samuel P. Midkiff (Eds.): Languages and Compilers for High Performance Computing, 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-28009-X
Contents

3603

Joe Hurd, Thomas F. Melham (Eds.): Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings. Springer 2005, ISBN 3-540-28372-2
Contents

3604

Ralph R. Martin, Helmut E. Bez, Malcolm A. Sabin (Eds.): Mathematics of Surfaces XI, 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings. Springer 2005, ISBN 3-540-28225-4
Contents

3605

Zhaohui Wu, Chun Chen, Minyi Guo, Jiajun Bu (Eds.): Embedded Software and Systems, First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-28128-2
Contents

3606

Victor E. Malyshkin (Ed.): Parallel Computing Technologies, 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings. Springer 2005, ISBN 3-540-28126-6
Contents

3607

Jean-Daniel Zucker, Lorenza Saitta (Eds.): Abstraction, Reformulation and Approximation, 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings. Springer 2005, ISBN 3-540-27872-9
Contents

3608

Frank K. H. A. Dehne, Alejandro López-Ortiz, Jörg-Rüdiger Sack (Eds.): Algorithms and Data Structures, 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings. Springer 2005, ISBN 3-540-28101-0
Contents

3609

...

3610

Lipo Wang, Ke Chen, Yew-Soon Ong (Eds.): Advances in Natural Computation, First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I. Springer 2005, ISBN 3-540-28323-4
Contents

3611

Lipo Wang, Ke Chen, Yew-Soon Ong (Eds.): Advances in Natural Computation, First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II. Springer 2005, ISBN 3-540-28325-0
Contents

3612

Lipo Wang, Ke Chen, Yew-Soon Ong (Eds.): Advances in Natural Computation, First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III. Springer 2005, ISBN 3-540-28320-X
Contents

3613

Lipo Wang, Yaochu Jin (Eds.): Fuzzy Systems and Knowledge Discovery, Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I. Springer 2005, ISBN 3-540-28312-9
Contents

3614

Lipo Wang, Yaochu Jin (Eds.): Fuzzy Systems and Knowledge Discovery, Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II. Springer 2005, ISBN 3-540-28331-5
Contents

3615

Bertram Ludäscher, Louiqa Raschid (Eds.): Data Integration in the Life Sciences, Second InternationalWorkshop, DILS 2005, San Diego, CA, USA, July 20-22, 2005, Proceedings. Springer 2005, ISBN 3-540-27967-9
Contents

3616

Edmund K. Burke, Michael A. Trick (Eds.): Practice and Theory of Automated Timetabling V, 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-30705-2
Contents

3617

Fabio Roli, Sergio Vitulano (Eds.): Image Analysis and Processing - ICIAP 2005, 13th International Conference, Cagliari, Italy, September 6-8, 2005, Proceedings. Springer 2005, ISBN 3-540-28869-4
Contents

3618

Joanna Jedrzejowicz, Andrzej Szepietowski (Eds.): Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, Proceedings. Springer 2005, ISBN 3-540-28702-7
Contents

3619

Xicheng Lu, Wei Zhao (Eds.): Networking and Mobile Computing, Third International Conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005, Proceedings. Springer 2005, ISBN 3-540-28102-9
Contents

3620

Héctor Muñoz-Avila, Francesco Ricci (Eds.): Case-Based Reasoning, Research and Development, 6th International Conference, on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005, Proceedings. Springer 2005, ISBN 3-540-28174-6
Contents

3621

Victor Shoup (Ed.): Advances in Cryptology - CRYPTO 2005: 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings. Springer 2005, ISBN 3-540-28114-2
Contents

3622

Varmo Vene, Tarmo Uustalu (Eds.): Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures. Springer 2005, ISBN 3-540-28540-7
Contents

3623

Maciej Liskiewicz, Rüdiger Reischuk (Eds.): Fundamentals of Computation Theory, 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005, Proceedings. Springer 2005, ISBN 3-540-28193-2
Contents

3624

Chandra Chekuri, Klaus Jansen, José D. P. Rolim, Luca Trevisan (Eds.): Approximation, Randomization and Combinatorial Optimization, Algorithms and Techniques, 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005 and 9th InternationalWorkshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005, Proceedings. Springer 2005, ISBN 3-540-28239-4
Contents

3625

Stefan Kramer, Bernhard Pfahringer (Eds.): Inductive Logic Programming, 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings. Springer 2005, ISBN 3-540-28177-0
Contents

3626

Bernhard Ganter, Gerd Stumme, Rudolf Wille (Eds.): Formal Concept Analysis, Foundations and Applications. Springer 2005, ISBN 3-540-27891-5
Contents

3627

Christian Jacob, Marcin L. Pilat, Peter J. Bentley, Jonathan Timmis (Eds.): Artificial Immune Systems: 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005, Proceedings. Springer 2005, ISBN 3-540-28175-4
Contents

3628

Thomas Gschwind, Uwe Aßmann, Oscar Nierstrasz (Eds.): Software Composition, 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers. Springer 2005, ISBN 3-540-28748-5
Contents

3629

José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan J. M. M. Rutten (Eds.): Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings. Springer 2005, ISBN 3-540-28620-9
Contents

3630

Mathieu S. Capcarrère, Alex Alves Freitas, Peter J. Bentley, Colin G. Johnson, Jon Timmis (Eds.): Advances in Artificial Life, 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings. Springer 2005, ISBN 3-540-28848-1
Contents

3631

Johann Eder, Hele-Mai Haav, Ahto Kalja, Jaan Penjam (Eds.): Advances in Databases and Information Systems, 9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005, Proceedings. Springer 2005, ISBN 3-540-28585-7
Contents

3632

Robert Nieuwenhuis (Ed.): Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings. Springer 2005, ISBN 3-540-28005-7
Contents

3633

Claudia Bauzer Medeiros, Max J. Egenhofer, Elisa Bertino (Eds.): Advances in Spatial and Temporal Databases, 9th International Symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005, Proceedings. Springer 2005, ISBN 3-540-28127-4
Contents

3634

C.-H. Luke Ong (Ed.): Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings. Springer 2005, ISBN 3-540-28231-9
Contents

3635

Joab Winkler, Mahesan Niranjan, Neil D. Lawrence (Eds.): Deterministic and Statistical Methods in Machine Learning, First International Workshop, Sheffield, UK, September 7-10, 2004, Revised Lectures. Springer 2005, ISBN 3-540-29073-7
Contents

3636

Maria J. Blesa, Christian Blum, Andrea Roli, Michael Sampels (Eds.): Hybrid Metaheuristics, Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005, Proceedings. Springer 2005, ISBN 3-540-28535-0
Contents

3637

Juan Manuel Moreno, Jordi Madrenas, Jordi Cosp (Eds.): Evolvable Systems: From Biology to Hardware, 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings. Springer 2005, ISBN 3-540-28736-1
Contents

3638

Andreas Butz, Brian D. Fisher, Antonio Krüger, Patrick Olivier (Eds.): Smart Graphics, 5th International Symposium, SG 2005, Frauenwörth Cloister, Germany, August 22-24, 2005, Proceedings. Springer 2005, ISBN 3-540-28179-7
Contents

3639

Patrice Godefroid (Ed.): Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings. Springer 2005, ISBN 3-540-28195-9
Contents

3640

Miguel Castro, Robbert van Renesse (Eds.): Peer-to-Peer Systems IV, 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers. Springer 2005, ISBN 3-540-29068-0
Contents

3641

Dominik Slezak, Guoyin Wang, Marcin S. Szczuka, Ivo Düntsch, Yiyu Yao (Eds.): Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I. Springer 2005, ISBN 3-540-28653-5
Contents

3642

Dominik Slezak, Jingtao Yao, James F. Peters, Wojciech Ziarko, Xiaohua Hu (Eds.): Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part II. Springer 2005, ISBN 3-540-28660-8
Contents

3643

Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (Eds.): Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers. Springer 2005, ISBN 3-540-29002-8
Contents

3644

De-Shuang Huang, Xiao-Ping Zhang, Guang-Bin Huang (Eds.): Advances in Intelligent Computing, International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I. Springer 2005, ISBN 3-540-28226-2
Contents

3645

De-Shuang Huang, Xiao-Ping Zhang, Guang-Bin Huang (Eds.): Advances in Intelligent Computing, International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II. Springer 2005, ISBN 3-540-28227-0
Contents

3646

A. Fazel Famili, Joost N. Kok, José María Peña, Arno Siebes, A. J. Feelders (Eds.): Advances in Intelligent Data Analysis VI, 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings. Springer 2005, ISBN 3-540-28795-7
Contents

3647

Walter Dosch, Roger Y. Lee, Chisu Wu (Eds.): Software Engineering Research, Management and Applications, Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Selected Revised Papers. Springer 2005, ISBN 3-540-32133-0
Contents

3648

José C. Cunha, Pedro D. Medeiros (Eds.): Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings. Springer 2005, ISBN 3-540-28700-0
Contents

3649

Wil M. P. van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera (Eds.): Business Process Management, 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings. 2005, ISBN 3-540-28238-6
Contents

3650

Jianying Zhou, Javier Lopez, Robert H. Deng, Feng Bao (Eds.): Information Security, 8th International Conference, ISC 2005, Singapore, September 20-23, 2005, Proceedings. Springer 2005, ISBN 3-540-29001-X
Contents

3651

Robert Dale, Kam-Fai Wong, Jian Su, Oi Yee Kwong (Eds.): Natural Language Processing - IJCNLP 2005, Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings. Springer 2005, ISBN 3-540-29172-5
Contents

3652

Andreas Rauber, Stavros Christodoulakis, A. Min Tjoa (Eds.): Research and Advanced Technology for Digital Libraries, 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005, Proceedings. Springer 2005, ISBN 3-540-28767-1
Contents

3653

Martín Abadi, Luca de Alfaro (Eds.): CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings. Springer 2005, ISBN 3-540-28309-9
Contents

3654

Sushil Jajodia, Duminda Wijesekera (Eds.): Data and Applications Security XIX, 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005, Proceedings. Springer 2005, ISBN 3-540-28138-X
Contents

3655

Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (Eds.): Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures. Springer 2005, ISBN 3-540-28955-0
Contents

3656

Mohamed S. Kamel, Aurélio C. Campilho (Eds.): Image Analysis and Recognition, Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005, Proceedings. Springer 2005, ISBN 3-540-29069-9
Contents

3657

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures. Springer 2005, ISBN 3-540-29131-8
Contents

3658

Václav Matousek, Pavel Mautner, Tomás Pavelka (Eds.): Text, Speech and Dialogue, 8th International Conference, TSD 2005, Karlovy Vary, Czech Republic, September 12-15, 2005, Proceedings. Springer 2005, ISBN 3-540-28789-2
Contents

3659

Josyula R. Rao, Berk Sunar (Eds.): Cryptographic Hardware and Embedded Systems - CHES 2005, 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings. Springer 2005, ISBN 3-540-28474-5
Contents

3660

Michael Beigl, Stephen S. Intille, Jun Rekimoto, Hideyuki Tokuda (Eds.): UbiComp 2005: Ubiquitous Computing, 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005, Proceedings. Springer 2005, ISBN 3-540-28760-4
Contents

3661

Themis Panayiotopoulos, Jonathan Gratch, Ruth Aylett, Daniel Ballin, Patrick Olivier, Thomas Rist (Eds.): Intelligent Virtual Agents, 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005, Proceedings. Springer 2005, ISBN 3-540-28738-8
Contents

3662

Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina (Eds.): Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings. Springer 2005, ISBN 3-540-28538-5
Contents

3663

Walter G. Kropatsch, Robert Sablatnig, Allan Hanbury (Eds.): Pattern Recognition, 27th DAGM Symposium, Vienna, Austria, August 31 - September 2, 2005, Proceedings. Springer 2005, ISBN 3-540-28703-5
Contents

3664

Can Türker, Maristella Agosti, Hans-Jörg Schek (Eds.): Peer-to-Peer, Grid, and Service-Orientation in Digital Library Architectures, 6th Thematic Workshop of the EU Network of Excellence DELOS, Cagliari, Italy, June 24-25, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-28711-6
Contents

3665

K. Selçuk Candan, Augusto Celentano (Eds.): Advances in Multimedia Information Systems, 11th International Workshop, MIS 2005, Sorrento, Italy, September 19-21, 2005, Proceedings. Springer 2005, ISBN 3-540-28792-2
Contents

3666

Beniamino Di Martino, Dieter Kranzlmüller, Jack Dongarra (Eds.): Recent Advances in Parallel Virtual Machine and Message Passing Interface, 12th European PVM/MPI Users' Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings. Springer 2005, ISBN 3-540-29009-5
Contents

3667

W. James MacLean (Ed.): Spatial Coherence for Visual Motion Analysis, First International Workshop, SCVMA 2004, Prague, Czech Republic, May 15, 2004, Revised Papers. Springer 2006, ISBN 3-540-32533-6
Contents

3668

Maurizio Gabbrielli, Gopal Gupta (Eds.): Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings. Springer 2005, ISBN 3-540-29208-X
Contents

3669

Gerth Stølting Brodal, Stefano Leonardi (Eds.): Algorithms - ESA 2005, 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings. Springer 2005, ISBN 3-540-29118-0
Contents

3670

Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (Eds.): Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings. Springer 2005, ISBN 3-540-28701-9
Contents

3671

Stéphane Bressan, Stefano Ceri, Ela Hunt, Zachary G. Ives, Zohra Bellahsene, Michael Rys, Rainer Unland (Eds.): Database and XML Technologies, Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005, Proceedings. Springer 2005, ISBN 3-540-28583-0
Contents

3672

Chris Hankin, Igor Siveroni (Eds.): Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings. Springer 2005, ISBN 3-540-28584-9
Contents

3673

Stefania Bandini, Sara Manzoni (Eds.): AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-23, 2005, Proceedings. Springer 2005, ISBN 3-540-29041-9
Contents

3674

Willem Jonker, Milan Petkovic (Eds.): Secure Data Management, Second VLDB Workshop, SDM 2005, Trondheim, Norway, September 2-3, 2005, Proceedings. Springer 2005, ISBN 3-540-28798-1
Contents

3675

Yuhua Luo (Ed.): Cooperative Design, Visualization, and Engineering, Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings. Springer 2005, ISBN 3-540-28948-8
Contents

3676

Robert Glück, Michael R. Lowry (Eds.): Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings. Springer 2005, ISBN 3-540-29138-5
Contents

3677

Jana Dittmann, Stefan Katzenbeisser, Andreas Uhl (Eds.): Communications and Multimedia Security, 9th IFIP TC-6 TC-11 International Conference, CMS 2005, Salzburg, Austria, September 19-21, 2005, Proceedings. Springer 2005, ISBN 3-540-28791-4
Contents

3678

Aoife McLysaght, Daniel H. Huson (Eds.): Comparative Genomics, RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005, Proceedings. Springer 2005, ISBN 3-540-28932-1
Contents

3679

Sabrina De Capitani di Vimercati, Paul F. Syverson, Dieter Gollmann (Eds.): Computer Security - ESORICS 2005, 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings. Springer 2005, ISBN 3-540-28963-1
Contents

3680

Corrado Priami, Alexander Zelikovsky (Eds.): Transactions on Computational Systems Biology II. Springer 2005, ISBN 3-540-29401-5
Contents

3681

Rajiv Khosla, Robert J. Howlett, Lakhmi C. Jain (Eds.): Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I. Springer 2005, ISBN 3-540-28894-5
Contents

3682

Rajiv Khosla, Robert J. Howlett, Lakhmi C. Jain (Eds.): Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II. Springer 2005, ISBN 3-540-28895-3
Contents

3683

Rajiv Khosla, Robert J. Howlett, Lakhmi C. Jain (Eds.): Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III. Springer 2005, ISBN 3-540-28896-1
Contents

3684

Rajiv Khosla, Robert J. Howlett, Lakhmi C. Jain (Eds.): Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV. Springer 2005, ISBN 3-540-28897-X
Contents

3685

Vladimir Gorodetsky, Igor V. Kotenko, Victor A. Skormin (Eds.): Computer Network Security, Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 25-27, 2005, Proceedings. Springer 2005, ISBN 3-540-29113-X
Contents

3686

Sameer Singh, Maneesha Singh, Chidanand Apté, Petra Perner (Eds.): Pattern Recognition and Data Mining, Third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 22-25, 2005, Proceedings, Part I. Springer 2005, ISBN 3-540-28757-4
Contents

3687

Sameer Singh, Maneesha Singh, Chidanand Apté, Petra Perner (Eds.): Pattern Recognition and Data Mining, Third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 22-25, 2005, Proceedings, Part I. Springer 2005, ISBN 3-540-28757-4
Contents

3688

Rune Winther, Bjørn Axel Gran, Gustav Dahll (Eds.): Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings. Springer 2005, ISBN 3-540-29200-4
Contents

3689

Gary Geunbae Lee, Akio Yamada, Helen Meng, Sung-Hyon Myaeng (Eds.): Information Retrieval Technology, Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005, Proceedings. Springer 2005, ISBN 3-540-29186-5
Contents

3690

Michal Pechoucek, Paolo Petta, László Zsolt Varga (Eds.): Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings. Springer 2005, ISBN 3-540-29046-X
Contents

3691

André Gagalowicz, Wilfried Philips (Eds.): Computer Analysis of Images and Patterns, 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005, Proceedings. Springer 2005, ISBN 3-540-28969-0
Contents

3692

Rita Casadio, Gene Myers (Eds.): Algorithms in Bioinformatics, 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings. Springer 2005, ISBN 3-540-29008-7
Contents

3693

Anthony G. Cohn, David M. Mark (Eds.): Spatial Information Theory, International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings. Springer 2005, ISBN 3-540-28964-X
Contents

3694

Miroslaw Malek, Edgar Nett, Neeraj Suri (Eds.): Service Availability, Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers. Springer 2005, ISBN 3-540-29103-2
Contents

3695

Michael R. Berthold, Robert C. Glen, Kay Diederichs, Oliver Kohlbacher, Ingrid Fischer (Eds.): Computational Life Sciences, First International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005, Proceedings. Springer 2005, ISBN 3-540-29104-0
Contents

3696

Wlodzislaw Duch, Janusz Kacprzyk, Erkki Oja, Slawomir Zadrozny (Eds.): Artificial Neural Networks: Biological Inspirations - ICANN 2005, 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I. Springer 2005, ISBN 3-540-28752-3
Contents

3697

Wlodzislaw Duch, Janusz Kacprzyk, Erkki Oja, Slawomir Zadrozny (Eds.): Artificial Neural Networks: Formal Models and Their Applications - ICANN 2005, 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II. Springer 2005, ISBN 3-540-28755-8
Contents

3698

Ulrich Furbach (Ed.): KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings. Springer 2005, ISBN 3-540-28761-2
Contents

3699

Cristian Calude, Michael J. Dinneen, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg (Eds.): Unconventional Computation, 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, 2005, Proceedings. Springer 2005, ISBN 3-540-29100-8
Contents