Lecture Notes in Computer Science (LNCS), Volumes 5300-5399

5300

Marina L. Gavrilova, Chih Jeng Kenneth Tan (Eds.): Transactions on Computational Science III. Springer 2009, ISBN 978-3-642-00211-3
Contents

5301

Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter (Eds.): Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings. Springer 2008, ISBN 978-3-540-87874-2
Contents

5302

David A. Forsyth, Philip H. S. Torr, Andrew Zisserman (Eds.): Computer Vision - ECCV 2008, 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I. Springer 2008, ISBN 978-3-540-88681-5
Contents

5303

David A. Forsyth, Philip H. S. Torr, Andrew Zisserman (Eds.): Computer Vision - ECCV 2008, 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part II. Springer 2008, ISBN 978-3-540-88685-3
Contents

5304

David A. Forsyth, Philip H. S. Torr, Andrew Zisserman (Eds.): Computer Vision - ECCV 2008, 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part III. Springer 2008, ISBN 978-3-540-88689-1
Contents

5305

David A. Forsyth, Philip H. S. Torr, Andrew Zisserman (Eds.): Computer Vision - ECCV 2008, 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part IV. Springer 2008, ISBN 978-3-540-88692-1
Contents

5306

Chien-Chung Chan, Jerzy W. Grzymala-Busse, Wojciech Ziarko (Eds.): Rough Sets and Current Trends in Computing, 6th International Conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008, Proceedings. Springer 2008, ISBN 978-3-540-88423-1
Contents

5307

Monika Heiner, Adelinde M. Uhrmacher (Eds.): Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings. Springer 2008, ISBN 978-3-540-88561-0
Contents

5308

Liqun Chen, Mark Dermot Ryan, Guilin Wang (Eds.): Information and Communications Security, 10th International Conference, ICICS 2008, Birmingham, UK, October 20-22, 2008, Proceedings. Springer 2008, ISBN 978-3-540-88624-2
Contents

5309

Scott M. Stevens, Shirley J. Saldamarco (Eds.): Entertainment Computing - ICEC 2008, 7th International Conference, Pittsburgh, PA, USA, September 25-27, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89221-2
Contents

5310

Henning Schulzrinne, Radu State, Saverio Niccolini (Eds.): Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks, Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers. Springer 2008, ISBN 978-3-540-89053-9
Contents

5311

Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (Eds.): Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings. Springer 2008, ISBN 978-3-540-88386-9
Contents

5312

Kanta Matsuura, Eiichiro Fujisaki (Eds.): Advances in Information and Computer Security, Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89597-8
Contents

5313

Vittorio Maniezzo, Roberto Battiti, Jean-Paul Watson (Eds.): Learning and Intelligent Optimization, Second International Conference, LION 2007, Trento, Italy, December 8-12, 2007. Selected Papers. Springer 2008, ISBN 978-3-540-92694-8
Contents

5314

Caihua Xiong, Honghai Liu, Yongan Huang, Youlun Xiong (Eds.): Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part I. Springer 2008, ISBN 978-3-540-88512-2
Contents

5315

Caihua Xiong, Honghai Liu, Yongan Huang, Youlun Xiong (Eds.): Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part II. Springer 2008, ISBN 978-3-540-88516-0
Contents

5316

Egon Börger, Antonio Cisternino (Eds.): Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures. Springer 2008, ISBN 978-3-540-89761-3
Contents

5317

Alexander F. Gelbukh, Eduardo F. Morales (Eds.): MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings. Springer 2008, ISBN 978-3-540-88635-8
Contents

5318

Amit P. Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy W. Finin, Krishnaprasad Thirunarayan (Eds.): The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings. Springer 2008, ISBN 978-3-540-88563-4
Contents

5319

...

5320

Barbara Paech, Craig H. Martell (Eds.): Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers. Springer 2008, ISBN 978-3-540-89777-4
Contents

5321

Nick Bassiliades, Guido Governatori, Adrian Paschke (Eds.): Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings. Springer 2008, ISBN 978-3-540-88807-9
Contents

5322

Maryam Purvis, Bastin Tony Roy Savarimuthu (Eds.): Computer-Mediated Social Networking, First International Conference, ICCMSN 2008, Dunedin, New Zealand, June 11-13, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-02275-3
Contents

5323

Sertan Girgin, Manuel Loth, Rémi Munos, Philippe Preux, Daniil Ryabko (Eds.): Recent Advances in Reinforcement Learning, 8th European Workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30 - July 3, 2008, Revised and Selected Papers. Springer 2008, ISBN 978-3-540-89721-7
Contents

5324

Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai (Eds.): Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings. Springer 2008, ISBN 978-3-540-88732-4
Contents

5325

Stefano Carpin, Itsuki Noda, Enrico Pagello, Monica Reggiani, Oskar von Stryk (Eds.): Simulation, Modeling, and Programming for Autonomous Robots, First International Conference, SIMPAR 2008, Venice, Italy, November 3-6, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89075-1
Contents

5326

Colin Fyfe, Dongsup Kim, Soo-Young Lee, Hujun Yin (Eds.): Intelligent Data Engineering and Automated Learning - IDEAL 2008, 9th International Conference, Daejeon, South Korea, November 2-5, 2008, Proceedings. Springer 2008, ISBN 978-3-540-88905-2
Contents

5327

Paulo Cesar G. da Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool (Eds.): Uncertainty Reasoning for the Semantic Web I, ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers. Springer 2008, ISBN 978-3-540-89764-4
Contents

5328

Elvis Wai Chung Leung, Fu Lee Wang, Lanfang Miao, Jianmin Zhao, Jifeng He (Eds.): Advances in Blended Learning, Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008. Revised Selected Papers. Springer 2008, ISBN 978-3-540-89961-7
Contents

5329

Barbara Caputo, Markus Vincze (Eds.): Cognitive Vision, 4th International Workshop, ICVW 2008, Santorini, Greece, May 12, 2008, Revised Selected Papers. Springer 2008, ISBN 978-3-540-92780-8
Contents

5330

Iliano Cervesato, Helmut Veith, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89438-4
Contents

5331

Robert Meersman, Zahir Tari (Eds.): On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I. Springer 2008, ISBN 978-3-540-88870-3
Contents

5332

Robert Meersman, Zahir Tari (Eds.): On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part II. Springer 2008, ISBN 978-3-540-88872-7
Contents

5333

Robert Meersman, Zahir Tari, Pilar Herrero (Eds.): On the Move to Meaningful Internet Systems: OTM 2008 Workshops, OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings. Springer 2008, ISBN 978-3-540-88874-1
Contents

5334

Ulrike Spierling, Nicolas Szilas (Eds.): Interactive Storytelling, First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008, Proceedings. Springer 2008, ISBN 978-3-540-89424-7
Contents

5335

José Nelson Amaral (Ed.): Languages and Compilers for Parallel Computing, 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers. Springer 2008, ISBN 978-3-540-89739-2
Contents

5336

José M. Laginha M. Palma, Patrick Amestoy, Michel J. Daydé, Marta Mattoso, João Correia Lopes (Eds.): High Performance Computing for Computational Science - VECPAR 2008, 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers. Springer 2008, ISBN 978-3-540-92858-4
Contents

5337

Leonard Bolc, Juliusz L. Kulikowski, Konrad W. Wojciechowski (Eds.): Computer Vision and Graphics, International Conference, ICCVG 2008, Warsaw, Poland, November 10-12, 2008, Revised Papers. Springer 2009, ISBN 978-3-642-02344-6
Contents

5338

Reiner R. Dumke, René Braungarten, Günter Büren, Alain Abran, Juan Jose Cuadrado-Gallego (Eds.): Software Process and Product Measurement, International Conferences: IWSM 2008, Metrikon 2008, and Mensura 2008, Munich, Germany, November 18-19, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89402-5
Contents

5339

Matthew K. Franklin, Lucas Chi Kwong Hui, Duncan S. Wong (Eds.): Cryptology and Network Security, 7th International Conference, CANS 2008, Hong-Kong, China, December 2-4, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89640-1
Contents

5340

Sandeep S. Kulkarni, André Schiper (Eds.): Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89334-9
Contents

5341

Diego Calvanese, Georg Lausen (Eds.): Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings. Springer 2008, ISBN 978-3-540-88736-2
Contents

5342

Niels da Vitoria Lobo, Takis Kasparis, Fabio Roli, James Tin-Yau Kwok, Michael Georgiopoulos, Georgios C. Anagnostopoulos, Marco Loog (Eds.): Structural, Syntactic, and Statistical Pattern Recognition, Joint IAPR International Workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89688-3
Contents

5343

Karin Anna Hummel, James P. G. Sterbenz (Eds.): Self-Organizing Systems, Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings. Springer 2008, ISBN 978-3-540-92156-1
Contents

5344

Hajo Broersma, Thomas Erlebach, Tom Friedetzky, Daniël Paulusma (Eds.): Graph-Theoretic Concepts in Computer Science, 34th International Workshop, WG 2008, Durham, UK, June 30 - July 2, 2008. Revised Papers. 2008, ISBN 978-3-540-92247-6
Contents

5345

Takahira Yamaguchi (Ed.): Practical Aspects of Knowledge Management, 7th International Conference, PAKM 2008, Yokohama, Japan, November 22-23, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89446-9
Contents

5346

Valérie Issarny, Richard E. Schantz (Eds.): Middleware 2008, ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 1-5, 2008, Proceedings. Springer 2008, ISBN 978-3-540-89855-9
Contents

5347

Ashish Goel, Friedrich C. Simmel, Petr Sosík (Eds.): DNA Computing, 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers. Springer 2009, ISBN 978-3-642-03075-8
Contents

5348

Doron Peled, Michael Wooldridge (Eds.): Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Springer 2009, ISBN 978-3-642-00430-8
Contents

5349

Lars Svensson, José Monteiro (Eds.): Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers. Springer 2009, ISBN 978-3-540-95947-2
Contents

5350

Josef Pieprzyk (Ed.): Advances in Cryptology - ASIACRYPT 2008, 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89254-0
Contents

5351

Tu Bao Ho, Zhi-Hua Zhou (Eds.): PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89196-3
Contents

5352

R. Sekar, Arun K. Pujari (Eds.): Information Systems Security, 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89861-0
Contents

5353

Yueh-Min Huang, Changsheng Xu, Kuo-Sheng Cheng, Jar-Ferr Yang, M. N. S. Swamy, Shipeng Li, Jen-Wen Ding (Eds.): Advances in Multimedia Information Processing - PCM 2008, 9th Pacific Rim Conference on Multimedia, Tainan, Taiwan, December 9-13, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89795-8
Contents

5354

Daniel Zeng, Hsinchun Chen, Henry Rolka, Bill Lober (Eds.): Biosurveillance and Biosecurity, International Workshop, BioSecure 2008, Raleigh, NC, USA, December 2, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89745-3
Contents

5355

Emile H. L. Aarts, James L. Crowley, Boris E. R. de Ruyter, Heinz Gerhäuser, Alexander Pflaum, Janina Schmidt, Reiner Wichert (Eds.): Ambient Intelligence, European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89616-6
Contents

5356

G. Ramalingam (Ed.): Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89329-5
Contents

5357

The Duy Bui, Tuong Vinh Ho, Quang-Thuy Ha (Eds.): Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89673-9
Contents

5358

George Bebis, Richard D. Boyle, Bahram Parvin, Darko Koracin, Paolo Remagnino, Fatih Murat Porikli, Jörg Peters, James T. Klosowski, Laura L. Arns, Yu Ka Chun, Theresa-Marie Rhyne, Laura Monroe (Eds.): Advances in Visual Computing, 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part I. Springer 2008, ISBN 978-3-540-89638-8
Contents

5359

George Bebis, Richard D. Boyle, Bahram Parvin, Darko Koracin, Paolo Remagnino, Fatih Murat Porikli, Jörg Peters, James T. Klosowski, Laura L. Arns, Yu Ka Chun, Theresa-Marie Rhyne, Laura Monroe (Eds.): Advances in Visual Computing, 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part II. Springer 2008, ISBN 978-3-540-89645-6
Contents

5360

Wayne Wobcke, Mengjie Zhang (Eds.): AI 2008: Advances in Artificial Intelligence, 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 1-5, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89377-6
Contents

5361

Xiaodong Li, Michael Kirley, Mengjie Zhang, David G. Green, Victor Ciesielski, Hussein A. Abbass, Zbigniew Michalewicz, Tim Hendtlass, Kalyanmoy Deb, Kay Chen Tan, Jürgen Branke, Yuhui Shi (Eds.): Simulated Evolution and Learning, 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89693-7
Contents

5362

George Buchanan, Masood Masoodian, Sally Jo Cunningham (Eds.): Digital Libraries: Universal and Ubiquitous Access to Information, 11th International Conference on Asian Digital Libraries, ICADL 2008, Bali, Indonesia, December 2-5, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89532-9
Contents

5363

Giovanni Sommaruga (Ed.): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information [Muenchenwiler Seminar (Switzerland), May 2009]. Springer 2009, ISBN 978-3-642-00658-6
Contents

5364

Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria (Eds.): Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings. 2008, ISBN 978-3-540-89647-0
Contents

5365

Dipanwita Roy Chowdhury, Vincent Rijmen, Abhijit Das (Eds.): Progress in Cryptology - INDOCRYPT 2008, 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89753-8
Contents

5366

Maria Garcia de la Banda, Enrico Pontelli (Eds.): Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Springer 2008, ISBN 978-3-540-89981-5
Contents

5367

John Domingue, Chutiporn Anutariya (Eds.): The Semantic Web, 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89703-3
Contents

5368

George A. Vouros, Alexander Artikis, Kostas Stathis, Jeremy V. Pitt (Eds.): Organized Adaption in Multi-Agent Systems, First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers. Springer 2009, ISBN 978-3-642-02376-7
Contents

5369

Seok-Hee Hong, Hiroshi Nagamochi, Takuro Fukunaga (Eds.): Algorithms and Computation, 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings. Springer 2008, ISBN 978-3-540-92181-3
Contents

5370

Lishan Kang, Zhihua Cai, Xuesong Yan, Yong Liu (Eds.): Advances in Computation and Intelligence, Third International Symposium, ISICA 2008, Wuhan, China, December 19-21, 2008 Proceedings. Springer 2008, ISBN 978-3-540-92136-3
Contents

5371

Benoit Huet, Alan F. Smeaton, Ketan Mayer-Patel, Yannis S. Avrithis (Eds.): Advances in Multimedia Modeling, 15th International Multimedia Modeling Conference, MMM 2009, Sophia-Antipolis, France, January 7-9, 2009. Proceedings. Springer 2009, ISBN 978-3-540-92891-1
Contents

5372

Ben A. M. Schouten, Niels Christian Juul, Andrzej Drygajlo, Massimo Tistarelli (Eds.): Biometrics and Identity Management, First European Workshop, BIOID 2008, Roskilde, Denmark, May 7-9, 2008. Revised Selected Papers. Springer 2008, ISBN 978-3-540-89990-7
Contents

5373

Michela Bertolotto, Cyril Ray, Xiang Li (Eds.): Web and Wireless Geographical Information Systems, 8th International Symposium, W2GIS 2008, Shanghai, China, December 11-12, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89902-0
Contents

5374

P. Sadayappan, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna (Eds.): High Performance Computing - HiPC 2008, 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89893-1
Contents

5375

Manish Parashar, Sanjeev K. Aggarwal (Eds.): Distributed Computing and Internet Technology, 5th International Conference, ICDCIT 2008, New Delhi, India, December 10-12, 2008. Proceedings. Springer 2009, ISBN 978-3-540-89736-1
Contents

5376

Daniel Ortiz Arroyo, Henrik Legind Larsen, Daniel Dajun Zeng, David L. Hicks, Gerhard Wagner (Eds.): Intelligence and Security Informatics, First European Conference, EuroISI 2008, Esbjerg, Denmark, December 3-5, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89899-3
Contents

5377

Petri Mähönen, Klaus Pohl, Thierry Priol (Eds.): Towards a Service-Based Internet, First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89896-2
Contents

5378

Ramaswamy Ramanujam, Sundar Sarukkai (Eds.): Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings. Springer 2009, ISBN 978-3-540-92700-6
Contents

5379

Kyo-Il Chung, Kiwook Sohn, Moti Yung (Eds.): Information Security Applications, 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-00305-9
Contents

5380

Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer (Eds.): Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Lecture Notes in Computer Science Vol. 5380 Springer 2008, ISBN 978-3-540-89436-0
Contents

5381

Roberto Maria Avanzi, Liam Keliher, Francesco Sica (Eds.): Selected Areas in Cryptography, 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers. Springer 2009, ISBN 978-3-642-04158-7
Contents

5382

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. Springer 2008, ISBN 978-3-540-92187-5
Contents

5383

Stefano Spaccapietra, Jeff Z. Pan, Philippe Thiran, Terry A. Halpin, Steffen Staab, Vojtech Svátek, Pavel Shvaiko, John F. Roddick (Eds.): Journal on Data Semantics XI. Springer 2008, ISBN 978-3-540-92147-9
Contents

5384

Iyad Rahwan, Pavlos Moraitis (Eds.): Argumentation in Multi-Agent Systems, Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers. Springer 2009, ISBN 978-3-642-00206-9
Contents

5385

Christos H. Papadimitriou, Shuzhong Zhang (Eds.): Internet and Network Economics, 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings. Springer 2008, ISBN 978-3-540-92184-4
Contents

5386

Michael Luck, Jorge J. Gómez-Sanz (Eds.): Agent-Oriented Software Engineering IX, 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-01337-9
Contents

5387

Roberto Bruni, Karsten Wolf (Eds.): Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-01363-8
Contents

5388

>Tom Schrijvers, Thom W. Frühwirth (Eds.): Constraint Handling Rules, Current Research Topics. Lecture Notes in Computer Science Vol. 5388 Springer 2008, ISBN 978-3-540-92242-1
Contents

5389

Sándor P. Fekete (Ed.): Algorithmic Aspects of Wireless Sensor Networks, Fourth International Workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. Revised Selected Papers. Springer 2008, ISBN 978-3-540-92861-4
Contents

5390

James F. Peters, Andrzej Skowron, Henryk Rybinski (Eds.): Transactions on Rough Sets IX. Springer 2008, ISBN 978-3-540-89875-7
Contents

5391

David W. Corne, Pierluigi Frisco, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (Eds.): Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers. Springer 2009, ISBN 978-3-540-95884-0
Contents

5392

David J. Duke, Lynda Hardman, Alexander G. Hauptmann, Dietrich Paulus, Steffen Staab (Eds.): Semantic Multimedia, Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings. Springer 2008, ISBN 978-3-540-92234-6
Contents

5393

Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade (Eds.): Mathematical Methods in Computer Science, MMICS 2008, Karlsruhe, Germany, December 17-19, 2008 - Essays in Memory of Thomas Beth. Springer 2008, ISBN 978-3-540-89993-8
Contents

5394

Hana Chockler, Alan J. Hu (Eds.): Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings. Springer 2009, ISBN 978-3-642-01701-8
Contents

5395

Lucas Paletta, John K. Tsotsos (Eds.): Attention in Cognitive Systems, 5th International Workshop on Attention in Cognitive Systems, WAPCV 2008, Fira, Santorini, Greece, May 12, 2008, Revised Selected Papers. Springer 2009, ISBN 978-3-642-00581-7
Contents

5396

Rino Falcone, K. Suzanne Barber, Jordi Sabater-Mir, Munindar P. Singh (Eds.): Trust in Agent Societies, 11th International Workshop, TRUST 2008, Estoril, Portugal, May 12-13, 2008. Revised Selected and Invited Papers. Springer 2008, ISBN 978-3-540-92802-7
Contents

5397

Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (Eds.): Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers. Springer 2009, ISBN 978-3-540-93919-1
Contents

5398

Anna Esposito, Amir Hussain, Maria Marinaro, Raffaele Martone (Eds.): Multimodal Signals: Cognitive and Algorithmic Issues, COST Action 2102 and euCognition International School Vietri sul Mare, Italy, April 21-26, 2008, Revised Selected and Invited Papers. Springer 2009, ISBN 978-3-642-00524-4
Contents

5399

Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou (Eds.): RoboCup 2008: Robot Soccer World Cup XII [papers from the 12th annual RoboCup International Symposium, Suzhou, China, July 15-18, 2008]. Springer 2009, ISBN 978-3-642-02920-2
Contents