Lecture Notes in Computer Science (LNCS), Volumes 5800-5899

5800

Kurt Jensen, Jonathan Billington, Maciej Koutny (Eds.): Transactions on Petri Nets and Other Models of Concurrency III. Springer 2009, ISBN 978-3-642-04854-8
Contents

5801

Richard Fuller, Xenofon D. Koutsoukos (Eds.): Mobile Entity Localization and Tracking in GPS-less Environnments, Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04378-9
Contents

5802

Gottfried Vossen, Darrell D. E. Long, Jeffrey Xu Yu (Eds.): Web Information Systems Engineering - WISE 2009, 10th International Conference, Poznan, Poland, October 5-7, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04408-3
Contents

5803

Bärbel Mertsching, Marcus Hund, Muhammad Zaheer Aziz (Eds.): KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04616-2
Contents

5804

Shlomi Dolev (Ed.): Algorithmic Aspects of Wireless Sensor Networks, 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers. Springer 2009, ISBN 978-3-642-05433-4
Contents

5805

Idit Keidar (Ed.): Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04354-3
Contents

5806

Stefan Katzenbeisser, Ahmad-Reza Sadeghi (Eds.): Information Hiding, 11th International Workshop, IH 2009, Darmstadt, Germany, June 8-10, 2009, Revised Selected Papers. Springer 2009, ISBN 978-3-642-04430-4
Contents

5807

Jacques Blanc-Talon, Wilfried Philips, Dan C. Popescu, Paul Scheunders (Eds.): Advanced Concepts for Intelligent Vision Systems, 11th International Conference, ACIVS 2009, Bordeaux, France, September 28 - October 2, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04696-4
Contents

5808

João Gama, Vítor Santos Costa, Alípio Mário Jorge, Pavel Brazdil (Eds.): Discovery Science, 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009. Springer 2009, ISBN 978-3-642-04746-6
Contents

5809

Ricard Gavaldà, Gábor Lugosi, Thomas Zeugmann, Sandra Zilles (Eds.): Algorithmic Learning Theory, 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04413-7
Contents

5810

Srecko Brlek, Christophe Reutenauer, Xavier Provençal (Eds.): Discrete Geometry for Computer Imagery, 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04396-3
Contents

5811

...

5812

...

5813

Joël Ouaknine, Frits W. Vaandrager (Eds.): Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04367-3
Contents

5814

Marios Mavronicolas, Vicky G. Papadopoulou (Eds.): Algorithmic Game Theory, Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04644-5
Contents

5815

Mario Fritz, Bernt Schiele, Justus H. Piater (Eds.): Computer Vision Systems, 7th International Conference on Computer Vision Systems, ICVS 2009, Liège, Belgium, October 13-15, 2009, Proceedings. Springer 2009, ISBN 978-3-642-04666-7
Contents

5816

Luís Seabra Lopes, Nuno Lau, Pedro Mariano, Luís Mateus Rocha (Eds.): Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04685-8
Contents

5817

Francesca Ciccarelli, István Miklós (Eds.): Comparative Genomics, International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04743-5
Contents

5818

Maria J. Blesa, Christian Blum, Luca Di Gaspero, Andrea Roli, Michael Sampels, Andrea Schaerf (Eds.): Hybrid Metaheuristics, 6th International Workshop, HM 2009, Udine, Italy, October 16-17, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04917-0
Contents

5819

Ning Zhong, Kuncheng Li, Shengfu Lu, Lin Chen (Eds.): Brain Informatics, International Conference, BI 2009, Beijing, China, October 22-24, 2009, Proceedings. Springer 2009, ISBN 978-3-642-04953-8
Contents

5820

Jiming Liu, Jinglong Wu, Yiyu Yao, Toyoaki Nishida (Eds.): Active Media Technology, 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04874-6
Contents

5821

Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu (Eds.): Advances in Computation and Intelligence, 4th International Symposium, ISICA 2009, Huangshi, China, Ocotober 23-25, 2009, Proceedings. Springer 2009, ISBN 978-3-642-04842-5
Contents

5822

Troels Andreasen, Ronald R. Yager, Henrik Bulskov, Henning Christiansen, Henrik Legind Larsen (Eds.): Flexible Query Answering Systems, 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04956-9
Contents

5823

Abraham Bernstein, David R. Karger, Tom Heath, Lee Feigenbaum, Diana Maynard, Enrico Motta, Krishnaprasad Thirunarayan (Eds.): The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04929-3
Contents

5824

Tsuyoshi Takagi, Masahiro Mambo (Eds.): Advances in Information and Computer Security, 4th International Workshop on Security, IWSEC 2009, Toyama, Japan, October 28-30, 2009, Proceedings. Springer 2009, ISBN 978-3-642-04845-6
Contents

5825

María Alpuente, Byron Cook, Christophe Joubert (Eds.): Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04569-1
Contents

5826

Manuel Núñez, Paul Baker, Mercedes G. Merayo (Eds.): Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings. Springer 2009, ISBN 978-3-642-05030-5
Contents

5827

Rudolf Berghammer, Ali Jaoua, Bernhard Möller (Eds.): Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04638-4
Contents

5828

Zhi-Hua Zhou, Takashi Washio (Eds.): Advances in Machine Learning, First Asian Conference on Machine Learning, ACML 2009, Nanjing, China, November 2-4, 2009. Proceedings. Springer 2009, ISBN 978-3-642-05223-1
Contents

5829

Alberto H. F. Laender, Silvana Castano, Umeshwar Dayal, Fabio Casati, José Palazzo Moreira de Oliveira (Eds.): Conceptual Modeling - ER 2009, 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04839-5
Contents

5830

Tsvi Kuflik, Shlomo Berkovsky, Francesca Carmagnola, Dominik Heckmann, Antonio Krüger (Eds.): Advances in Ubiquitous User Modelling, Revised Selected Papers. Lecture Notes in Computer Science Vol. 5830 Springer 2009, ISBN 978-3-642-05038-1
Contents

5831

Yishai A. Feldman, Donald H. Kraft, Tsvi Kuflik (Eds.): Next Generation Information Technologies and Systems, 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers. Springer 2009, ISBN 978-3-642-04940-8
Contents

5832

Pieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra (Eds.): Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures. Springer 2009, ISBN 978-3-642-04651-3
Contents

5833

Carlos A. Heuser, Günther Pernul (Eds.): Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04946-0
Contents

5834

Xiangdong He, John F. Horty, Eric Pacuit (Eds.): Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04892-0
Contents

5835

Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek (Eds.): Architecting Dependable Systems VI. Springer 2009, ISBN 978-3-642-10247-9
Contents

5836

...

5837

Axel Polleres, Terrance Swift (Eds.): Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings. Springer 2009, ISBN 978-3-642-05081-7
Contents

5838

Audun Jøsang, Torleiv Maseng, Svein J. Knapskog (Eds.): Identity and Privacy in the Internet Age, 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009. Proceedings. Springer 2009, ISBN 978-3-642-04765-7
Contents

5839

Gary Geunbae Lee, Dawei Song, Chin-Yew Lin, Akiko N. Aizawa, Kazuko Kuriyama, Masaharu Yoshioka, Tetsuya Sakai (Eds.): Information Retrieval Technology, 5th Asia Information Retrieval Symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04768-8
Contents

5840

...

5841

Claudio Bartolini, Luciano Paschoal Gaspary (Eds.): Integrated Management of Systems, Services, Processes and People in IT, 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, Venice, Italy, October 27-28, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04988-0
Contents

5842

Tom Pfeifer, Paolo Bellavista (Eds.): Wired-Wireless Multimedia Networks and Services Management, 12th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2009, Venice, Italy, October 26-27, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04993-4
Contents

5843

Giorgio Nunzi, Caterina M. Scoglio, Xing Li (Eds.): IP Operations and Management, 9th IEEE International Workshop, IPOM 2009, Venice, Italy, October 29-30, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04967-5
Contents

5844

Yacine Ghamri-Doudane (Ed.): Modelling Autonomic Communications Environments, Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 26-27, 2009. Proceedings. Springer 2009, ISBN 978-3-642-05005-3
Contents

5845

Arturo Hernández Aguirre, Raúl Monroy Borja, Carlos A. Reyes García (Eds.): MICAI 2009: Advances in Artificial Intelligence, 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009. Proceedings. Springer 2009, ISBN 978-3-642-05257-6
Contents

5846

Jeremy Gibbons, José Nuno Oliveira (Eds.): Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04911-8
Contents

5847

Sobha Lalitha Devi, António Horta Branco, Ruslan Mitkov (Eds.): Anaphora Processing and Applications, 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009, Goa, India, November 5-6, 2009, Proceedings. Springer 2009, ISBN 978-3-642-04974-3
Contents

5848

Josef Pieprzyk, Fangguo Zhang (Eds.): Provable Security, Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04641-4
Contents

5849

...

5850

Ana Cavalcanti, Dennis Dams (Eds.): FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Springer 2009, ISBN 978-3-642-05088-6
Contents

5851

Thomas Stützle (Ed.): Learning and Intelligent Optimization, Third International Conference, LION 3, Trento, Italy, January 14-18, 2009. Selected Papers. Springer 2009, ISBN 978-3-642-11168-6
Contents

5852

Petra Wiederhold, Reneta P. Barneva (Eds.): Combinatorial Image Analysis, 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009. Proceedings. Springer 2009, ISBN 978-3-642-10208-0
Contents

5853

...

5854

Wenyin Liu, Xiangfeng Luo, Fu Lee Wang, Jingsheng Lei (Eds.): Web Information Systems and Mining, International Conference, WISM 2009, Shanghai, China, November 7-8, 2009. Proceedings. Springer 2009, ISBN 978-3-642-05249-1
Contents

5855

Hepu Deng, Lanzhou Wang, Fu Lee Wang, Jingsheng Lei (Eds.): Artificial Intelligence and Computational Intelligence, International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings. Springer 2009, ISBN 978-3-642-05252-1
Contents

5856

Eduardo Bayro-Corrochano, Jan-Olof Eklundh (Eds.): Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 14th Iberoamerican Conference on Pattern Recognition, CIARP 2009, Guadalajara, Jalisco, Mexico, November 15-18, 2009. Proceedings. Springer 2009, ISBN 978-3-642-10267-7
Contents

5857

Halimah Badioze Zaman, Peter Robinson, Maria Petrou, Patrick Olivier, Heiko Schröder, Timothy K. Shih (Eds.): Visual Informatics: Bridging Research and Practice, First International Visual Informatics Conference, IVIC 2009, Kuala Lumpur, Malaysia, November 11-13, 2009, Proceedings. Springer 2009, ISBN 978-3-642-05035-0
Contents

5858

Guido Governatori, John Hall, Adrian Paschke (Eds.): Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04984-2
Contents

5859

Manfred Tscheligi, Boris E. R. de Ruyter, Panos Markopoulos, Reiner Wichert, Thomas Mirlacher, Alexander Meschtscherjakov, Wolfgang Reitberger (Eds.): Ambient Intelligence, European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings. Springer 2009, ISBN 978-3-642-05407-5
Contents

5860

Sunggu Lee, Priya Narasimhan (Eds.): Software Technologies for Embedded and Ubiquitous Systems, 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA, November 16-18, 2009, Proceedings. Springer 2009, ISBN 978-3-642-10264-6
Contents

5861

Vicenç Torra, Yasuo Narukawa, Masahiro Inuiguchi (Eds.): Modeling Decisions for Artificial Intelligence, 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009. Proceedings. Springer 2009, ISBN 978-3-642-04819-7
Contents

5862

...

5863

Chi-Sing Leung, Minho Lee, Jonathan Hoyin Chan (Eds.): Neural Information Processing, 16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part I. Springer 2009, ISBN 978-3-642-10676-7
Contents

5864

Chi-Sing Leung, Minho Lee, Jonathan Hoyin Chan (Eds.): Neural Information Processing, 16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part II. Springer 2009, ISBN 978-3-642-10682-8
Contents

5865

Kevin B. Korb, Marcus Randall, Tim Hendtlass (Eds.): Artificial Life: Borrowing from Biology, 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009. Proceedings. Springer 2009, ISBN 978-3-642-10426-8
Contents

5866

Ann E. Nicholson, Xiaodong Li (Eds.): AI 2009: Advances in Artificial Intelligence, 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings. Springer 2009, ISBN 978-3-642-10438-1
Contents

5867

Michael J. Jacobson Jr., Vincent Rijmen, Reihaneh Safavi-Naini (Eds.): Selected Areas in Cryptography, 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers. Springer 2009, ISBN 978-3-642-05443-3
Contents

5868

Ravindra K. Ahuja, Rolf H. Möhring, Christos D. Zaroliagis (Eds.): Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems. Lecture Notes in Computer Science Vol. 5868 Springer 2009, ISBN 978-3-642-05464-8
Contents

5869

Shay Kutten, Janez Zerovnik (Eds.): Structural Information and Communication Complexity, 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers. Springer 2010, ISBN 978-3-642-11475-5
Contents

5870

Robert Meersman, Tharam S. Dillon, Pilar Herrero (Eds.): On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I. Springer 2009, ISBN 978-3-642-05147-0
Contents

5871

Robert Meersman, Tharam S. Dillon, Pilar Herrero (Eds.): On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part II. Springer 2009, ISBN 978-3-642-05150-0
Contents

5872

Robert Meersman, Pilar Herrero, Tharam S. Dillon (Eds.): On the Move to Meaningful Internet Systems: OTM 2009 Workshops, Confederated International Workshops and Posters, ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009, Vilamoura, Portugal, November 1-6, 2009. Proceedings. Springer 2009, ISBN 978-3-642-05289-7
Contents

5873

Rachid Guerraoui, Franck Petit (Eds.): Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings. Springer 2009, ISBN 978-3-642-05117-3
Contents

5874

Jirí Fiala, Jan Kratochvíl, Mirka Miller (Eds.): Combinatorial Algorithms, 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28-July 2, 2009, Revised Selected Papers. Springer 2009, ISBN 978-3-642-10216-5
Contents

5875

George Bebis, Richard D. Boyle, Bahram Parvin, Darko Koracin, Yoshinori Kuno, Junxian Wang, Renato Pajarola, Peter Lindstrom, André Hinkenjann, Miguel L. Encarnação, Cláudio T. Silva, Daniel S. Coming (Eds.): Advances in Visual Computing, 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part I. Springer 2009, ISBN 978-3-642-10330-8
Contents

5876

George Bebis, Richard D. Boyle, Bahram Parvin, Darko Koracin, Yoshinori Kuno, Junxian Wang, Renato Pajarola, Peter Lindstrom, André Hinkenjann, Miguel L. Encarnação, Cláudio T. Silva, Daniel S. Coming (Eds.): Advances in Visual Computing, 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part II. Springer 2009, ISBN 978-3-642-10519-7
Contents

5877

Russell J. Deaton, Akira Suyama (Eds.): DNA Computing and Molecular Programming, 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers. Springer 2009, ISBN 978-3-642-10603-3
Contents

5878

Yingfei Dong, Ding-Zhu Du, Oscar H. Ibarra (Eds.): Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings. Springer 2009, ISBN 978-3-642-10630-9
Contents

5879

Paisarn Muneesawang, Feng Wu, Itsuo Kumazawa, Athikom Roeksabutr, Mark Liao, Xiaoou Tang (Eds.): Advances in Multimedia Information Processing - PCM 2009, 10th Pacific Rim Conference on Multimedia, Bangkok, Thailand, December 15-18, 2009 Proceedings. Springer 2009, ISBN 978-3-642-10466-4
Contents

5880

Stefano Spaccapietra, Lois M. L. Delcambre (Eds.): Journal on Data Semantics XIV. Springer 2009, ISBN 978-3-642-10561-6
Contents

5881

Huib Aldewereld, Virginia Dignum, Gauthier Picard (Eds.): Engineering Societies in the Agents World X, 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings. Springer 2009, ISBN 978-3-642-10202-8
Contents

5882

Shlomi Dolev, Mihai Oltean (Eds.): Optical SuperComputing, Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009. Proceedings. Springer 2009, ISBN 978-3-642-10441-1
Contents

5883

Roberto Serra, Rita Cucchiara (Eds.): AI*IA 2009: Emergent Perspectives in Artificial Intelligence, XIth International Conference of the Italian Association for Artificial Intelligence, Reggio Emilia, Italy, December 9-12, 2009, Proceedings. Springer 2009, ISBN 978-3-642-10290-5
Contents

5884

Arjan Egges, Roland Geraerts, Mark H. Overmars (Eds.): Motion in Games, Second International Workshop, MIG 2009, Zeist, The Netherlands, November 21-24, 2009. Proceedings. Springer 2009, ISBN 978-3-642-10346-9
Contents

5885

Karin Breitman, Ana Cavalcanti (Eds.): Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Springer 2009, ISBN 978-3-642-10372-8
Contents

5886

James D. Carswell, A. Stewart Fotheringham, Gavin McArdle (Eds.): Web and Wireless Geographical Information Systems, 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedings. Springer 2009, ISBN 978-3-642-10600-2
Contents

5887

Tat-Seng Chua, Yiannis Kompatsiaris, Bernard Mérialdo, Werner Haas, Georg Thallinger, Werner Bailer (Eds.): Semantic Multimedia, 4th International Conference on Semantic and Digital Media Technologies, SAMT 2009, Graz, Austria, December 2-4, 2009, Proceedings. Springer 2009, ISBN 978-3-642-10542-5
Contents

5888

Juan A. Garay, Atsuko Miyaji, Akira Otsuka (Eds.): Cryptology and Network Security, 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009. Proceedings. Springer 2009, ISBN 978-3-642-10432-9
Contents

5889

Andreas Holzinger (Ed.): HCI and Usability for Education and Work, 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings. Springer 2008, ISBN 978-3-540-89349-3
Contents

5890

...

5891

Alain Abran, René Braungarten, Reiner R. Dumke, Juan Jose Cuadrado-Gallego, Jacob Brunekreef (Eds.): Software Process and Product Measurement, International Conferences IWSM 2009 and Mensura 2009, Amsterdam, The Netherlands, November 4-6, 2009. Proceedings. Springer 2009, ISBN 978-3-642-05414-3
Contents

5892

Krzysztof Janowicz, Martin Raubal, Sergei Levashkin (Eds.): GeoSpatial Semantics, Third International Conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009. Proceedings. Springer 2009, ISBN 978-3-642-10435-0
Contents

5893

...

5894

Rudesindo Núñez-Queija, Jacques Resing (Eds.): Network Control and Optimization, Third Euro-NF Conference, NET-COOP 2009, Eindhoven, The Netherlands, November 23-25, 2009, Proceedings. Springer 2009, ISBN 978-3-642-10405-3
Contents

5895

Raghunath Othayoth Nambiar, Meikel Poess (Eds.): Performance Evaluation and Benchmarking, First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers. Springer 2009, ISBN 978-3-642-10423-7
Contents

5896

Jean Bacon, Brian F. Cooper (Eds.): Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009. Proceedings. Springer 2009, ISBN 978-3-642-10444-2
Contents

5897

...

5898

...

5899

Young-Hoon Lee, Tai-Hoon Kim, Wai-Chi Fang, Dominik Slezak (Eds.): Future Generation Information Technology, First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings. Springer 2009, ISBN 978-3-642-10508-1
Contents