Ulrik Brandes, Sabine Cornelsen (Eds.): Graph Drawing - 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers. Springer 2011 ISBN 978-3-642-18468-0 [ contents ]
6503
Somesh Jha, Anish Mathuria (Eds.): Information Systems Security - 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings. Springer 2010 ISBN 978-3-642-17713-2 [ contents ]
6504
Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz (Eds.): Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Springer 2011 ISBN 978-3-642-19582-2 [ contents ]
6505
Alain Lecomte, Samuel Tronçon (Eds.): Ludics, Dialogue and Interaction - PRELUDE Project - 2006-2009. Revised Selected Papers. Springer 2011 ISBN 978-3-642-19210-4 [ contents ]
6506
Otfried Cheong, Kyung-Yong Chwa, Kunsoo Park (Eds.): Algorithms and Computation - 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I. Springer 2010 ISBN 978-3-642-17516-9 [ contents ]
6507
Otfried Cheong, Kyung-Yong Chwa, Kunsoo Park (Eds.): Algorithms and Computation - 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part II. Springer 2010 ISBN 978-3-642-17513-8 [ contents ]
6508
Weili Wu, Ovidiu Daescu (Eds.): Combinatorial Optimization and Applications - 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I. Springer 2010 ISBN 978-3-642-17457-5 [ contents ]
6509
Weili Wu, Ovidiu Daescu (Eds.): Combinatorial Optimization and Applications - 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part II. Springer 2010 ISBN 978-3-642-17460-5 [ contents ]
David Riaño, Annette ten Teije, Silvia Miksch, Mor Peleg (Eds.): Knowledge Representation for Health-Care - ECAI 2010 Workshop KR4HC 2010, Lisbon, Portugal, August 17, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-18049-1 [ contents ]
6513
Yongwha Chung, Moti Yung (Eds.): Information Security Applications - 11th International Workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-17954-9 [ contents ]
6514
Joaquín García-Alfaro, Guillermo Navarro-Arribas, Ana R. Cavalli, Jean Leneutre (Eds.): Data Privacy Management and Autonomous Spontaneous Security - 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-19347-7 [ contents ]
6515
H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat (Eds.): Computers and Games - 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-17927-3 [ contents ]
6516
Ravi Kumar, D. Sivakumar (Eds.): Algorithms and Models for the Web-Graph - 7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010. Proceedings. Springer 2010 ISBN 978-3-642-18008-8 [ contents ]
Yasubumi Sakakibara, Yongli Mi (Eds.): DNA Computing and Molecular Programming - 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-18304-1 [ contents ]
6519
Wim van Dam, Vivien M. Kendon, Simone Severini (Eds.): Theory of Quantum Computation, Communication, and Cryptography - 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-18072-9 [ contents ]
6520
Roland Kaschek, Lois M. L. Delcambre (Eds.): The Evolution of Conceptual Modeling - From a Historical Perspective towards the Future of Conceptual Modeling [outcome of a Dagstuhl seminar held 2008]. Springer 2011 ISBN 978-3-642-17504-6 [ contents ]
6521
Mohua Banerjee, Anil Seth (Eds.): Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings. Springer 2011 ISBN 978-3-642-18025-5 [ contents ]
Frank Dignum (Ed.): Agents for Games and Simulations II - Trends in Techniques, Concepts and Design [AGS 2010, The Second International Workshop on Agents for Games and Simulations, May 10, 2010, Toronto, Canada]. Springer 2011 ISBN 978-3-642-18180-1 [ contents ]
6526
Hyoung-Joong Kim, Yun-Qing Shi, Mauro Barni (Eds.): Digital Watermarking - 9th International Workshop, IWDW 2010, Seoul, Korea, October 1-3, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-18404-8 [ contents ]
6527
Jim Davies, Leila Silva, Adenilso da Silva Simão (Eds.): Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-19828-1 [ contents ]
6528
Bernhard Beckert, Claude Marché (Eds.): Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-18069-9 [ contents ]
Tibor Bosse, Armando Geller, Catholijn M. Jonker (Eds.): Multi-Agent-Based Simulation XI - International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-18344-7 [ contents ]
6533
Björn H. Menze, Georg Langs, Zhuowen Tu, Antonio Criminisi (Eds.): Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging - International MICCAI Workshop, MCV 2010, Beijing, China, September 20, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-18420-8 [ contents ]
6534
Klaus Jansen, Roberto Solis-Oba (Eds.): Approximation and Online Algorithms - 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010. Revised Papers. Springer 2011 ISBN 978-3-642-18317-1 [ contents ]
6535
Marcin Detyniecki, Ana García-Serrano, Andreas Nürnberger (Eds.): Adaptive Multimedia Retrieval. Understanding Media and Adapting to the User - 7th International Workshop, AMR 2009, Madrid, Spain, September 24-25, 2009, Revised Selected Papers. Springer 2011 ISBN 978-3-642-18448-2 [ contents ]
6536
Raja Natarajan, Adegboyega K. Ojo (Eds.): Distributed Computing and Internet Technology - 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings. Springer 2011 ISBN 978-3-642-19055-1 [ contents ]
6537
Xiangfeng Luo, Yiwei Cao, Bo Yang, Jianxun Liu, Feiyue Ye (Eds.): New Horizons in Web-Based Learning - ICWL 2010 Workshops - ICWL 2010 Workshops: STEG, CICW, WGLBWS, and IWKDEWL, Shanghai, China, December 7-11, 2010 Revised Selected Papers. Springer 2011 ISBN 978-3-642-20538-5 [ contents ]
6538
Ranjit Jhala, David A. Schmidt (Eds.): Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings. Springer 2011 ISBN 978-3-642-18274-7 [ contents ]
6539
Ricardo Rocha, John Launchbury (Eds.): Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings. Springer 2011 ISBN 978-3-642-18377-5 [ contents ]
6540
Hiroshi Sako, Katrin Franke, Shuji Saitoh (Eds.): Computational Forensics - 4th International Workshop, IWCF 2010, Tokyo, Japan, November 11-12, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-19375-0 [ contents ]
6541
Marina De Vos, Nicoletta Fornara, Jeremy V. Pitt, George A. Vouros (Eds.): Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-21267-3 [ contents ]
6542
Úlfar Erlingsson, Roel Wieringa, Nicola Zannone (Eds.): Engineering Secure Software and Systems - Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings. Springer 2011 ISBN 978-3-642-19124-4 [ contents ]
Alex Biryukov, Guang Gong, Douglas R. Stinson (Eds.): Selected Areas in Cryptography - 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-19573-0 [ contents ]
Rex L. Page, Zoltán Horváth, Viktória Zsók (Eds.): Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers. Springer 2011 ISBN 978-3-642-22940-4 [ contents ]
6547
Salvador Abreu, Dietmar Seipel (Eds.): Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers. Springer 2011 ISBN 978-3-642-20588-0 [ contents ]
6548
Keith D. Cooper, John M. Mellor-Crummey, Vivek Sarkar (Eds.): Languages and Compilers for Parallel Computing - 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers. Springer 2011 ISBN 978-3-642-19594-5 [ contents ]
Mario Bravetti, Tevfik Bultan (Eds.): Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers. Springer 2011 ISBN 978-3-642-19588-4 [ contents ]
6552
Naoki Katoh, Amit Kumar (Eds.): WALCOM: Algorithms and Computation - 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings. Springer 2011 ISBN 978-3-642-19093-3 [ contents ]
6553
Kiriakos N. Kutulakos (Ed.): Trends and Topics in Computer Vision - ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part I. Springer 2012 ISBN 978-3-642-35748-0 [ contents ]
6554
Kiriakos N. Kutulakos (Ed.): Trends and Topics in Computer Vision - ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part II. Springer 2012 ISBN 978-3-642-35739-8 [ contents ]
6555
Jan Camenisch, Valentin S. Kisimov, Maria Dubovitskaya (Eds.): Open Research Problems in Network Security - IFIP WG 11.4 International Workshop, iNetSec 2010, Sofia, Bulgaria, March 5-6, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-19227-2 [ contents ]
6556
Javier Ruiz-del-Solar, Eric Chown, Paul-Gerhard Plöger (Eds.): RoboCup 2010: Robot Soccer World Cup XIV [papers from the 14th annual RoboCup International Symposium, Singapore, June 25, 2010]. Springer 2011 ISBN 978-3-642-20216-2 [ contents ]
6557
Christian Bettstetter, Carlos Gershenson (Eds.): Self-Organizing Systems - 5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24. 2011. Proceedings. Springer 2011 ISBN 978-3-642-19166-4 [ contents ]
6558
Aggelos Kiayias (Ed.): Topics in Cryptology - CT-RSA 2011 - The Cryptographers' Track at the RSA Conference 2011, San Francisco, CA, USA, February 14-18, 2011. Proceedings. Springer 2011 ISBN 978-3-642-19073-5 [ contents ]
6559
Julio Mariño (Ed.): Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers. Springer 2011 ISBN 978-3-642-20774-7 [ contents ]
6560
Ngoc Thanh Nguyen (Ed.): Transactions on Computational Collective Intelligence III. Springer 2011 ISBN 978-3-642-19967-7 [ contents ]
6561
Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman (Eds.): Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers. Springer 2011 ISBN 978-3-642-19750-5 [ contents ]
6562
Zygmunt Vetulani (Ed.): Human Language Technology. Challenges for Computer Science and Linguistics - 4th Language and Technology Conference, LTC 2009, Poznan, Poland, November 6-8, 2009, Revised Selected Papers. Springer 2011 ISBN 978-3-642-20094-6 [ contents ]
6563
Brian A. Malloy, Steffen Staab, Mark van den Brand (Eds.): Software Language Engineering - Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-19439-9 [ contents ]
6564
María Alpuente (Ed.): Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-20550-7 [ contents ]
6565
Marcello Balduccini, Tran Cao Son (Eds.): Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Springer 2011 ISBN 978-3-642-20831-7 [ contents ]
Dario Catalano, Nelly Fazio, Rosario Gennaro, Antonio Nicolosi (Eds.): Public Key Cryptography - PKC 2011 - 14th International Conference on Practice and Theory in Public Key Cryptography, Taormina, Italy, March 6-9, 2011. Proceedings. Springer 2011 ISBN 978-3-642-19378-1 [ contents ]
6572
Ron van der Meyden, Jan-Georg Smaus (Eds.): Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers. Springer 2011 ISBN 978-3-642-20673-3 [ contents ]
6573
…. ...
6574
Katsumi Tanaka, Peter Fröhlich, Kyoung-Sook Kim (Eds.): Web and Wireless Geographical Information Systems - 10th International Symposium, W2GIS 2011, Kyoto, Japan, March 3-4, 2011. Proceedings. Springer 2011 ISBN 978-3-642-19172-5 [ contents ]
Neil Spring, George F. Riley (Eds.): Passive and Active Measurement - 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings. Springer 2011 ISBN 978-3-642-19259-3 [ contents ]
Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko, Urs Andelfinger (Eds.): Knowledge Processing and Data Analysis - First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007 and First International Conference, KPP 2007,Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers. Springer 2011 ISBN 978-3-642-22139-2 [ contents ]
6582
Martin Wirsing, Matthias M. Hölzl (Eds.): Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Springer 2011 ISBN 978-3-642-20400-5 [ contents ]
Xuejia Lai, Moti Yung, Dongdai Lin (Eds.): Information Security and Cryptology - 6th International Conference, Inscrypt 2010, Shanghai, China, October 20-24, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-21517-9 [ contents ]
6585
Stefano Ceri, Marco Brambilla (Eds.): Search Computing - Trends and Developments [outcome of the second SeCO Workshop on Search Computing, Como/Milan, Italy, May 25-31, 2010]. Springer 2011 ISBN 978-3-642-19667-6 [ contents ]
Jeffrey Xu Yu, Myoung-Ho Kim, Rainer Unland (Eds.): Database Systems for Advanced Applications - 16th International Conference, DASFAA 2011, Hong Kong, China, April 22-25, 2011, Proceedings, Part I. Springer 2011 ISBN 978-3-642-20148-6 [ contents ]
6588
Jeffrey Xu Yu, Myoung-Ho Kim, Rainer Unland (Eds.): Database Systems for Advanced Applications - 16th International Conference, DASFAA 2011, Hong Kong, China, April 22-25, 2011, Proceedings, Part II. Springer 2011 ISBN 978-3-642-20151-6 [ contents ]
6589
John J. Salerno, Shanchieh Jay Yang, Dana S. Nau, Sun-Ki Chai (Eds.): Social Computing, Behavioral-Cultural Modeling and Prediction - 4th International Conference, SBP 2011, College Park, MD, USA, March 29-31, 2011. Proceedings. Springer 2011 ISBN 978-3-642-19655-3 [ contents ]
6590
Per Stenström (Ed.): Transactions on High-Performance Embedded Architectures and Compilers III. Springer 2011 ISBN 978-3-642-19447-4 [ contents ]
6591
Ngoc Thanh Nguyen, Chonggun Kim, Adam Janiak (Eds.): Intelligent Information and Database Systems - Third International Conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011, Proceedings, Part I. Springer 2011 ISBN 978-3-642-20038-0 [ contents ]
6592
Ngoc Thanh Nguyen, Chonggun Kim, Adam Janiak (Eds.): Intelligent Information and Database Systems - Third International Conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011, Proceedings, Part II. Springer 2011 ISBN 978-3-642-20041-0 [ contents ]
6593
Andrej Dobnikar, Uros Lotric, Branko Ster (Eds.): Adaptive and Natural Computing Algorithms - 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I. Springer 2011 ISBN 978-3-642-20281-0 [ contents ]
6594
Andrej Dobnikar, Uros Lotric, Branko Ster (Eds.): Adaptive and Natural Computing Algorithms - 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II. Springer 2011 ISBN 978-3-642-20266-7 [ contents ]
6595
Alberto Marchetti-Spaccamela, Michael Segal (Eds.): Theory and Practice of Algorithms in (Computer) Systems - First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings. Springer 2011 ISBN 978-3-642-19753-6 [ contents ]
Yuval Ishai (Ed.): Theory of Cryptography - 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011. Proceedings. Springer 2011 ISBN 978-3-642-19570-9 [ contents ]
6598
Frank Alexander Kraemer, Peter Herrmann (Eds.): System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers. Springer 2011 ISBN 978-3-642-21651-0 [ contents ]
6599
Rem W. Collier, Jürgen Dix, Peter Novák (Eds.): Programming Multi-Agent Systems - 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers. Springer 2012 ISBN 978-3-642-28938-5 [ contents ]