Lecture Notes in Computer Science (LNCS), Volumes 5400-5499

5400

...

5401

Theodore P. Baker, Alain Bui, Sébastien Tixeuil (Eds.): Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings. Springer 2008, ISBN 978-3-540-92220-9
Contents

5402

Gérard P. Huet, Amba P. Kulkarni, Peter M. Scharf (Eds.): Sanskrit Computational Linguistics, First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers. Springer 2009, ISBN 978-3-642-00154-3
Contents

5403

Neil D. Jones, Markus Müller-Olm (Eds.): Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Springer 2009, ISBN 978-3-540-93899-6
Contents

5404

Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia (Eds.): SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Springer 2009, ISBN 978-3-540-95890-1
Contents

5405

Michael Fisher, Fariba Sadri, Michael Thielscher (Eds.): Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers. Springer 2009, ISBN 978-3-642-02733-8
Contents

5406

Amba P. Kulkarni, Gérard P. Huet (Eds.): Sanskrit Computational Linguistics, Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings. Springer 2009, ISBN 978-3-540-93884-2
Contents

5407

Sergei N. Artëmov, Anil Nerode (Eds.): Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Springer 2009, ISBN 978-3-540-92686-3
Contents

5408

Vijay K. Garg, Roger Wattenhofer, Kishore Kothapalli (Eds.): Distributed Computing and Networking, 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings. Springer 2009, ISBN 978-3-540-92294-0
Contents

5409

André Seznec, Joel S. Emer, Michael F. P. O'Boyle, Margaret Martonosi, Theo Ungerer (Eds.): High Performance Embedded Architectures and Compilers, Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings. Springer 2009, ISBN 978-3-540-92989-5
Contents

5410

...

5411

Robert O. Briggs, Pedro Antunes, Gert-Jan de Vreede, Aaron Read (Eds.): Groupware: Design, Implementation, and Use, 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers. Springer 2008, ISBN 978-3-540-92830-0
Contents

5412

Ioannis Tomkos, Maria Spyropoulou, Karin Ennse, Martin Köhn, Branko Mikac (Eds.): Towards Digital Optical Networks, COST Action 291 Final Report. Springer 2009, ISBN 978-3-642-01523-6
Contents

5413

Andrea De Lucia, Filomena Ferrucci (Eds.): Software Engineering, International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures. Springer 2009, ISBN 978-3-540-95887-1
Contents

5414

Toshikazu Wada, Fay Huang, Stephen Lin (Eds.): Advances in Image and Video Technology, Third Pacific Rim Symposium, PSIVT 2009, Tokyo, Japan, January 13-16, 2009. Proceedings. Springer 2009, ISBN 978-3-540-92956-7
Contents

5415

Eduardo César, Michael Alexander, Achim Streit, Jesper Larsson Träff, Christophe Cérin, Andreas Knüpfer, Dieter Kranzlmüller, Shantenu Jha (Eds.): Euro-Par 2008 Workshops - Parallel Processing, VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-00954-9
Contents

5416

Frank Nielsen (Ed.): Emerging Trends in Visual Computing, LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers. Springer 2009, ISBN 978-3-642-00825-2
Contents

5417

Ioannis G. Tollis, Maurizio Patrignani (Eds.): Graph Drawing, 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers. Springer 2009, ISBN 978-3-642-00218-2
Contents

5418

Andy Gill, Terrance Swift (Eds.): Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings. Springer 2009, ISBN 978-3-540-92994-9
Contents

5419

David R. Kaeli, Kai Sachs (Eds.): Computer Performance Evaluation and Benchmarking, SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings. Springer 2009, ISBN 978-3-540-93798-2
Contents

5420

Marina Lipshteyn, Vadim E. Levit, Ross M. McConnell (Eds.): Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday. Springer 2009, ISBN 978-3-642-02028-5
Contents

5421

Michel R. V. Chaudron (Ed.): Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers. Springer 2009, ISBN 978-3-642-01647-9
Contents

5422

Peter Bosch, David Gabelaia, Jérôme Lang (Eds.): Logic, Language, and Computation, 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers. Springer 2009, ISBN 978-3-642-00664-7
Contents

5423

Michael Leuschel, Heike Wehrheim (Eds.): Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00254-0
Contents

5424

Jobst Löffler, Markus Klann (Eds.): Mobile Response, Second International Workshop on Mobile Information Technology for Emergency Response, MobileResponse 2008. Bonn, Germany, May 29-30, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-00439-1
Contents

5425

Eitan Altman, Augustin Chaintreau (Eds.): Network Control and Optimization, Second Euro-NF Workshop, NET-COOP 2008, Paris, France, September 8-10, 2008. Revised Selected Papers. Springer 2009, ISBN 978-3-642-00392-9
Contents

5426

Evripidis Bampis, Martin Skutella (Eds.): Approximation and Online Algorithms, 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers. Springer 2009, ISBN 978-3-540-93979-5
Contents

5427

Konstantin Avrachenkov, Debora Donato, Nelly Litvak (Eds.): Algorithms and Models for the Web-Graph, 6th International Workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009. Proceedings. Springer 2009, ISBN 978-3-540-95994-6
Contents

5428

Jomi Fred Hübner, Eric T. Matson, Olivier Boissier, Virginia Dignum (Eds.): Coordination, Organizations, Institutions and Norms in Agent Systems IV, COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers. Springer 2009, ISBN 978-3-642-00442-1
Contents

5429

Fabio Massacci, Samuel T. Redwine Jr., Nicola Zannone (Eds.): Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00198-7
Contents

5430

Marina L. Gavrilova, Chih Jeng Kenneth Tan, Edward D. Moreno (Eds.): Transactions on Computational Science IV, Special Issue on Security in Computing. Springer 2009, ISBN 978-3-642-01003-3
Contents

5431

Sandip Das, Ryuhei Uehara (Eds.): WALCOM: Algorithms and Computation, Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00201-4
Contents

5432

Utz Roedig, Cormac J. Sreenan (Eds.): Wireless Sensor Networks, 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00223-6
Contents

5433

Sanjay Chawla, Takashi Washio, Shin-ichi Minato, Shusaku Tsumoto, Takashi Onoda, Seiji Yamada, Akihiro Inokuchi (Eds.): New Frontiers in Applied Data Mining, PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008. Revised Selected Papers. Springer 2009, ISBN 978-3-642-00398-1
Contents

5434

Svetozar Margenov, Lubin G. Vulkov, Jerzy Wasniewski (Eds.): Numerical Analysis and Its Applications, 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers. Springer 2009, ISBN 978-3-642-00463-6
Contents

5435

Volkmar Pipek, Mary Beth Rosson, Boris E. R. de Ruyter, Volker Wulf (Eds.): End-User Development, 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00425-4
Contents

5436

Bernhard Sendhoff, Edgar Körner, Olaf Sporns, Helge Ritter, Kenji Doya (Eds.): Creating Brain-Like Intelligence: From Basic Principles to Complex Intelligent Systems. Lecture Notes in Computer Science Vol. 5436 Springer 2009, ISBN 978-3-642-00615-9
Contents

5437

Dietmar Seipel, Michael Hanus, Armin Wolf (Eds.): Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers. Springer 2009, ISBN 978-3-642-00674-6
Contents

5438

Michael Hanus (Ed.): Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-00514-5
Contents

5439

Haizheng Zhang, Myra Spiliopoulou, Bamshad Mobasher, C. Lee Giles, Andrew McCallum, Olfa Nasraoui, Jaideep Srivastava, John Yen (Eds.): Advances in Web Mining and Web Usage Analysis, 9th International Workshop on Knowledge Discovery on the Web, WebKDD 2007, and 1st International Workshop on Social Networks Analysis, SNA-KDD 2007, San Jose, CA, USA, August 12-15, 2007. Revised Papers. Springer 2009, ISBN 978-3-642-00527-5
Contents

5440

Denis Lalanne, Jürg Kohlas (Eds.): Human Machine Interaction, Research Results of the MMI Program. Lecture Notes in Computer Science Vol. 5440 Springer 2009, ISBN 978-3-642-00436-0
Contents

5441

Tülay Adali, Christian Jutten, João Marcos Travassos Romano, Allan Kardec Barros (Eds.): Independent Component Analysis and Signal Separation, 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00598-5
Contents

5442

Koen V. Hindriks, Alexander Pokahr, Sebastian Sardiña (Eds.): Programming Multi-Agent Systems, 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers. Springer 2009, ISBN 978-3-642-03277-6
Contents

5443

Stanislaw Jarecki, Gene Tsudik (Eds.): Public Key Cryptography - PKC 2009, 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00467-4
Contents

5444

Omer Reingold (Ed.): Theory of Cryptography, 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00456-8
Contents

5445

Heiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra (Eds.): Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization. Lecture Notes in Computer Science Vol. 5445 Springer 2009, ISBN 978-3-642-01906-7
Contents

5446

Qing Li, Ling Feng, Jian Pei, Xiaoyang Sean Wang, Xiaofang Zhou, Qiao-Ming Zhu (Eds.): Advances in Data and Web Management, Joint International Conferences, APWeb/WAIM 2009, Suzhou, China, April 2-4, 2009, Proceedings. Springer 2009, ISBN 978-3-642-00671-5
Contents

5447

Hiromitsu Hattori, Takahiro Kawamura, Tsuyoshi Idé, Makoto Yokoo, Yohei Murakami (Eds.): New Frontiers in Artificial Intelligence, JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-00608-1
Contents

5448

Sue B. Moon, Renata Teixeira, Steve Uhlig (Eds.): Passive and Active Network Measurement, 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00974-7
Contents

5449

Alexander F. Gelbukh (Ed.): Computational Linguistics and Intelligent Text Processing, 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00381-3
Contents

5450

Hyoung-Joong Kim, Stefan Katzenbeisser, Anthony Tung Shuen Ho (Eds.): Digital Watermarking, 7th International Workshop, IWDW 2008, Busan, Korea, November 10-12, 2008. Selected Papers. Springer 2009, ISBN 978-3-642-04437-3
Contents

5451

Feng Bao, Hui Li, Guilin Wang (Eds.): Information Security Practice and Experience, 5th International Conference, ISPEC 2009, Xi'an, China, April 13-15, 2009, Proceedings. Springer 2009, ISBN 978-3-642-00842-9
Contents

5452

Dragan Gasevic, Ralf Lämmel, Eric Van Wyk (Eds.): Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers. Springer 2009, ISBN 978-3-642-00433-9
Contents

5453

Jürgen Becker, Roger Woods, Peter M. Athanas, Fearghal Morgan (Eds.): Reconfigurable Computing: Architectures, Tools and Applications, 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00640-1
Contents

5454

Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (Eds.): Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science Vol. 5454 Springer 2009, ISBN 978-3-642-00866-5
Contents

5455

Mladen Berekovic, Christian Müller-Schloer, Christian Hochberger, Stephan Wong (Eds.): Architecture of Computing Systems - ARCS 2009, 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00453-7
Contents

5456

Francesco Bonchi, Elena Ferrari, Wei Jiang, Bradley Malin (Eds.): Privacy, Security, and Trust in KDD, Second ACM SIGKDD International Workshop, PinKDD 2008, Las Vegas, NV, USA, August 24, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-01717-9
Contents

5457

Adrian Horia Dediu, Armand-Mihai Ionescu, Carlos Martín-Vide (Eds.): Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00981-5
Contents

5458

...

5459

Wenjie Li, Diego Mollá Aliod (Eds.): Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy, 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00830-6
Contents

5460

Kurt Jensen, Wil M. P. van der Aalst (Eds.): Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems. Springer 2009, ISBN 978-3-642-00898-6
Contents

5461

Pil Joong Lee, Jung Hee Cheon (Eds.): Information Security and Cryptology - ICISC 2008, 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-00729-3
Contents

5462

Sanguthevar Rajasekaran (Ed.): Bioinformatics and Computational Biology, First International Conference, BICoB 2009, New Orleans, LA, USA, April 8-10, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00726-2
Contents

5463

Xiaofang Zhou, Haruo Yokota, Ke Deng, Qing Liu (Eds.): Database Systems for Advanced Applications, 14th International Conference, DASFAA 2009, Brisbane, Australia, April 21-23, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00886-3
Contents

5464

Rui Valadas, Paulo Salvador (Eds.): Traffic Management and Traffic Engineering for the Future Internet, First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 11-12, Revised Selected Papers. Springer 2009, ISBN 978-3-642-04575-2
Contents

5465

Debbie Richards, Byeong Ho Kang (Eds.): Knowledge Acquisition: Approaches, Algorithms and Applications, Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-01714-8
Contents

5466

Flaminio Squazzoni (Ed.): Epistemological Aspects of Computer Simulation in the Social Sciences, Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers. Springer 2009, ISBN 978-3-642-01108-5
Contents

5467

Matthias Ehrgott, Carlos M. Fonseca, Xavier Gandibleux, Jin-Kao Hao, Marc Sevaux (Eds.): Evolutionary Multi-Criterion Optimization, 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01019-4
Contents

5468

John Domingue, Dieter Fensel, Paolo Traverso (Eds.): Future Internet - FIS 2008, First Future Internet Symposium, FIS 2008, Vienna, Austria, September 29-30, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-00984-6
Contents

5469

Rupak Majumdar, Paulo Tabuada (Eds.): Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00601-2
Contents

5470

Per Stenström (Ed.): Transactions on High-Performance Embedded Architectures and Compilers II . Springer 2009, ISBN 978-3-642-00903-7
Contents

5471

Liqun Chen, Chris J. Mitchell, Andrew Martin (Eds.): Trusted Computing, Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings. Springer 2009, ISBN 978-3-642-00586-2
Contents

5472

George Feuerlicht, Winfried Lamersdorf (Eds.): Service-Oriented Computing - ICSOC 2008 Workshops, ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-01246-4
Contents

5473

Marc Fischlin (Ed.): Topics in Cryptology - CT-RSA 2009, The Cryptographers' Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00861-0
Contents

5474

Christos Kaklamanis, Flemming Nielson (Eds.): Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-00944-0
Contents

5475

Patrick Eugster (Ed.): Object-Oriented Technology. ECOOP 2008 Workshop Reader, ECOOP 2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports. Springer 2009, ISBN 978-3-642-02046-9
Contents

5476

Thanaruk Theeramunkong, Boonserm Kijsirikul, Nick Cercone, Tu Bao Ho (Eds.): Advances in Knowledge Discovery and Data Mining, 13th Pacific-Asia Conference, PAKDD 2009, Bangkok, Thailand, April 27-30, 2009, Proceedings. Springer 2009, ISBN 978-3-642-01306-5
Contents

5477

Hsinchun Chen, Christopher C. Yang, Michael Chau, Shu-Hsing Li (Eds.): Intelligence and Security Informatics, Pacific Asia Workshop, PAISI 2009, Bangkok, Thailand, April 27, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01392-8
Contents

5478

Mohand Boughanem, Catherine Berrut, Josiane Mothe, Chantal Soulé-Dupuy (Eds.): Advances in Information Retrieval, 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00957-0
Contents

5479

Antoine Joux (Ed.): Advances in Cryptology - EUROCRYPT 2009, 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01000-2
Contents

5480

Stefano Spaccapietra (Ed.): Journal on Data Semantics XII. Springer 2009, ISBN 978-3-642-00684-5
Contents

5481

Leonardo Vanneschi, Steven Gustafson, Alberto Moraglio, Ivanoe De Falco, Marc Ebner (Eds.): Genetic Programming, 12th European Conference, EuroGP 2009, Tübingen, Germany, April 15-17, 2009, Proceedings. Springer 2009, ISBN 978-3-642-01180-1
Contents

5482

Carlos Cotta, Peter I. Cowling (Eds.): Evolutionary Computation in Combinatorial Optimization, 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01008-8
Contents

5483

Clara Pizzuti, Marylyn D. Ritchie, Mario Giacobini (Eds.): Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, 7th European Conference, EvoBIO 2009, Tübingen, Germany, April 15-17, 2009, Proceedings. Springer 2009, ISBN 978-3-642-01183-2
Contents

5484

Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni A. Di Caro, Anikó Ekárt, Anna Esparcia-Alcázar, Muddassar Farooq, Andreas Fink, Penousal Machado, Jon McCormack, Michael O'Neill, Ferrante Neri, Mike Preuss, Franz Rothlauf, Ernesto Tarantino, Shengxiang Yang (Eds.): Applications of Evolutionary Computing, EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tübingen, Germany, April 15-17, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01128-3
Contents

5485

Alexander Artikis, Gauthier Picard, Laurent Vercouter (Eds.): Engineering Societies in the Agents World IX, 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-02561-7
Contents

5486

Andrea Corradini, Ugo Montanari (Eds.): Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-03428-2
Contents

5487

Moti Yung, Peng Liu, Dongdai Lin (Eds.): Information Security and Cryptology, 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-01439-0
Contents

5488

Francesco Masulli, Roberto Tagliaferri, Gennady Verkhivker (Eds.): Computational Intelligence Methods for Bioinformatics and Biostatistics, 5th International Meeting, CIBB 2008, Vietri sul Mare, Italy, October 3-4, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-02503-7
Contents

5489

Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe (Eds.): Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers. Springer 2009, ISBN 978-3-642-03091-8
Contents

5490

Awais Rashid, Harold Ossher (Eds.): Transactions on Aspect-Oriented Software Development V. Springer 2009, ISBN 978-3-642-02058-2
Contents

5491

Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli (Eds.): Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers. Springer 2009
Contents

5492

Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein (Eds.): Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers. Springer 2009, ISBN 978-3-642-01590-8
Contents

5493

Sølvi Ystad, Richard Kronland-Martinet, Kristoffer Jensen (Eds.): Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music, 5th International Symposium, CMMR 2008, Copenhagen, Denmark, May 19-23, 2008, Revised Papers. Springer 2009, ISBN 978-3-642-02517-4
Contents

5494

Peter Bruza, Donald Sofge, William F. Lawless, Keith van Rijsbergen, Matthias Klusch (Eds.): Quantum Interaction, Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings. Springer 2009, ISBN 978-3-642-00833-7
Contents

5495

Mikko Kolehmainen, Pekka J. Toivanen, Bartlomiej Beliczynski (Eds.): Adaptive and Natural Computing Algorithms, 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers. Springer 2009, ISBN 978-3-642-04920-0
Contents

5496

André Gagalowicz, Wilfried Philips (Eds.): Computer Vision/Computer Graphics Collaboration Techniques, 4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009. Proceedings. Springer 2009, ISBN 978-3-642-01810-7
Contents

5497

Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro (Eds.): Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-02443-6
Contents

5498

...

5499

Giovanni Pezzulo, Martin V. Butz, Olivier Sigaud, Gianluca Baldassarre (Eds.): Anticipatory Behavior in Adaptive Learning Systems, From Psychological Theories to Artificial Cognitive Systems [4th Workshop on Anticipatory Behavior in Adaptive Learning Systems, ABiALS 2008, Munich, Germany, June 26-27, 2008]. Springer 2009, ISBN 978-3-642-02564-8
Contents