Lecture Notes in Computer Science (LNCS), Volumes 5000-5099
5000Orna Grumberg, Helmut Veith (Eds.): 25 Years of Model Checking - History, Achievements, Perspectives. Springer 2008 ISBN 978-3-540-69849-4 [ contents ]- 5001Ubbo 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 ]
- 5002Holger 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 ]
- 5003Luis 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 ]
- 5004Rudolf 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 ]
- 5005Vassilis 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 ]
- 5006Ryszard 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 ]
- 5007Qing 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 ]
- 5008Antonios 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 ]
- 5009Guoyin 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 ]
- 5010Edward 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 ]
- 5011Alfred 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 ]
- 5012Takashi 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 ]
- 5013Jadwiga 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 ]
- 5014Jorge 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 ]
- 5015Laurent 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 ]
- 5016Marco 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 ]
- 5017Takashi 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 ]
- 5018Martin 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 ]
- 5019Jose 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 ]
- 5020John Barnes: Ada 2005 Rationale: The Language, The Standard Libraries. Springer 2008 ISBN 978-3-540-79700-5 [ contents ]
- 5021Sean 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 ]
- 5022Anu 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 ]
- 5023Serge 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 ]
- 5024Manuel 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 ]
- 5025Barbara 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 ]
- 5026Fabrice 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 ]
- 5027Ngoc 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 ]
- 5028Arnold 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 ]
- 5029Paolo 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
- 5031Jarmo 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 ]
- 5032Sabine 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 ]
- 5033Harri 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 ]
- 5034Rudolf 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 ]
- 5035Andrea 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 ]
- 5036Song 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 ]
- 5037Steven 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 ]
- 5038Catherine 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 ]
- 5039Epaminondas 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 ]
- 5040Minoru 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 ]
- 5041Yun 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 ]
- 5042Anna 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 ]
- 5043Nadeem 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 ]
- 5044Aditya 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 ]
- 5045Peter 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 ]
- 5046Wenyin 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 ]
- 5047Kenji 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 ]
- 5048Kenji 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 ]
- 5049Danny 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 ]
- 5050Jacek 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 ]
- 5051Gilles 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 ]
- 5052Doug 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 ]
- 5053René 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 ]
- 5054Jasmin 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 ]
- 5055Khalid 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 ]
- 5056Fariba 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 ]
- 5057Stig 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 ]
- 5058Alexander 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 ]
- 5059Franco 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 ]
- 5060Chunming 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 ]
- 5061Frode 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 ]
- 5062Kees 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 ]
- 5063Antonio 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 ]
- 5064Lionel 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 ]
- 5065Pierpaolo 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 ]
- 5066Manfred 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 ]
- 5067Sotiris 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 ]
- 5068Seongil 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 ]
- 5069Bertram 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 ]
- 5070Malgorzata Marciniak, Agnieszka Mykowiecka (Eds.): Aspects of Natural Language Processing, Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday. Springer 2009 ISBN 978-3-642-04734-3 [ contents ]
- 5071W. 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 ]
- 5072Osvaldo 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 ]
- 5073Osvaldo 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 ]
- 5074Zohra 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 ]
- 5075Christopher 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 ]
- 5076Ron 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 ]
- 5077Petra 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 ]
- 5078Elisabeth 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 ]
- 5079Marí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 ]
- 5080Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Abdennour El Rhalibi (Eds.): Transactions on Edutainment I. Springer 2008 ISBN 978-3-540-69737-4 [ contents ]
- 5081Deepak 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 ]
- 5082Bertrand 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 ]
- 5083Olaf 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 ]
- 5084James F. Peters, Andrzej Skowron (Eds.): Transactions on Rough Sets VIII. Springer 2008 ISBN 978-3-540-85063-2 [ contents ]
- 5085Miguel Sales 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 ]
- 5086Kaisa 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 ]
- 5087Bruce 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 ]
- 5088Andy 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 ]
- 5089Andreas 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 ]
- 5090Roland 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 ]
- 5091Beverly 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 ]
- 5092Xiaodong 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 ]
- 5093Zhigeng 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 ]
- 5094Vijay 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 ]
- 5095Ina 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 ]
- 5096Gerhard Rigoll (Ed.): Pattern Recognition, 30th DAGM Symposium, Munich, Germany, June 10-13, 2008, Proceedings. Springer 2008 ISBN 978-3-540-69320-8 [ contents ]
- 5097Leszek 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 ]
- 5098Francisco 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 ]
- 5099Abderrahim 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 ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team