Lecture Notes in Computer Science (LNCS), Volumes 5500-5599

5500

François Bry, Jan Maluszynski (Eds.): Semantic Techniques for the Web, The REWERSE Perspective. Lecture Notes in Computer Science Vol. 5500 Springer 2009, ISBN 978-3-642-04580-6
Contents

5501

Oege de Moor, Michael I. Schwartzbach (Eds.): Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00721-7
Contents

5502

Giuseppe Castagna (Ed.): Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00589-3
Contents

5503

Marsha Chechik, Martin Wirsing (Eds.): Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00592-3
Contents

5504

Luca de Alfaro (Ed.): Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00595-4
Contents

5505

Stefan Kowalewski, Anna Philippou (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00767-5
Contents

5506

Mario Köppen, Nikola K. Kasabov, George G. Coghill (Eds.): Advances in Neuro-Information Processing, 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I. Springer 2009, ISBN 978-3-642-02489-4
Contents

5507

Mario Köppen, Nikola K. Kasabov, George G. Coghill (Eds.): Advances in Neuro-Information Processing, 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II. Springer 2009, ISBN 978-3-642-03039-0
Contents

5508

Roberto Setola, Stefan Geretshuber (Eds.): Critical Information Infrastructure Security, Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008. Revised Papers. Springer 2009, ISBN 978-3-642-03551-7
Contents

5509

Michael Kipp, Jean-Claude Martin, Patrizia Paggio, Dirk Heylen (Eds.): Multimodal Corpora - From Models of Natural Interaction to Systems and Applications. Lecture Notes in Computer Science Vol. 5509 Springer 2009, ISBN 978-3-642-04792-3
Contents

5510

Yun Q. Shi (Ed.): Transactions on Data Hiding and Multimedia Security IV. Springer 2009, ISBN 978-3-642-01756-8
Contents

5511

Pierpaolo Degano, Luca Viganò (Eds.): Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Springer 2009, ISBN 978-3-642-03458-9
Contents

5512

Martin Glinz, Patrick Heymans (Eds.): Requirements Engineering: Foundation for Software Quality, 15th International Working Conference, REFSQ 2009, Amsterdam, The Netherlands, June 8-9, 2009, Proceedings. Springer 2009, ISBN 978-3-642-02049-0
Contents

5513

Khalid Al-Begain, Dieter Fiems, Gábor Horváth (Eds.): Analytical and Stochastic Modeling Techniques and Applications, 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02204-3
Contents

5514

Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02260-9
Contents

5515

Jürgen Lerner, Dorothea Wagner, Katharina Anna Zweig (Eds.): Algorithmics of Large and Complex Networks - Design, Analysis, and Simulation [DFG priority program 1126]. Springer 2009, ISBN 978-3-642-02093-3
Contents

5516

Bhaskar Krishnamachari, Subhash Suri, Wendi Rabiner Heinzelman, Urbashi Mitra (Eds.): Distributed Computing in Sensor Systems, 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02084-1
Contents

5517

Joan Cabestany, Francisco Sandoval Hernández, Alberto Prieto, Juan M. Corchado (Eds.): Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I. Springer 2009, ISBN 978-3-642-02477-1
Contents

5518

Sigeru Omatu, Miguel Rocha, José Bravo, Florentino Fernández Riverola, Emilio Corchado, Andrés Bustillo, Juan M. Corchado (Eds.): Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II. Springer 2009, ISBN 978-3-642-02480-1
Contents

5519

Jon Atli Benediktsson, Josef Kittler, Fabio Roli (Eds.): Multiple Classifier Systems, 8th International Workshop, MCS 2009, Reykjavik, Iceland, June 10-12, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02325-5
Contents

5520

Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (Eds.): Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures. Springer 2009, ISBN 978-3-642-03152-6
Contents

5521

John Field, Vasco Thudichum Vasconcelos (Eds.): Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02052-0
Contents

5522

David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (Eds.): Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02137-4
Contents

5523

Twittie Senivongse, Rui Oliveira (Eds.): Distributed Applications and Interoperable Systems, 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings. 2009, ISBN 978-3-642-02163-3
Contents

5524

Helder Araújo, Ana Maria Mendonça, Armando J. Pinho, M. Inés Torres (Eds.): Pattern Recognition and Image Analysis, 4th Iberian Conference, IbPRIA 2009, Póvoa de Varzim, Portugal, June 10-12, 2009, Proceedings. Springer 2009, ISBN 978-3-642-02171-8
Contents

5525

Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (Eds.): Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]. Springer 2009, ISBN 978-3-642-02160-2
Contents

5526

Jan Vahrenhold (Ed.): Experimental Algorithms, 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02010-0
Contents

5527

Maria Bras-Amorós, Tom Høholdt (Eds.): Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 18th International Symposium, AAECC-18 2009, Tarragona, Catalonia, Spain, June 8-12, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02180-0
Contents

5528

Nicholas Ayache, Hervé Delingette, Maxime Sermesant (Eds.): Functional Imaging and Modeling of the Heart, 5th International Conference, FIMH 2009, Nice, France, June 3-5, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01931-9
Contents

5529

Nabil Abdennadher, Dana Petcu (Eds.): Advances in Grid and Pervasive Computing, 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01670-7
Contents

5530

...

5531

Andreas Butz, Brian D. Fisher, Marc Christie, Antonio Krüger, Patrick Olivier, Roberto Therón (Eds.): Smart Graphics, 9th International Symposium, SG 2009, Salamanca, Spain, May 28-30, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02114-5
Contents

5532

Jianer Chen, S. Barry Cooper (Eds.): Theory and Applications of Models of Computation, 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02016-2
Contents

5533

Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (Eds.): Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. Springer 2009, ISBN 978-3-642-01747-6
Contents

5534

Andrea Torsello, Francisco Escolano, Luc Brun (Eds.): Graph-Based Representations in Pattern Recognition, 7th IAPR-TC-15 International Workshop, GbRPR 2009, Venice, Italy, May 26-28, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02123-7
Contents

5535

Geert-Jan Houben, Gord I. McCalla, Fabio Pianesi, Massimo Zancanaro (Eds.): User Modeling, Adaptation, and Personalization, 17th International Conference, UMAP 2009, formerly UM and AH, Trento, Italy, June 22-26, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02246-3
Contents

5536

Michel Abdalla, David Pointcheval, Pierre-Alain Fouque, Damien Vergnaud (Eds.): Applied Cryptography and Network Security, 7th International Conference, ACNS 2009, Paris-Rocquencourt, France, June 2-5, 2009. Proceedings. 2009, ISBN 978-3-642-01956-2
Contents

5537

Maria Papadopouli, Philippe Owezarski, Aiko Pras (Eds.): Traffic Monitoring and Analysis, First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01644-8
Contents

5538

Hideyuki Tokuda, Michael Beigl, Adrian Friday, A. J. Bernheim Brush, Yoshito Tobe (Eds.): Pervasive Computing, 7th International Conference, Pervasive 2009, Nara, Japan, May 11-14, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01515-1
Contents

5539

Peter Reichl, Burkhard Stiller, Bruno Tuffin (Eds.): Network Economics for Next Generation Networks, 6th International Workshop on Internet Charging and Qos Technologies, ICQT 2009, Aachen, Germany, May 11-15, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01795-7
Contents

5540

Marina L. Gavrilova, Chih Jeng Kenneth Tan, Yingxu Wang, Keith C. C. Chan (Eds.): Transactions on Computational Science V, Special Issue on Cognitive Knowledge Representation. Springer 2009, ISBN 978-3-642-02096-4
Contents

5541

Serafim Batzoglou (Ed.): Research in Computational Molecular Biology, 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02007-0
Contents

5542

Ion I. Mandoiu, Giri Narasimhan, Yanqing Zhang (Eds.): Bioinformatics Research and Applications, 5th International Symposium, ISBRA 2009, Fort Lauderdale, FL, USA, May 13-16, 2009, Proceedings. Springer 2009, ISBN 978-3-642-01550-2
Contents

5543

Qing Wang, Vahid Garousi, Raymond J. Madachy, Dietmar Pfahl (Eds.): Trustworthy Software Development Processes, International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings. Springer 2009, ISBN 978-3-642-01679-0
Contents

5544

Marian Bubak, G. Dick van Albada, Jack Dongarra, Peter M. A. Sloot (Eds.): Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I. Springer 2008, ISBN 978-3-540-69383-3
Contents

5545

Marian Bubak, G. Dick van Albada, Jack Dongarra, Peter M. A. Sloot (Eds.): Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II. Springer 2008, ISBN 978-3-540-69386-4
Contents

5546

Hans van den Berg, Geert J. Heijenk, Evgeny Osipov, Dirk Staehle (Eds.): Wired/Wireless Internet Communications, 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02117-6
Contents

5547

Willem Jan van Hoeve, John N. Hooker (Eds.): Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings. Springer 2009, ISBN 978-3-642-01928-9
Contents

5548

Sébastien Ferré, Sebastian Rudolph (Eds.): Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings. Springer 2009, ISBN 978-3-642-01814-5
Contents

5549

Yong Gao, Nathalie Japkowicz (Eds.): Advances in Artificial Intelligence, 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009, Kelowna, Canada, May 25-27, 2009, Proceedings. Springer 2009, ISBN 978-3-642-01817-6
Contents

5550

Luigi Fratta, Henning Schulzrinne, Yutaka Takahashi, Otto Spaniol (Eds.): NETWORKING 2009, 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01398-0
Contents

5551

Wen Yu, Haibo He, Nian Zhang (Eds.): Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part I. Springer 2009, ISBN 978-3-642-01506-9
Contents

5552

Wen Yu, Haibo He, Nian Zhang (Eds.): Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part II. Springer 2009, ISBN 978-3-642-01509-0
Contents

5553

Wen Yu, Haibo He, Nian Zhang (Eds.): Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part III. Springer 2009, ISBN 978-3-642-01512-0
Contents

5554

Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, Elena Paslaru Bontas Simperl (Eds.): The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings. Springer 2009, ISBN 978-3-642-02120-6
Contents

5555

Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas (Eds.): Automata, Languages and Programming, 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I. Springer 2009, ISBN 978-3-642-02926-4
Contents

5556

Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas (Eds.): Automata, Languages and Programming, 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II. Springer 2009, ISBN 978-3-642-02929-5
Contents

5557

Yeow Meng Chee, Chao Li, San Ling, Huaxiong Wang, Chaoping Xing (Eds.): Coding and Cryptology, Second International Workshop, IWCC 2009, Zhangjiajie, China, June 1-5, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01813-8
Contents

5558

Massimo Tistarelli, Mark S. Nixon (Eds.): Advances in Biometrics, Third International Conference, ICB 2009, Alghero, Italy, June 2-5, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01792-6
Contents

5559

Anne Håkansson, Ngoc Thanh Nguyen, Ronald L. Hartung, Robert J. Howlett, Lakhmi C. Jain (Eds.): Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01664-6
Contents

5560

Shmuel Katz, Harold Ossher, Robert France, Jean-Marc Jézéquel (Eds.): Transactions on Aspect-Oriented Software Development VI, Special Issue on Aspects and Model-Driven Engineering. Lecture Notes in Computer Science 5560 Springer 2009, ISBN 978-3-642-03763-4 style="series">

5561

Tanzeem Choudhury, Aaron J. Quigley, Thomas Strang, Koji Suginuma (Eds.): Location and Context Awareness, 4th International Symposium, LoCA 2009, Tokyo, Japan, May 7-8, 2009, Proceedings. Springer 2009, ISBN 978-3-642-01720-9
Contents

5562

Richard F. Paige, Alan Hartman, Arend Rensink (Eds.): Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02673-7
Contents

5563

Richard F. Paige (Ed.): Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02407-8
Contents

5564

Andrew V. Goldberg, Yunhong Zhou (Eds.): Algorithmic Aspects in Information and Management, 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02157-2
Contents

5565

Pascal van Eck, Jaap Gordijn, Roel Wieringa (Eds.): Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02143-5
Contents

5566

Marianne Winslett (Ed.): Scientific and Statistical Database Management, 21st International Conference, SSDBM 2009, New Orleans, LA, USA, June 2-4, 2009, Proceedings. Springer 2009, ISBN 978-3-642-02278-4
Contents

5567

Xue-Cheng Tai, Knut Mørken, Marius Lysaker, Knut-Andreas Lie (Eds.): Scale Space and Variational Methods in Computer Vision, Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02255-5
Contents

5568

Matthias S. Müller, Bronis R. de Supinski, Barbara M. Chapman (Eds.): Evolving OpenMP in an Age of Extreme Parallelism, 5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009, Proceedings. Springer 2009, ISBN 978-3-642-02284-5
Contents

5569

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (Eds.): Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. Springer 2009, ISBN 978-3-642-01917-3
Contents

5570

Fabrice Kordon, Yvon Kermarrec (Eds.): Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01923-4
Contents

5571

Vito Di Gesù, Sankar K. Pal, Alfredo Petrosino (Eds.): Fuzzy Logic and Applications, 8th International Workshop, WILF 2009, Palermo, Italy, June 9-12, 2009, Proceedings. Springer 2009, ISBN 978-3-642-02281-4
Contents

5572

Emilio Corchado, Xindong Wu, Erkki Oja, Álvaro Herrero, Bruno Baruque (Eds.): Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02318-7
Contents

5573

Ding-Zhu Du, Xiaodong Hu, Panos M. Pardalos (Eds.): Combinatorial Optimization and Applications, Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02025-4
Contents

5574

Arrems Hua, Shih-Liang Chang (Eds.): Algorithms and Architectures for Parallel Processing, 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings. Springer 2009, ISBN 978-3-642-03094-9
Contents

5575

Arnt-Børre Salberg, Jon Yngve Hardeberg, Robert Jenssen (Eds.): Image Analysis, 16th Scandinavian Conference, SCIA 2009, Oslo, Norway, June 15-18, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02229-6
Contents

5576

Jong Hyuk Park, Hsiao-Hwa Chen, Mohammed Atiquzzaman, Changhoon Lee, Tai-Hoon Kim, Sang-Soo Yeo (Eds.): Advances in Information Security and Assurance, Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02616-4
Contents

5577

Gregory Kucherov, Esko Ukkonen (Eds.): Combinatorial Pattern Matching, 20th Annual Symposium, CPM 2009, Lille, France, June 22-24, 2009, Proceedings. Springer 2009, ISBN 978-3-642-02440-5
Contents

5578

Corina S. Pasareanu (Ed.): Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02651-5
Contents

5579

Been-Chian Chien, Tzung-Pei Hong, Shyi-Ming Chen, Moonis Ali (Eds.): Next-Generation Applied Intelligence, 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02567-9
Contents

5580

Bart Preneel (Ed.): Progress in Cryptology - AFRICACRYPT 2009, Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21-25, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02383-5
Contents

5581

Raffaela Mirandola, Ian Gorton, Christine Hofmeister (Eds.): Architectures for Adaptive Software Systems, 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings. Springer 2009, ISBN 978-3-642-02350-7
Contents

5582

Grace A. Lewis, Iman Poernomo, Christine Hofmeister (Eds.): Component-Based Software Engineering, 12th International Symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings. Springer 2009, ISBN 978-3-642-02413-9
Contents

5583

Volker Diekert, Dirk Nowotka (Eds.): Developments in Language Theory, 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02736-9
Contents

5584

Oliver Kullmann (Ed.): Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02776-5
Contents

5585

Daqing Zhang, Marius Portmann, Ah-Hwee Tan, Jadwiga Indulska (Eds.): Ubiquitous Intelligence and Computing, 6th International Conference, UIC 2009, Brisbane, Australia, July 7-9, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02829-8
Contents

5586

Wolfgang Reif, Guojun Wang, Jadwiga Indulska (Eds.): Autonomic and Trusted Computing, 6th International Conference, ATC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings. Springer 2009, ISBN 978-3-642-02703-1
Contents

5587

Ulrich Flegel, Danilo Bruschi (Eds.): Detection of Intrusions and Malware, and Vulnerability Assessment, 6th International Conference, DIMVA 2009, Como, Italy, July 9-10, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02917-2
Contents

5588

Alan P. Sexton (Ed.): Dataspace: The Final Frontier, 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02842-7
Contents

5589

Peng Wen, Yuefeng Li, Lech Polkowski, Yiyu Yao, Shusaku Tsumoto, Guoyin Wang (Eds.): Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02961-5
Contents

5590

Claudio Sossai, Gaetano Chemello (Eds.): Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02905-9
Contents

5591

...

5592

Osvaldo Gervasi, David Taniar, Beniamino Murgante, Antonio Laganà, Youngsong Mun, Marina L. Gavrilova (Eds.): Computational Science and Its Applications - ICCSA 2009, International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I. Springer 2009, ISBN 978-3-642-02453-5
Contents

5593

Osvaldo Gervasi, David Taniar, Beniamino Murgante, Antonio Laganà, Youngsong Mun, Marina L. Gavrilova (Eds.): Computational Science and Its Applications - ICCSA 2009, International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II. Springer 2009, ISBN 978-3-642-02456-6
Contents

5594

Colin Boyd, Juan Manuel González Nieto (Eds.): Information Security and Privacy, 14th Australasian Conference, ACISP 2009, Brisbane, Australia, July 1-3, 2009, Proceedings. Springer 2009, ISBN 978-3-642-02619-5
Contents

5595

Ralf Treinen (Ed.): Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings. Springer 2009, ISBN 978-3-642-02347-7
Contents

5596

Darren D. Cofer, Alessandro Fantechi (Eds.): Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-03239-4
Contents

5597

Mounir Mokhtari, Ismail Khalil, Jérémy Bauchet, Daqing Zhang, Chris D. Nugent (Eds.): Ambient Assistive Health and Wellness Management in the Heart of the City, 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02867-0
Contents

5598

Xiaotie Deng, John E. Hopcroft, Jinyun Xue (Eds.): Frontiers in Algorithmics, Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings. Springer 2009, ISBN 978-3-642-02269-2
Contents

5599

Claudio Bettini, Sushil Jajodia, Pierangela Samarati, Xiaoyang Sean Wang (Eds.): Privacy in Location-Based Applications, Research Issues and Emerging Trends [This book was partially born out of the First International Workshop on Privacy in Location-Based Applications (PiLBA 2008) held in Malaga, Spain, in October 2008, in conjunction with the 13th European Symposium on Research in Computer Security]. Springer 2009, ISBN 978-3-642-03510-4
Contents