Lecture Notes in Computer Science (LNCS), Volumes 3300-3399

3300

Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub (Eds.): Inconsistency Tolerance [result from a Dagstuhl seminar]. Springer 2005, ISBN 3-540-24260-0
Contents

3301

Gabriele Kern-Isberner, Wilhelm Rödder, Friedhelm Kulmann (Eds.): Conditionals, Information, and Inference, International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers. Springer 2005, ISBN 978-3-540-25332-7
Contents

3302

Wei-Ngan Chin (Ed.): Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings. Springer 2004, ISBN 3-540-23724-0
Contents

3303

Jesús A. López, Emilio Benfenati, Werner Dubitzky (Eds.): Knowledge Exploration in Life Science Informatics, International Symposium,KELSI 2004, Milan, Italy, November 25-26, 2004, Proceedings. Springer 2004, ISBN 3-540-23927-8
Contents

3304

Ingemar J. Cox, Ton Kalker, Heung-Kyu Lee (Eds.): Digital Watermarking, Third InternationalWorkshop, IWDW 2004, Seoul, SouthKorea, October 30 - November 1, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-24839-0
Contents

3305

Peter M. A. Sloot, Bastien Chopard, Alfons G. Hoekstra (Eds.): Cellular Automata, 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004, Proceedings. Springer 2004, ISBN 3-540-23596-5
Contents

3306

Xiaofang Zhou, Stanley Y. W. Su, Mike P. Papazoglou, Maria E. Orlowska, Keith G. Jeffery (Eds.): Web Information Systems - WISE 2004, 5th International Conference on Web Information Systems Engineering, Brisbane, Australia, November 22-24, 2004, Proceedings. Springer 2004, ISBN 3-540-23894-8
Contents

3307

Christoph Bussler, Suk-ki Hong, Woochun Jun, Roland Kaschek, Kinshuk, Shonali Krishnaswamy, Seng Wai Loke, Daniel Oberle, Debbie Richards, Amit Sharma, York Sure, Bernhard Thalheim (Eds.): Web Information Systems - WISE 2004 Workshops: WISE 2004 International Workshops, Brisbane, Australia, November 22-24, 2004. Proceedings. Springer 2004, ISBN 3-540-23892-1
Contents

3308

Jim Davies, Wolfram Schulte, Michael Barnett (Eds.): Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings. Springer 2004, ISBN 3-540-23841-7
Contents

3309

Chi-Hung Chi, Kwok-Yan Lam (Eds.): Content Computing, Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China, November 15-17, 2004, Proceedings. Springer 2004, ISBN 3-540-23898-0
Contents

3310

Uffe Kock Wiil (Ed.): Computer Music Modeling and Retrieval: Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004, Revised Papers. Springer 2005, ISBN 3-540-24458-1
Contents

3311

Vincent Roca, Franck Rousseau (Eds.): Interactive Multimedia and Next Generation Networks: Second International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2004, Grenoble, France, November 16-19, 2004. Proceedings. Springer 2004, ISBN 3-540-23928-6
Contents

3312

Alan J. Hu, Andrew K. Martin (Eds.): Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings. Springer 2004, ISBN 3-540-23738-0
Contents

3313

Claude Castelluccia, Hannes Hartenstein, Christof Paar, Dirk Westhoff (Eds.): Security in Ad-hoc and Sensor Networks, First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-24396-8
Contents

3314

Jun Zhang, Ji-Huan He, Yuxi Fu (Eds.): Computational and Information Science, First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings. Springer 2004, ISBN 3-540-24127-2
Contents

3315

Christian Lemaître, Carlos A. Reyes, Jesús A. González (Eds.): Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, México, November 22-26, 2004, Proceedings. Springer 2004, ISBN 3-540-23806-9
Contents

3316

Nikhil R. Pal, Nikola Kasabov, Rajani K. Mudi, Srimanta Pal, Swapan K. Parui (Eds.): Neural Information Processing, 11th International Conference, ICONIP 2004, Calcutta, India, November 22-25, 2004, Proceedings. Springer 2004, ISBN 3-540-23931-6
Contents

3317

Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu (Eds.): Implementation and Application of Automata, 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers. Springer 2004, ISBN 3-540-24318-6
Contents

3318

Eleazar Eskin, Christopher T. Workman (Eds.): Regulatory Genomics, RECOMB 2004 International Workshop, RRG 2004, San Diego, CA, USA, March 26-27, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-24456-5
Contents

3319

Daniel Amyot, Alan W. Williams (Eds.): System Analysis and Modeling, 4th International SDL and MSCWorkshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-24561-8
Contents

3320

Kim-Meow Liew, Hong Shen, Simon See, Wentong Cai, Pingzhi Fan, Susumu Horiguchi (Eds.): Parallel and Distributed Computing: Applications and Technologies, 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004, Proceedings. Springer 2004, ISBN 3-540-24013-6
Contents

3321

Michael J. Maher (Ed.): Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings. Springer 2004, ISBN 3-540-24087-X
Contents

3322

Reinhard Klette, Jovisa D. Zunic (Eds.): Combinatorial Image Analysis, 10th InternationalWorkshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings. Springer 2004, ISBN 3-540-23942-1
Contents

3323

Grigoris Antoniou, Harold Boley (Eds.): Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings. Springer 2004, ISBN 3-540-23842-5
Contents

3324

Ming-Chien Shan, Umeshwar Dayal, Meichun Hsu (Eds.): Technologies for E-Services, 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-25049-2
Contents

3325

Chae Hoon Lim, Moti Yung (Eds.): Information Security Applications, 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers. Springer 2004, ISBN 3-540-24015-2
Contents

3326

Nabanita Das, Arunabha Sen, Sajal K. Das, Bhabani P. Sinha (Eds.): Distributed Computing - IWDC 2004, 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings. Springer 2004, ISBN 3-540-24076-4
Contents

3327

Yong Shi, Weixuan Xu, Zhengxin Chen (Eds.): Data Mining and Knowledge Management, Chinese Academy of Sciences Symposium, CASDMKM 2004, Beijing, China, July 12-14, 2004, Revised Papers. Springer 2004, ISBN 3-540-23987-1
Contents

3328

Kamal Lodaya, Meena Mahajan (Eds.): FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings. Springer 2004, ISBN 3-540-24058-6
Contents

3329

Pil Joong Lee (Ed.): Advances in Cryptology - ASIACRYPT 2004, 10th International Conference on the Theory and Application of Cryptology and Information Security, Jeju Island, Korea, December 5-9, 2004, Proceedings. Springer 2004, ISBN 3-540-23975-8
Contents

3330

Jin Akiyama, Edy Tri Baskoro, Mikio Kano (Eds.): Combinatorial Geometry and Graph Theory, Indonesia-Japan Joint Conference,IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers. Springer 2005, ISBN 3-540-24401-8
Contents

3331

Kiyoharu Aizawa, Yuichi Nakamura, Shin'ichi Satoh (Eds.): Advances in Multimedia Information Processing - PCM 2004, 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, Proceedings, Part I. Springer 2004, ISBN 3-540-23974-X
Contents

3332

Kiyoharu Aizawa, Yuichi Nakamura, Shin'ichi Satoh (Eds.): Advances in Multimedia Information Processing - PCM 2004, 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, Proceedings, Part II. Springer 2004, ISBN 3-540-23977-4
Contents

3333

Kiyoharu Aizawa, Yuichi Nakamura, Shin'ichi Satoh (Eds.): Advances in Multimedia Information Processing - PCM 2004, 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, Proceedings, Part III. Springer 2004, ISBN 3-540-23985-5
Contents

3334

Zhaoneng Chen, Hsinchun Chen, Qihao Miao, Yuxi Fu, Edward A. Fox, Ee-Peng Lim (Eds.): Digital Libraries: International Collaboration and Cross-Fertilization, 7th International Conference on Asian Digital Libraries, ICADL 2004, Shanghai, China, December 13-17, 2004, Proceedings. Springer 2004, ISBN 3-540-24030-6
Contents

3335

Miroslaw Malek, Manfred Reitenspieß, Jörg Kaiser (Eds.): Service Availability, First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-24420-4
Contents

3336

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

3337

José María Barreiro, Fernando Martín-Sánchez, Victor Maojo, Ferran Sanz (Eds.): Biological and Medical Data Analysis, 5th International Symposium, ISBMDA 2004, Barcelona, Spain, November 18-19, 2004, Proceedings. Springer 2004, ISBN 3-540-23964-2
Contents

3338

Stan Z. Li, Jian-Huang Lai, Tieniu Tan, Guo-Can Feng, Yangsheng Wang (Eds.): Advances in Biometric Person Authentication, 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004, Proceedings. Springer 2004, ISBN 3-540-24029-2
Contents

3339

Geoffrey I. Webb, Xinghuo Yu (Eds.): AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings. Springer 2004, ISBN 3-540-24059-4
Contents

3340

Cristian Calude, Elena Calude, Michael J. Dinneen (Eds.): Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings. Springer 2004, ISBN 3-540-24014-4
Contents

3341

Rudolf Fleischer, Gerhard Trippen (Eds.): Algorithms and Computation, 15th International Symposium, ISAAC 2004, HongKong, China, December 20-22, 2004, Proceedings. Springer 2004, ISBN 3-540-24131-0
Contents

3342

Erol Sahin, William M. Spears (Eds.): Swarm Robotics, SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-24296-1
Contents

3343

Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky (Eds.): Spatial Cognition IV: Reasoning, Action, Interaction, International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, RevisedSelected Papers. Springer 2004, ISBN 3-540-25048-4
Contents

3344

Jacques Malenfant, Bjarte M. Østvold (Eds.): Object-Oriented Technology: ECOOP 2004 Workshop Reader, ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports. Springer 2005, ISBN 3-540-23988-X
Contents

3345

Yang Cai (Ed.): Ambient Intelligence for Scientific Discovery - Foundations, Theories, andSystems [outcome of the SIGCHI Workshop, Vienna, April 25, 2004]. Springer 2005, ISBN 3-540-24466-2,3-540-23356-3
Contents

3346

Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni (Eds.): Programming Multi-Agent Systems, Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004 Selected Revised and Invited Papers. Springer 2005, ISBN 3-540-24559-6
Contents

3347

R. K. Ghosh, Hrushikesha Mohanty (Eds.): Distributed Computing and Internet Technology, First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004, Proceedings. Springer 2004, ISBN 3-540-24075-6
Contents

3348

Anne Canteaut, Kapalee Viswanathan (Eds.): Progress in Cryptology - INDOCRYPT 2004, 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004, Proceedings. Springer 2004, ISBN 3-540-24130-2
Contents

3349

Barbara M. Chapman (Ed.): Shared Memory Parallel Programming with OpenMP, 5th International Workshopon OpenMP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004,Revised Selected Papers. Springer 2005, ISBN 3-540-24560-X
Contents

3350

Manuel V. Hermenegildo, Daniel Cabeza (Eds.): Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings. Springer 2005, ISBN 3-540-24362-3
Contents

3351

Giuseppe Persiano, Roberto Solis-Oba (Eds.): Approximation and Online Algorithms, Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-24574-X
Contents

3352

Carlo Blundo, Stelvio Cimato (Eds.): Security in Communication Networks, 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-24301-1
Contents

3353

Juraj Hromkovic, Manfred Nagl, Bernhard Westfechtel (Eds.): Graph-Theoretic Concepts in Computer Science, 30th International Workshop,WG 2004, Bad Honnef, Germany, June 21-23, 2004, Revised Papers. Springer 2004, ISBN 3-540-24132-9
Contents

3354

Maurice Margenstern (Ed.): Machines, Computations, and Universality, 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-25261-4
Contents

3355

Roderick Murray-Smith, Robert Shorten (Eds.): Switching and Learning in Feedback Systems, European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers. Springer 2005, ISBN 3-540-24457-3
Contents

3356

Gautam Das, Ved Prakash Gulati (Eds.): Intelligent Information Technology, 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings. Springer 2004, ISBN 3-540-24126-4
Contents

3357

Helena Handschuh, M. Anwar Hasan (Eds.): Selected Areas in Cryptography, 11th International Workshop, SAC 2004, Waterloo, Canada, August 9-10, 2004, Revised Selected Papers. Springer 2004, ISBN 3-540-24327-5
Contents

3358

Jiannong Cao, Laurence Tianruo Yang, Minyi Guo, Francis Chi-Moon Lau (Eds.): Parallel and Distributed Processing and Applications, Second InternationalSymposium, ISPA 2004, Hong Kong, China, December 13-15, 2004, Proceedings. Springer 2004, ISBN 3-540-24128-0
Contents

3359

Gunter Grieser, Yuzuru Tanaka (Eds.): Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets, International Workshop, Dagstuhl Castle, Germany, March 1-5, 2004, Revised Selected Papers. Springer 2004, ISBN 3-540-24465-4
Contents

3360

Stefano Spaccapietra, Elisa Bertino, Sushil Jajodia, Roger King, Dennis McLeod, Maria E. Orlowska, Leon Strous (Eds.): Journal on Data Semantics II. Springer 2005, ISBN 3-540-24208-2
Contents

3361

Samy Bengio, Hervé Bourlard (Eds.): Machine Learning for Multimodal Interaction, First International Workshop,MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers. Springer 2004, ISBN 3-540-24509-X
Contents

3362

Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (Eds.): Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-24287-2
Contents

3363

Thomas Eiter, Leonid Libkin (Eds.): Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings. Springer 2005, ISBN 3-540-24288-0
Contents

3364

Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe (Eds.): Security Protocols, 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers. Springer 2005, ISBN 3-540-28389-7
Contents

3365

Giancarlo Mauri, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa (Eds.): Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers. Springer 2005, ISBN 3-540-25080-8
Contents

3366

Iyad Rahwan, Pavlos Moraitis, Chris Reed (Eds.): Argumentation in Multi-Agent Systems, First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers. Springer 2005, ISBN 3-540-24526-X
Contents

3367

Wee Siong Ng, Beng Chin Ooi, Aris M. Ouksel, Claudio Sartori (Eds.): Databases, Information Systems, and Peer-to-Peer Computing - Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-25233-9
Contents

3368

Lucas Paletta, John K. Tsotsos, Erich Rome, Glyn W. Humphreys (Eds.): Attention and Performance in Computational Vision, Second International Workshop, WAPCV 2004, Prague, Czech Republic, May 15, 2004, Revised Selected Papers. Springer 2004, ISBN 3-540-24421-2
Contents

3369

V. Richard Benjamins, Pompeu Casanovas, Joost Breuker, Aldo Gangemi (Eds.): Law and the Semantic Web: Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications [outcome of the Workshop on Legal Ontologies and Web-Based Legal Information Management, June 28, 2003, Edinburgh, UK & International Seminar on Law and the Semantic Web, November 20-21, 2003, Barcelona, Spain]. 2005, ISBN 3-540-25063-8
Contents

3370

Akihiko Konagaya, Kenji Satou (Eds.): Grid Computing in Life Science, First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31 - June 1, 2004, Revised Selected andInvited Papers. Springer 2005, ISBN 3-540-25208-8
Contents

3371

Mike Barley, Nikola K. Kasabov (Eds.): Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-25340-8
Contents

3372

Christoph Bussler, Val Tannen, Irini Fundulaki (Eds.): Semantic Web and Databases, Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers. 2005, ISBN 3-540-24576-6
Contents

3373

Hans Dobbertin, Vincent Rijmen, Aleksandra Sowa (Eds.): Advanced Encryption Standard - AES, 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers. Springer 2005, ISBN 3-540-26557-0
Contents

3374

Danny Weyns, H. Van Dyke Parunak, Fabien Michel (Eds.): Environments for Multi-Agent Systems, First International Workshop, E4MAS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-24575-8
Contents

3375

Marco Ajmone Marsan, Giuseppe Bianchi, Marco Listanti, Michela Meo (Eds.): Quality of Service in Multiservice IP Networks, Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2005, Proceedings. Springer 2005, ISBN 3-540-24557-X
Contents

3376

Alfred Menezes (Ed.): Topics in Cryptology - CT-RSA 2005, The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings. Springer 2005, ISBN 3-540-24399-2
Contents

3377

Bart Goethals, Arno Siebes (Eds.): KDID 2004, Knowledge Discovery in Inductive Databases, Proceedings of the Third International Workshop on Knowledge Discovery inInductive Databases, Pisa, Italy, September 20, 2004, Revised Selected and Invited Papers. Springer 2005, ISBN 3-540-25082-4
Contents

3378

Joe Kilian (Ed.): Theory of Cryptography, Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005, Proceedings. Springer 2005, ISBN 3-540-24573-1
Contents

3379

Matthias Hemmje, Claudia Niederée, Thomas Risse (Eds.): From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments, Essays Dedicated to Erich J. Neuhold on the Occasion of His 65th Birthday. Springer 2005, ISBN 3-540-24551-0
Contents

3380

Corrado Priami (Ed.): Transactions on Computational Systems Biology I. Springer 2005, ISBN 3-540-25422-6
Contents

3381

Peter Vojtás, Mária Bieliková, Bernadette Charron-Bost, Ondrej Sýkora (Eds.): SOFSEM 2005: Theory and Practice of Computer Science, 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings. Springer 2005, ISBN 3-540-24302-X
Contents

3382

James Odell, Paolo Giorgini, Jörg P. Müller (Eds.): Agent-Oriented Software Engineering V, 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Springer 2004, ISBN 3-540-24286-4
Contents

3383

János Pach (Ed.): Graph Drawing, 12th International Symposium, GD 2004, New York, NY, USA, September 29 - October 2, 2004, Revised Selected Papers. Springer 2004, ISBN 3-540-24528-6
Contents

3384

Claudio Ferretti, Giancarlo Mauri, Claudio Zandron (Eds.): DNA Computing, 10th International Workshop on DNA Computing, DNA 10, Milan, Italy, June 7-10, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-26174-5
Contents

3385

Radhia Cousot (Ed.): Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings. Springer 2005, ISBN 3-540-24297-X
Contents

3386

Serge Vaudenay (Ed.): Public Key Cryptography - PKC 2005, 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005, Proceedings. Springer 2005, ISBN 3-540-24454-9
Contents

3387

Jorge Cardoso, Amit P. Sheth (Eds.): Semantic Web Services and Web Process Composition, First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papers. Springer 2004, ISBN 3-540-24328-3
Contents

3388

Jens Lagergren (Ed.): Comparative Genomics, RECOMB 2004 International Workshop, RCG 2004, Bertinoro, Italy, October 16-19, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-24455-7
Contents

3389

Peter Van Roy (Ed.): Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers. Springer 2005, ISBN 3-540-25079-4
Contents

3390

Ricardo Choren, Alessandro F. Garcia, Carlos José Pereira de Lucena, Alexander B. Romanovsky (Eds.): Software Engineering for Multi-Agent Systems III, Research Issues and Practical Applications [the book is a result of SELMAS 2004]. Springer 2005, ISBN 3-540-24843-9
Contents

3391

Cheeha Kim (Ed.): Information Networking, Convergence in Broadband and Mobile Networking, International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005, Proceedings. Springer 2005, ISBN 3-540-24467-0
Contents

3392

Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein (Eds.): Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-25560-5
Contents

3393

Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (Eds.): Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday. Springer 2005, ISBN 3-540-24936-2
Contents

3394

Daniel Kudenko, Dimitar Kazakov, Eduardo Alonso (Eds.): Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning. Springer 2005, ISBN 3-540-25260-6
Contents

3395

Jens Grabowski, Brian Nielsen (Eds.): Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-25109-X
Contents

3396

Rogier M. van Eijk, Marc-Philippe Huget, Frank Dignum (Eds.): Agent Communication, International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers. Springer 2005, ISBN 3-540-25015-8
Contents

3397

Tag Gon Kim (Ed.): Artificial Intelligence and Simulation, 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-24476-X
Contents

3398

Doo-Kwon Baik (Ed.): Systems Modeling and Simulation: Theory and Applications, Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers. Springer 2005, ISBN 3-540-24477-8
Contents

3399

Yanchun Zhang, Katsumi Tanaka, Jeffrey Xu Yu, Shan Wang, Minglu Li (Eds.): Web Technologies Research and Development - APWeb 2005, 7th Asia-Pacific Web Conference, Shanghai, China, March 29 - April 1, 2005, Proceedings. Springer 2005, ISBN 3-540-25207-X
Contents