Lecture Notes in Computer Science (LNCS), Volumes 4400-4499

4400

James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orlowska, Roman Slowinski, Wojciech Ziarko (Eds.): Transactions on Rough Sets VII, Commemorating the Life and Work of Zdzislaw Pawlak, Part II. Springer 2007, ISBN 978-3-540-71662-4
Contents

4401

Nicolas Guelfi, Didier Buchs (Eds.): Rapid Integration of Software Engineering Techniques, Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers. Springer 2007, ISBN 978-3-540-71875-8
Contents

4402

Weiming Shen, Junzhou Luo, Zongkai Lin, Jean-Paul A. Barthès, Qi Hao (Eds.): Computer Supported Cooperative Work in Design III, 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-72862-7
Contents

4403

Shigeru Obayashi, Kalyanmoy Deb, Carlo Poloni, Tomoyuki Hiroyasu, Tadahiko Murata (Eds.): Evolutionary Multi-Criterion Optimization, 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007, Proceedings. Springer 2007, ISBN 3-540-70927-4
Contents

4404

Simeon J. Simoff, Michael H. Böhlen, Arturas Mazeika (Eds.): Visual Data Mining - Theory, Techniques and Tools for Visual Analytics. Lecture Notes in Computer Science Vol. 4404 Springer 2008, ISBN 978-3-540-71079-0
Contents

4405

Lin Padgham, Franco Zambonelli (Eds.): Agent-Oriented Software Engineering VII, 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers. Springer 2007, ISBN 978-3-540-70944-2
Contents

4406

Wolfgang De Meuter (Ed.): Advances in Smalltalk, 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-71835-2
Contents

4407

Germán Puebla (Ed.): Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-71409-5
Contents

4408

Ricardo Choren, Alessandro F. Garcia, Holger Giese, Ho-fung Leung, Carlos José Pereira de Lucena, Alexander B. Romanovsky (Eds.): Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of SELMAS 2006]. Springer 2007, ISBN 978-3-540-73130-6
Contents

4409

José Luiz Fiadeiro, Pierre-Yves Schobbens (Eds.): Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-71997-7
Contents

4410

António Horta Branco (Ed.): Anaphora: Analysis, Algorithms and Applications, 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers. Springer 2007, ISBN 978-3-540-71411-8
Contents

4411

Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni (Eds.): Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers. Springer 2007, ISBN 978-3-540-71955-7
Contents

4412

Frank Stajano, Hyoung Joong Kim, Jong-Suk Chae, Seong-Dong Kim (Eds.): Ubiquitous Convergence Technology, First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-71788-1
Contents

4413

Marcin S. Szczuka, Daniel Howard, Dominik Slezak, Haeng-Kon Kim, Tai-Hoon Kim, Il Seok Ko, Geuk Lee, Peter M. A. Sloot (Eds.): Advances in Hybrid Information Technology, First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-77367-2
Contents

4414

Sepp Hochreiter, Roland Wagner (Eds.): Bioinformatics Research and Development, First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71232-9
Contents

4415

Paul Lukowicz, Lothar Thiele, Gerhard Tröster (Eds.): Architecture of Computing Systems - ARCS 2007, 20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71267-1
Contents

4416

Alberto Bemporad, Antonio Bicchi, Giorgio C. Buttazzo (Eds.): Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71492-7
Contents

4417

Andreas Kerren, Achim Ebert, Jörg Meyer (Eds.): Human-Centered Visualization Environments, GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Lectures. Springer 2007, ISBN 978-3-540-71948-9
Contents

4418

André Gagalowicz, Wilfried Philips (Eds.): Computer Vision/Computer Graphics Collaboration Techniques, Third International Conference, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71456-9
Contents

4419

Pedro C. Diniz, Eduardo Marques, Koen Bertels, Marcio Merino Fernandes, João M. P. Cardoso (Eds.): Reconfigurable Computing: Architectures, Tools and Applications, Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Springer 2007, ISBN 978-3-540-71430-9
Contents

4420

Shriram Krishnamurthi, Martin Odersky (Eds.): Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71228-2
Contents

4421

Rocco De Nicola (Ed.): Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71314-2
Contents

4422

Matthew B. Dwyer, Antónia Lopes (Eds.): Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71288-6
Contents

4423

Helmut Seidl (Ed.): Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71388-3
Contents

4424

Orna Grumberg, Michael Huth (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71208-4
Contents

4425

Giambattista Amati, Claudio Carpineto, Giovanni Romano (Eds.): Advances in Information Retrieval, 29th European Conference on IR Research, ECIR 2007, Rome, Italy, April 2-5, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71494-1
Contents

4426

Zhi-Hua Zhou, Hang Li, Qiang Yang (Eds.): Advances in Knowledge Discovery and Data Mining, 11th Pacific-Asia Conference, PAKDD 2007, Nanjing, China, May 22-25, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71700-3
Contents

4427

Steve Uhlig, Konstantina Papagiannaki, Olivier Bonaventure (Eds.): Passive and Active Network Measurement, 8th Internatinoal Conference, PAM 2007, Louvain-la-neuve, Belgium, April 5-6, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71616-7
Contents

4428

Stefan Edelkamp, Alessio Lomuscio (Eds.): Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers. Springer 2007, ISBN 978-3-540-74127-5
Contents

4429

Ruqian Lu, Jörg H. Siekmann, Carsten Ullrich (Eds.): Cognitive Systems, Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers. Springer 2007, ISBN 3-540-70933-9
Contents

4430

Christopher C. Yang, Daniel Dajun Zeng, Michael Chau, Kuiyu Chang, Qing Yang, Xueqi Cheng, Jue Wang, Fei-Yue Wang, Hsinchun Chen (Eds.): Intelligence and Security Informatics, Pacific Asia Workshop, PAISI 2007, Chengdu, China, April 11-12, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71548-1
Contents

4431

Bartlomiej Beliczynski, Andrzej Dzielinski, Marcin Iwanowski, Bernardete Ribeiro (Eds.): Adaptive and Natural Computing Algorithms, 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I. Springer 2007, ISBN 978-3-540-71589-4
Contents

4432

Bartlomiej Beliczynski, Andrzej Dzielinski, Marcin Iwanowski, Bernardete Ribeiro (Eds.): Adaptive and Natural Computing Algorithms, 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II. Springer 2007, ISBN 978-3-540-71590-0
Contents

4433

Erol Sahin, William M. Spears, Alan F. T. Winfield (Eds.): Swarm Robotics, Second International Workshop, SAB 2006, Rome, Italy, September 30-October 1, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-71540-5
Contents

4434

Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi (Eds.): RoboCup 2006: Robot Soccer World Cup X. Springer 2007, ISBN 978-3-540-74023-0
Contents

4435

Mitsu Okada, Ichiro Satoh (Eds.): Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers. Springer 2008, ISBN 978-3-540-77504-1
Contents

4436

Christopher R. Stephens, Marc Toussaint, L. Darrell Whitley, Peter F. Stadler (Eds.): Foundations of Genetic Algorithms, 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers. Springer 2007, ISBN 978-3-540-73479-6
Contents

4437

Jan Camenisch, Christian S. Collberg, Neil F. Johnson, Phil Sallee (Eds.): Information Hiding, 8th International Workshop, IH 2006, Alexandria, VA, USA, July 10-12, 2006. Revised Selcted Papers. Springer 2007, ISBN 978-3-540-74123-7
Contents

4438

Lutz Maicher, Alexander Sigel, Lars Marius Garshol (Eds.): Leveraging the Semantics of Topic Maps, Second International Conference on Topic Maps Research and Applications, TMRA 2006, Leipzig, Germany, October 11-12, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-71944-1
Contents

4439

Witold Abramowicz (Ed.): Business Information Systems, 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72034-8
Contents

4440

Ben Liblit: Cooperative Bug Isolation (Winning Thesis of the 2005 ACM Doctoral Dissertation Competition). Lecture Notes in Computer Science Vol. 4440 Springer 2007, ISBN 978-3-540-71877-2
Contents

4441

Christian Müller (Ed.): Speaker Classification II, Selected Projects. Springer 2007, ISBN 978-3-540-74121-3
Contents

4442

Luis Antunes, Keiki Takadama (Eds.): Multi-Agent-Based Simulation VII, International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers. Springer 2007, ISBN 978-3-540-76536-3
Contents

4443

Kotagiri Ramamohanarao, P. Radha Krishna, Mukesh K. Mohania, Ekawit Nantajeewarawat (Eds.): Advances in Databases: Concepts, Systems and Applications, 12th International Conference on Database Systems for Advanced Applications, DASFAA 2007, Bangkok, Thailand, April 9-12, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71702-7
Contents

4444

Thomas W. Reps, Mooly Sagiv, Jörg Bauer (Eds.): Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Springer 2007, ISBN 978-3-540-71315-9
Contents

4445

Marc Ebner, Michael O'Neill, Anikó Ekárt, Leonardo Vanneschi, Anna Esparcia-Alcázar (Eds.): Genetic Programming, 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71602-0
Contents

4446

Carlos Cotta, Jano I. van Hemert (Eds.): Evolutionary Computation in Combinatorial Optimization, 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71614-3
Contents

4447

Elena Marchiori, Jason H. Moore, Jagath C. Rajapakse (Eds.): Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics, 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71782-9
Contents

4448

Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni Di Caro, Rolf Drechsler, Muddassar Farooq, Andreas Fink, Evelyne Lutton, Penousal Machado, Stefan Minner, Michael O'Neill, Juan Romero, Franz Rothlauf, Giovanni Squillero, Hideyuki Takagi, Sima Uyar, Shengxiang Yang (Eds.): Applications of Evolutinary Computing, EvoWorkshops 2007: EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog, Valencia, Spain, April11-13, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71804-8
Contents

4449

Zoltán Horváth, Viktória Zsók, Andrew Butterfield (Eds.): Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-74129-9
Contents

4450

Tatsuaki Okamoto, Xiaoyun Wang (Eds.): Public Key Cryptography - PKC 2007, 10th International Conference on Practice and Theory in Public-Key Cryptography, Beijing, China, April 16-20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-71676-1
Contents

4451

Thomas S. Huang, Anton Nijholt, Maja Pantic, Alex Pentland (Eds.): Artifical Intelligence for Human Computing, ICMI 2006 and IJCAI 2007 International Workshops, Banff, Canada, November 3, 2006, Hyderabad, India, January 6, 2007, Revised Seleced and Invited Papers. Springer 2007, ISBN 978-3-540-72346-2
Contents

4452

Maria Fasli, Onn Shehory (Eds.): Agent-Mediated Electronic Commerce. Automated Negotiation and Strategy Design for Electronic Markets, AAMAS 2006 Workshop, TADA/AMEC 2006, Hakodate, Japan, May 9, 2006, Selected and Revised Papers. Lecture Notes in Computer Science 4452 Springer 2007, ISBN 978-3-540-72501-5

4453

Terence P. Speed, Haiyan Huang (Eds.): Research in Computational Molecular Biology, 11th Annual International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007, Proceedings. Springer 2007, ISBN 3-540-71680-7
Contents

4454

Yuri Gurevich, Bertrand Meyer (Eds.): Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers. Springer 2007, ISBN 978-3-540-73769-8
Contents

4455

Stephen Muggleton, Ramón P. Otero, Alireza Tamaddoni-Nezhad (Eds.): Inductive Logic Programming, 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-73846-6
Contents

4456

Yuping Wang, Yiu-ming Cheung, Hailin Liu (Eds.): Computational Intelligence and Security, International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-74376-7
Contents

4457

Gregory M. P. O'Hare, Alessandro Ricci, Michael J. O'Grady, Oguz Dikenelli (Eds.): Engineering Societies in the Agents World VII, 7th International Workshop, ESAW 2006, Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers. Springer 2007, ISBN 978-3-540-75522-7
Contents

4458

Jobst Löffler, Markus Klann (Eds.): Mobile Response, First International Workshop on Mobile Information Technology for Emergency Response, Mobile Response 2007, Sankt Augustin, Germany, February 22-23, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-75667-5
Contents

4459

Christophe Cérin, Kuan-Ching Li (Eds.): Advances in Grid and Pervasive Computing, Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72359-2
Contents

4460

Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra (Eds.): Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday. Springer 2007, ISBN 978-3-540-75938-6
Contents

4461

...

4462

Damien Sauveron, Constantinos Markantonakis, Angelos Bilas, Jean-Jacques Quisquater (Eds.): Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems, First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72353-0
Contents

4463

Ion I. Mandoiu, Alexander Zelikovsky (Eds.): Bioinformatics Research and Applications, Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72030-0
Contents

4464

Ed Dawson, Duncan S. Wong (Eds.): Information Security Practice and Experience, Third International Conference, ISPEC 2007, Hong Kong, China, May 7-9, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72159-8
Contents

4465

Tijani Chahed, Bruno Tuffin (Eds.): Network Control and Optimization, First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72708-8
Contents

4466

Frank B. Sachse, Gunnar Seemann (Eds.): Functional Imaging and Modeling of the Heart, 4th International Conference, FIMH 2007, Salt Lake City, UT, USA, June 7-9, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72906-8
Contents

4467

Amy L. Murphy, Jan Vitek (Eds.): Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72793-4
Contents

4468

Marcello M. Bonsangue, Einar Broch Johnsen (Eds.): Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72919-8
Contents

4469

Kin-Chuen Hui, Zhigeng Pan, Ronald Chi-kit Chung, Charlie C. L. Wang, Xiaogang Jin, Stefan Göbel, Eric C.-L. Li (Eds.): Technologies for E-Learning and Digital Entertainment, Second International Conference, Edutainment 2007, Hong Kong, China, June 11-13, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73010-1
Contents

4470

Qing Wang, Dietmar Pfahl, David M. Raffo (Eds.): Software Process Dynamics and Agility, International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72425-4
Contents

4471

Pablo César, Konstantinos Chorianopoulos, Jens F. Jensen (Eds.): Interactive TV: a Shared Experience, 5th European Conference, EuroITV 2007, Amsterdam, The Netherlands, May 24-25, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72558-9
Contents

4472

Michal Haindl, Josef Kittler, Fabio Roli (Eds.): Multiple Classifier Systems, 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72481-0
Contents

4473

Dirk Draheim, Gerald Weber (Eds.): Trends in Enterprise Application Architecture, 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-75911-9
Contents

4474

Giuseppe Prencipe, Shmuel Zaks (Eds.): Structural Information and Communication Complexity, 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72918-1
Contents

4475

Pierluigi Crescenzi, Giuseppe Prencipe, Geppino Pucci (Eds.): Fun with Algorithms, 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72913-6
Contents

4476

Vladimir Gorodetsky, Chengqi Zhang, Victor A. Skormin, Longbing Cao (Eds.): Autonomous Intelligent Systems: Multi-Agents and Data Mining, Second International Workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72838-2
Contents

4477

Joan Martí, José-Miguel Benedí, Ana Maria Mendonça, Joan Serrat (Eds.): Pattern Recognition and Image Analysis, Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part I. Springer 2007, ISBN 978-3-540-72846-7
Contents

4478

Joan Martí, José-Miguel Benedí, Ana Maria Mendonça, Joan Serrat (Eds.): Pattern Recognition and Image Analysis, Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part II. Springer 2007, ISBN 978-3-540-72848-1
Contents

4479

Ian F. Akyildiz, Raghupathy Sivakumar, Eylem Ekici, Jaudelice Cavalcante de Oliveira, Janise McNair (Eds.): NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet, 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72605-0
Contents

4480

Anthony LaMarca, Marc Langheinrich, Khai N. Truong (Eds.): Pervasive Computing, 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72036-2
Contents

4481

Jingtao Yao, Pawan Lingras, Wei-Zhi Wu, Marcin S. Szczuka, Nick Cercone, Dominik Slezak (Eds.): Rough Sets and Knowledge Technology, Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72457-5
Contents

4482

Aijun An, Jerzy Stefanowski, Sheela Ramanna, Cory J. Butz, Witold Pedrycz, Guoyin Wang (Eds.): Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72529-9
Contents

4483

Chitta Baral, Gerhard Brewka, John S. Schlipf (Eds.): Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72199-4
Contents

4484

Jin-yi Cai, S. Barry Cooper, Hong Zhu (Eds.): Theory and Applications of Models of Computation, 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72503-9
Contents

4485

Fiorella Sgallari, Almerico Murli, Nikos Paragios (Eds.): Scale Space and Variational Methods in Computer Vision, First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72822-1
Contents

4486

Marco Bernardo, Jane Hillston (Eds.): Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures. Springer 2007, ISBN 978-3-540-72482-7
Contents

4487

Yong Shi, G. Dick van Albada, Jack Dongarra, Peter M. A. Sloot (Eds.): Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I. Springer 2007, ISBN 978-3-540-72583-1
Contents

4488

Yong Shi, G. Dick van Albada, Jack Dongarra, Peter M. A. Sloot (Eds.): Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II. Springer 2007, ISBN 978-3-540-72585-5
Contents

4489

Yong Shi, G. Dick van Albada, Jack Dongarra, Peter M. A. Sloot (Eds.): Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III. Springer 2007, ISBN 978-3-540-72587-9
Contents

4490

Yong Shi, G. Dick van Albada, Jack Dongarra, Peter M. A. Sloot (Eds.): Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV. Springer 2007, ISBN 978-3-540-72589-3
Contents

4491

Derong Liu, Shumin Fei, Zeng-Guang Hou, Huaguang Zhang, Changyin Sun (Eds.): Advances in Neural Networks - ISNN 2007, 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I. Springer 2007, ISBN 978-3-540-72382-0
Contents

4492

Derong Liu, Shumin Fei, Zeng-Guang Hou, Huaguang Zhang, Changyin Sun (Eds.): Advances in Neural Networks - ISNN 2007, 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II. Springer 2007, ISBN 978-3-540-72392-9
Contents

4493

Derong Liu, Shumin Fei, Zeng-Guang Hou, Huaguang Zhang, Changyin Sun (Eds.): Advances in Neural Networks - ISNN 2007, 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III. Springer 2007, ISBN 978-3-540-72394-3
Contents

4494

Hai Jin, Omer F. Rana, Yi Pan, Viktor K. Prasanna (Eds.): Algorithms and Architectures for Parallel Processing, 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72904-4
Contents

4495

John Krogstie, Andreas L. Opdahl, Guttorm Sindre (Eds.): Advanced Information Systems Engineering, 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72987-7
Contents

4496

Ngoc Thanh Nguyen, Adam Grzech, Robert J. Howlett, Lakhmi C. Jain (Eds.): Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31- June 1, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72829-0
Contents

4497

S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (Eds.): Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73000-2
Contents

4498

Nabil Abdennadher, Fabrice Kordon (Eds.): Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73229-7
Contents

4499

Yun Q. Shi (Ed.): Transactions on Data Hiding and Multimedia Security II. Springer 2007, ISBN 978-3-540-73091-0
Contents