Lecture Notes in Computer Science (LNCS), Volumes 5000-5099

5000

Orna Grumberg, Helmut Veith (Eds.): 25 Years of Model Checking - History, Achievements, Perspectives. Springer 2008, ISBN 978-3-540-69849-4
Contents

5001

Ubbo Visser, Fernando Ribeiro, Takeshi Ohashi, Frank Dellaert (Eds.): RoboCup 2007: Robot Soccer World Cup XI, July 9-10, 2007, Atlanta, GA, USA. Springer 2008, ISBN 978-3-540-68846-4
Contents

5002

Holger Giese (Ed.): Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers. Springer 2008, ISBN 978-3-540-69069-6
Contents

5003

Luis Antunes, Mario Paolucci, Emma Norling (Eds.): Multi-Agent-Based Simulation VIII, International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers. Springer 2008, ISBN 978-3-540-70915-2
Contents

5004

Rudolf Eigenmann, Bronis R. de Supinski (Eds.): OpenMP in a New Era of Parallelism, 4th International Workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008, Proceedings. Springer 2008, ISBN 978-3-540-79560-5
Contents

5005

Vassilis Christophides, Martine Collard, Claudio Gutierrez (Eds.): Semantic Web, Ontologies and Databases, VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-70959-6
Contents

5006

Ryszard Kowalczyk, Michael N. Huhns, Matthias Klusch, Zakaria Maamar, Quoc Bao Vo (Eds.): Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008, Proceedings. Springer 2008, ISBN 978-3-540-79967-2
Contents

5007

Qing Wang, Dietmar Pfahl, David M. Raffo (Eds.): Making Globally Distributed Software Development a Success Story, International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008, Proceedings. Springer 2008, ISBN 978-3-540-79587-2
Contents

5008

Antonios Gasteratos, Markus Vincze, John K. Tsotsos (Eds.): Computer Vision Systems, 6th International Conference, ICVS 2008, Santorini, Greece, May 12-15, 2008, Proceedings. Springer 2008, ISBN 978-3-540-79546-9
Contents

5009

Guoyin Wang, Tian-rui Li, Jerzy W. Grzymala-Busse, Duoqian Miao, Andrzej Skowron, Yiyu Yao (Eds.): Rough Sets and Knowledge Technology, Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings. Springer 2008, ISBN 978-3-540-79720-3
Contents

5010

Edward A. Hirsch, Alexander A. Razborov, Alexei L. Semenov, Anatol Slissenko (Eds.): Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings. Springer 2008, ISBN 978-3-540-79708-1
Contents

5011

Alfred J. van der Poorten, Andreas Stein (Eds.): Algorithmic Number Theory, 8th International Symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008, Proceedings. Springer 2008, ISBN 978-3-540-79455-4
Contents

5012

Takashi Washio, Einoshin Suzuki, Kai Ming Ting, Akihiro Inokuchi (Eds.): Advances in Knowledge Discovery and Data Mining, 12th Pacific-Asia Conference, PAKDD 2008, Osaka, Japan, May 20-23, 2008 Proceedings. Springer 2008, ISBN 978-3-540-68124-3
Contents

5013

Jadwiga Indulska, Donald J. Patterson, Tom Rodden, Max Ott (Eds.): Pervasive Computing, 6th International Conference, Pervasive 2008, Sydney, Australia, May 19-22, 2008, Proceedings. Springer 2008, ISBN 978-3-540-79575-9
Contents

5014

Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere (Eds.): FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Springer 2008, ISBN 978-3-540-68235-6
Contents

5015

Laurent Perron, Michael A. Trick (Eds.): Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, May 20-23, 2008, Proceedings. Springer 2008, ISBN 978-3-540-68154-0
Contents

5016

Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (Eds.): Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures. Springer 2008, ISBN 978-3-540-68892-1
Contents

5017

Takashi Nanya, Fumihiro Maruyama, András Pataricza, Miroslaw Malek (Eds.): Service Availability, 5th International Service Availability Symposium, ISAS 2008, Tokyo, Japan, May 19-21, 2008, Proceedings. Springer 2008, ISBN 978-3-540-68128-1
Contents

5018

Martin Grohe, Rolf Niedermeier (Eds.): Parameterized and Exact Computation, Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings. Springer 2008, ISBN 978-3-540-79722-7
Contents

5019

Jose Antonio Onieva, Damien Sauveron, Serge Chaumette, Dieter Gollmann, Constantinos Markantonakis (Eds.): Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks, Second IFIP WG 11.2 International Workshop, WISTP 2008, Seville, Spain, May 13-16, 2008. Proceedings. Springer 2008, ISBN 978-3-540-79965-8
Contents

5020

John Barnes: Ada 2005 Rationale: The Language, The Standard Libraries. Lecture Notes in Computer Science Vol. 5020 Springer 2008, ISBN 978-3-540-79700-5
Contents

5021

Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis (Eds.): The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings. Springer 2008, ISBN 978-3-540-68233-2
Contents

5022

Anu G. Bourgeois, Si-Qing Zheng (Eds.): Algorithms and Architectures for Parallel Processing, 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69500-4
Contents

5023

Serge Vaudenay (Ed.): Progress in Cryptology - AFRICACRYPT 2008, First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings. Springer 2008, ISBN 978-3-540-68159-5
Contents

5024

Manuel Ferre (Ed.): Haptics: Perception, Devices and Scenarios, 6th International Conference, EuroHaptics 2008, Madrid, Spain, June 10-13, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69056-6
Contents

5025

Barbara Paech, Colette Rolland (Eds.): Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008, Montpellier, France, June 16-17, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69060-3
Contents

5026

Fabrice Kordon, Tullio Vardanega (Eds.): Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings. Springer 2008, ISBN 978-3-540-68621-7
Contents

5027

Ngoc Thanh Nguyen, Leszek Borzemski, Adam Grzech, Moonis Ali (Eds.): New Frontiers in Applied Artificial Intelligence, 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008, Wroclaw, Poland, June 18-20, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69045-0
Contents

5028

Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (Eds.): Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69405-2
Contents

5029

Paolo Ferragina, Gad M. Landau (Eds.): Combinatorial Pattern Matching, 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69066-5
Contents

5030

Hong Mei (Ed.): High Confidence Software Reuse in Large Systems, 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008, Proceedings. Springer 2008, ISBN 978-3-540-68062-8
Contents

5031

Jarmo Harju, Geert J. Heijenk, Peter Langendörfer, Vasilios A. Siris (Eds.): Wired/Wireless Internet Communications, 6th International Conference, WWIC 2008, Tampere, Finland, May 28-30, 2008, Proceedings. Springer 2008, ISBN 978-3-540-68805-1
Contents

5032

Sabine Bergler (Ed.): Advances in Artificial Intelligence , 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008, Windsor, Canada, May 28-30, 2008, Proceedings. Springer 2008, ISBN 978-3-540-68821-1
Contents

5033

Harri Oinas-Kukkonen, Per F. V. Hasle, Marja Harjumaa, Katarina Segerståhl, Peter Øhrstrøm (Eds.): Persuasive Technology, Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings. Springer 2008, ISBN 978-3-540-68500-5
Contents

5034

Rudolf Fleischer, Jinhui Xu (Eds.): Algorithmic Aspects in Information and Management, 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings. Springer 2008, ISBN 978-3-540-68865-5
Contents

5035

Andrea Lodi, Alessandro Panconesi, Giovanni Rinaldi (Eds.): Integer Programming and Combinatorial Optimization, 13th International Conference, IPCO 2008, Bertinoro, Italy, May 26-28, 2008, Proceedings. Springer 2008, ISBN 978-3-540-68886-0
Contents

5036

Song Wu, Laurence Tianruo Yang, Tony Li Xu (Eds.): Advances in Grid and Pervasive Computing, Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings. Springer 2008, ISBN 978-3-540-68081-9
Contents

5037

Steven M. Bellovin, Rosario Gennaro, Angelos D. Keromytis, Moti Yung (Eds.): Applied Cryptography and Network Security, 6th International Conference, ACNS 2008, New York, NY, USA, June 3-6, 2008. Proceedings. 2008, ISBN 978-3-540-68913-3
Contents

5038

Catherine C. McGeoch (Ed.): Experimental Algorithms, 7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30-June 1, 2008, Proceedings. Springer 2008, ISBN 978-3-540-68548-7
Contents

5039

Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou (Eds.): Natural Language and Information Systems, 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008, London, UK, June 24-27, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69857-9
Contents

5040

Minoru Asada, John C. T. Hallam, Jean-Arcady Meyer, Jun Tani (Eds.): From Animals to Animats 10, 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings. Springer 2008, ISBN 978-3-540-69133-4
Contents

5041

Yun Q. Shi, Hyoung-Joong Kim, Stefan Katzenbeisser (Eds.): Digital Watermarking, 6th International Workshop, IWDW 2007, Guangzhou, China, December 3-5, 2007, Proceedings. Springer 2008, ISBN 978-3-540-92237-7
Contents

5042

Anna Esposito, Nikolaos G. Bourbakis, Nikolaos M. Avouris, Ioannis Hatzilygeroudis (Eds.): Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction, COST Action 2102 International Conference, Patras, Greece, October 29-31, 2007. Revised Papers. Springer 2008, ISBN 978-3-540-70871-1
Contents

5043

Nadeem Jamali, Paul Scerri, Toshiharu Sugawara (Eds.): Massively Multi-Agent Technology, AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006, Honolulu, HI, USA, May 15, 2007, Selected and Revised Papers. Springer 2008, ISBN 978-3-540-85448-7
Contents

5044

Aditya K. Ghose, Guido Governatori, Ramakoti Sadananda (Eds.): Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers. Springer 2009, ISBN 978-3-642-01638-7
Contents

5045

Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (Eds.): Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers. Springer 2008, ISBN 978-3-540-85520-0
Contents

5046

Wenyin Liu, Josep Lladós, Jean-Marc Ogier (Eds.): Graphics Recognition. Recent Advances and New Opportunities, 7th International Workshop, GREC 2007, Curitiba, Brazil, September 20-21, 2007. Selected Papers. Springer 2008, ISBN 978-3-540-88184-1
Contents

5047

Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (Eds.): Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings. Springer 2008, ISBN 978-3-540-68514-2
Contents

5048

Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings. Springer 2008, ISBN 978-3-540-68854-9
Contents

5049

Danny Weyns, Sven A. Brueckner, Yves Demazeau (Eds.): Engineering Environment-Mediated Multi-Agent Systems, International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers. Springer 2008, ISBN 978-3-540-85028-1
Contents

5050

Jacek M. Zurada, Gary G. Yen, Jun Wang (Eds.): Computational Intelligence: Research Frontiers, IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures. Springer 2008, ISBN 978-3-540-68858-7
Contents

5051

Gilles Barthe, Frank S. de Boer (Eds.): Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Springer 2008, ISBN 978-3-540-68862-4
Contents

5052

Doug Lea, Gianluigi Zavattaro (Eds.): Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings. Springer 2008, ISBN 978-3-540-68264-6
Contents

5053

René Meier, Sotirios Terzis (Eds.): Distributed Applications and Interoperable Systems, 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings. 2008, ISBN 978-3-540-68639-2
Contents

5054

Jasmin Fisher (Ed.): Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings. Springer 2008, ISBN 978-3-540-68410-7
Contents

5055

Khalid Al-Begain, Armin Heindl, Miklós Telek (Eds.): Analytical and Stochastic Modeling Techniques and Applications, 15th International Conference, ASMTA 2008, Nicosia, Cyprus, June 4-6, 2008, Proceedings. Springer 2008, ISBN 978-3-540-68980-5
Contents

5056

Fariba Sadri, Ken Satoh (Eds.): Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers. Springer 2008, ISBN 978-3-540-88832-1
Contents

5057

Stig Fr. Mjølsnes, Sjouke Mauw, Sokratis K. Katsikas (Eds.): Public Key Infrastructure, 5th European PKI Workshop: Theory and Practice, EuroPKI 2008, Trondheim, Norway, June 16-17, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69484-7
Contents

5058

Alexander A. Shvartsman, Pascal Felber (Eds.): Structural Information and Communication Complexity, 15th International Colloquium, SIROCCO 2008, Villars-sur-Ollon, Switzerland, June 17-20, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69326-0
Contents

5059

Franco P. Preparata, Xiaodong Wu, Jianping Yin (Eds.): Frontiers in Algorithmics, Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings. Springer 2008, ISBN 978-3-540-69310-9
Contents

5060

Chunming Rong, Martin Gilje Jaatun, Frode Eika Sandnes, Laurence Tianruo Yang, Jianhua Ma (Eds.): Autonomic and Trusted Computing, 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69294-2
Contents

5061

Frode Eika Sandnes, Yan Zhang, Chunming Rong, Laurence Tianruo Yang, Jianhua Ma (Eds.): Ubiquitous Intelligence and Computing, 5th International Conference, UIC 2008, Oslo, Norway, June 23-25, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69292-8
Contents

5062

Kees M. van Hee, Rüdiger Valk (Eds.): Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings. Springer 2008, ISBN 978-3-540-68745-0
Contents

5063

Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio (Eds.): Theory and Practice of Model Transformations, First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69926-2
Contents

5064

Lionel Prevost, Simone Marinai, Friedhelm Schwenker (Eds.): Artificial Neural Networks in Pattern Recognition, Third IAPR Workshop, ANNPR 2008, Paris, France, July 2-4, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69938-5
Contents

5065

Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.): Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Springer 2008, ISBN 978-3-540-68676-7
Contents

5066

Manfred Tscheligi, Marianna Obrist, Artur Lugmayr (Eds.): Changing Television Environments, 6th European Conference, EuroITV 2008, Salzburg, Austria, July 3-4, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69477-9
Contents

5067

Sotiris E. Nikoletseas, Bogdan S. Chlebus, David B. Johnson, Bhaskar Krishnamachari (Eds.): Distributed Computing in Sensor Systems, 4th IEEE International Conference, DCOSS 2008, Santorini Island, Greece, June 11-14, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69169-3
Contents

5068

Seongil Lee, Hyunseung Choo, Sungdo Ha, In Chul Shin (Eds.): Computer-Human Interaction, 8th Asia-Pacific Conference, APCHI 2008, Seoul, Korea, July 6-9, 2008, Proceedings. Springer 2008, ISBN 978-3-540-70584-0
Contents

5069

Bertram Ludäscher, Nikos Mamoulis (Eds.): Scientific and Statistical Database Management, 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69476-2
Contents

5070

...

5071

W. Alex Gray, Keith G. Jeffery, Jianhua Shao (Eds.): Sharing Data, Information and Knowledge, 25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008. Proceedings. Springer 2008, ISBN 978-3-540-70503-1
Contents

5072

Osvaldo Gervasi, Beniamino Murgante, Antonio Laganà, David Taniar, Youngsong Mun, Marina L. Gavrilova (Eds.): Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I. Springer 2008, ISBN 978-3-540-69838-8
Contents

5073

Osvaldo Gervasi, Beniamino Murgante, Antonio Laganà, David Taniar, Youngsong Mun, Marina L. Gavrilova (Eds.): Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II. Springer 2008, ISBN 978-3-540-69840-1
Contents

5074

Zohra Bellahsene, Michel Léonard (Eds.): Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69533-2
Contents

5075

Christopher C. Yang, Hsinchun Chen, Michael Chau, Kuiyu Chang, Sheau-Dong Lang, Patrick S. Chen, Raymond Hsieh, Daniel Zeng, Fei-Yue Wang, Kathleen M. Carley, Wenji Mao, Justin Zhan (Eds.): Intelligence and Security Informatics, IEEE ISI 2008 International Workshops: PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings. Springer 2008, ISBN 978-3-540-69136-5
Contents

5076

Ron van der Meyden, Leendert van der Torre (Eds.): Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings. Springer 2008, ISBN 978-3-540-70524-6
Contents

5077

Petra Perner (Ed.): Advances in Data Mining. Medical Applications, E-Commerce, Marketing, and Theoretical Aspects, 8th Industrial Conference, ICDM 2008, Leipzig, Germany, July 16-18, 2008, Proceedings. Springer 2008, ISBN 978-3-540-70717-2
Contents

5078

Elisabeth André, Laila Dybkjær, Wolfgang Minker, Heiko Neumann, Roberto Pieraccini, Michael Weber (Eds.): Perception in Multimodal Dialogue Systems, 4th IEEE Tutorial and Research Workshop on Perception and Interactive Technologies for Speech-Based Systems, PIT 2008, Kloster Irsee, Germany, June 16-18, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69368-0
Contents

5079

María Alpuente, Germán Vidal (Eds.): Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Springer 2008, ISBN 978-3-540-69163-1
Contents

5080

Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Abdennour El Rhabili (Eds.): Transactions on Edutainment I. Springer 2008, ISBN 978-3-540-69737-4
Contents

5081

Deepak Kapur (Ed.): Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers. Springer 2008, ISBN 978-3-540-87826-1
Contents

5082

Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (Eds.): Balancing Agility and Formalism in Software Engineering, Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-85278-0
Contents

5083

Olaf Chitil, Zoltán Horváth, Viktória Zsók (Eds.): Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Springer 2008, ISBN 978-3-540-85372-5
Contents

5084

James F. Peters, Andrzej Skowron (Eds.): Transactions on Rough Sets VIII. Springer 2008, ISBN 978-3-540-85063-2
Contents

5085

José Miguel Salles Dias, Sylvie Gibet, Marcelo M. Wanderley, Rafael Bastos (Eds.): Gesture-Based Human-Computer Interaction and Simulation, 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers. Springer 2009, ISBN 978-3-540-92864-5
Contents

5086

Kaisa Nyberg (Ed.): Fast Software Encryption, 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers. Springer 2008, ISBN 978-3-540-71038-7
Contents

5087

Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe (Eds.): Security Protocols, 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers. Springer 2009, ISBN 978-3-642-04903-3
Contents

5088

Andy Schürr, Manfred Nagl, Albert Zündorf (Eds.): Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers. Springer 2008, ISBN 978-3-540-89019-5
Contents

5089

Andreas Jedlitschka, Outi Salo (Eds.): Product-Focused Software Process Improvement, 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69564-6
Contents

5090

Roland T. Mittermeir, Maciej M. Syslo (Eds.): Informatics Education - Supporting Computational Thinking, Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008, Torun, Poland, July 1-4, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69923-1
Contents

5091

Beverly Park Woolf, Esma Aïmeur, Roger Nkambou, Susanne P. Lajoie (Eds.): Intelligent Tutoring Systems, 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69130-3
Contents

5092

Xiaodong Hu, Jie Wang (Eds.): Computing and Combinatorics, 14th Annual International Conference, COCOON 2008, Dalian, China, June 27-29, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69732-9
Contents

5093

Zhigeng Pan, Xiaopeng Zhang, Abdennour El Rhalibi, Woontack Woo, Yi Li (Eds.): Technologies for E-Learning and Digital Entertainment, Third International Conference, Edutainment 2008, Nanjing, China, June 25-27, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69734-3
Contents

5094

Vijay Atluri (Ed.): Data and Applications Security XXII, 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security, London, UK, July 13-16, 2008, Proceedings. Springer 2008, ISBN 978-3-540-70566-6
Contents

5095

Ina Schieferdecker, Alan Hartman (Eds.): Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings. Springer 2008, ISBN 978-3-540-69095-5
Contents

5096

Gerhard Rigoll (Ed.): Pattern Recognition, 30th DAGM Symposium, Munich, Germany, June 10-13, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69320-8
Contents

5097

Leszek Rutkowski, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada (Eds.): Artificial Intelligence and Soft Computing - ICAISC 2008, 9th International Conference, Zakopane, Poland, June 22-26, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69572-1
Contents

5098

Francisco J. Perales López, Robert B. Fisher (Eds.): Articulated Motion and Deformable Objects, 5th International Conference, AMDO 2008, Port d'Andratx, Mallorca, Spain, July 9-11, 2008, Proceedings. Springer 2008, ISBN 978-3-540-70516-1
Contents

5099

Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud, Driss Mammass (Eds.): Image and Signal Processing - 3rd International Conference, ICISP 2008, Cherbourg-Octeville, France, July 1-3, 2008, Proceedings. Springer 2008, ISBN 978-3-540-69904-0
Contents