Sabina Jeschke, Honghai Liu, Daniel Schilberg (Eds.): Intelligent Robotics and Applications - 4th International Conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, Proceedings, Part I. Springer 2011 ISBN 978-3-642-25485-7 [ contents ]
7102
Sabina Jeschke, Honghai Liu, Daniel Schilberg (Eds.): Intelligent Robotics and Applications - 4th International Conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, Proceedings, Part II. Springer 2011 ISBN 978-3-642-25488-8 [ contents ]
Dianhui Wang, Mark Reynolds (Eds.): AI 2011: Advances in Artificial Intelligence - 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings. Springer 2011 ISBN 978-3-642-25831-2 [ contents ]
7107
Daniel J. Bernstein, Sanjit Chatterjee (Eds.): Progress in Cryptology - INDOCRYPT 2011 - 12th International Conference on Cryptology in India, Chennai, India, December 11-14, 2011. Proceedings. Springer 2011 ISBN 978-3-642-25577-9 [ contents ]
Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy (Eds.): Principles of Distributed Systems - 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings. Springer 2011 ISBN 978-3-642-25872-5 [ contents ]
7110
Yun Q. Shi (Ed.): Transactions on Data Hiding and Multimedia Security VII. Springer 2012 ISBN 978-3-642-28692-6 [ contents ]
7111
Thomas Erlebach, Sotiris E. Nikoletseas, Pekka Orponen (Eds.): Algorithms for Sensor Systems - 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-28208-9 [ contents ]
7112
Dániel Marx, Peter Rossmanith (Eds.): Parameterized and Exact Computation - 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers. Springer 2012 ISBN 978-3-642-28049-8 [ contents ]
7113
Peter Vrancx, Matthew Knudson, Marek Grzes (Eds.): Adaptive and Learning Agents - International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-28498-4 [ contents ]
Souhwan Jung, Moti Yung (Eds.): Information Security Applications - 12th International Workshop, WISA 2011, Jeju Island, Korea, August 22-24, 2011. Revised Selected Papers. Springer 2012 ISBN 978-3-642-27889-1 [ contents ]
7116
Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski (Eds.): Large-Scale Scientific Computing - 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-29842-4 [ contents ]
Ali Miri, Serge Vaudenay (Eds.): Selected Areas in Cryptography - 18th International Workshop, SAC 2011, Toronto, ON, Canada, August 11-12, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-28495-3 [ contents ]
Jie Tang, Irwin King, Ling Chen, Jianyong Wang (Eds.): Advanced Data Mining and Applications - 7th International Conference, ADMA 2011, Beijing, China, December 17-19, 2011, Proceedings, Part I. Springer 2011 ISBN 978-3-642-25852-7 [ contents ]
7121
Jie Tang, Irwin King, Ling Chen, Jianyong Wang (Eds.): Advanced Data Mining and Applications - 7th International Conference, ADMA 2011, Beijing, China, December 17-19, 2011, Proceedings, Part II. Springer 2011 ISBN 978-3-642-25855-8 [ contents ]
Gheorghe Adam, Ján Busa, Michal Hnatic (Eds.): Mathematical Modeling and Computational Science - International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-28211-9 [ contents ]
7126
George Danezis, Sven Dietrich, Kazue Sako (Eds.): Financial Cryptography and Data Security - FC 2011 Workshops, RLCPS and WECSR 2011, Rodney Bay, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-29888-2 [ contents ]
7127
Tuomas Aura, Kimmo Järvinen, Kaisa Nyberg (Eds.): Information Security Technology for Applications - 15th Nordic Conference on Secure IT Systems, NordSec 2010, Espoo, Finland, October 27-29, 2010, Revised Selected Papers. Springer 2012 ISBN 978-3-642-27936-2 [ contents ]
7128
Yun-Qing Shi, Hyoung-Joong Kim, Fernando Pérez-González (Eds.): Digital Forensics and Watermarking - 10th International Workshop, IWDW 2011, Atlantic City, NJ, USA, October 23-26, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-32204-4 [ contents ]
Sanjay Modgil, Nir Oren, Francesca Toni (Eds.): Theorie and Applications of Formal Argumentation - First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-29183-8 [ contents ]
7133
Kristján Jónasson (Ed.): Applied Parallel and Scientific Computing - 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I. Springer 2012 ISBN 978-3-642-28150-1 [ contents ]
7134
Kristján Jónasson (Ed.): Applied Parallel and Scientific Computing - 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II. Springer 2012 ISBN 978-3-642-28144-0 [ contents ]
Sanjay V. Rajopadhye, Michelle Mills Strout (Eds.): Languages and Compilers for Parallel Computing, 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers. Springer 2013 ISBN 978-3-642-36035-0 [ contents ]
Viktor Kuncak, Andrey Rybalchenko (Eds.): Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Springer 2012 ISBN 978-3-642-27939-3 [ contents ]
7149
Claudio V. Russo, Neng-Fa Zhou (Eds.): Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. Springer 2012 ISBN 978-3-642-27693-4 [ contents ]
7150
Kurt Vanmechelen, Jörn Altmann, Omer F. Rana (Eds.): Economics of Grids, Clouds, Systems, and Services - 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-28674-2 [ contents ]
7151
Zhiming Liu, Alan Wassyng (Eds.): Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. Springer 2012 ISBN 978-3-642-32354-6 [ contents ]
7152
Rajeev Joshi, Peter Müller, Andreas Podelski (Eds.): Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings. Springer 2012 ISBN 978-3-642-27704-7 [ contents ]
7153
Thomas Lukasiewicz, Attila Sali (Eds.): Foundations of Information and Knowledge Systems - 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings. Springer 2012 ISBN 978-3-642-28471-7 [ contents ]
7154
R. Ramanujam, Srini Ramaswamy (Eds.): Distributed Computing and Internet Technology - 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings. Springer 2012 ISBN 978-3-642-28072-6 [ contents ]
Md. Saidur Rahman, Shin-Ichi Nakano (Eds.): WALCOM: Algorithms and Computation - 6th International Workshop, WALCOM 2012, Dhaka, Bangladesh, February 15-17, 2012. Proceedings. Springer 2012 ISBN 978-3-642-28075-7 [ contents ]
7158
Gian Pietro Picco, Wendi B. Heinzelman (Eds.): Wireless Sensor Networks - 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings. Springer 2012 ISBN 978-3-642-28168-6 [ contents ]
7159
Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (Eds.): Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings. Springer 2012 ISBN 978-3-642-28165-5 [ contents ]
7160
Michael J. Dinneen, Bakhadyr Khoussainov, André Nies (Eds.): Computation, Physics and Beyond - International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers. Springer 2012 ISBN 978-3-642-27653-8 [ contents ]
7161
Peeter Laud (Ed.): Information Security Technology for Applications - 16th Nordic Conference on Secure IT Systems, NordSec 2011, Tallinn, Estonia, October 26-28, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-29614-7 [ contents ]
7162
Edmund M. Clarke, Irina Virbitskaite, Andrei Voronkov (Eds.): Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-29708-3 [ contents ]
7163
Svetla Petkova-Nikova, Andreas Pashalidis, Günther Pernul (Eds.): Public Key Infrastructures, Services and Applications - 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-29803-5 [ contents ]
7164
Roberto Solis-Oba, Giuseppe Persiano (Eds.): Approximation and Online Algorithms - 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-29115-9 [ contents ]
7165
Alexis De Vos, Robert Wille (Eds.): Reversible Computation - Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. Springer 2012 ISBN 978-3-642-29516-4 [ contents ]
7166
Fernando A. Kuipers, Poul E. Heegaard (Eds.): Self-Organizing Systems - 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings. Springer 2012 ISBN 978-3-642-28582-0 [ contents ]
7167
Jörg Kienzle (Ed.): Models in Software Engineering - Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers. Springer 2012 ISBN 978-3-642-29644-4 [ contents ]
7168
H. Jaap van den Herik, Aske Plaat (Eds.): Advances in Computer Games - 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-31865-8 [ contents ]
Roberto Bruni, Vladimiro Sassone (Eds.): Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers. Springer 2012 ISBN 978-3-642-30064-6 [ contents ]
7174
…. ...
7175
Michael Rosner, Norbert E. Fuchs (Eds.): Controlled Natural Language - Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers. Springer 2012 ISBN 978-3-642-31174-1 [ contents ]
7176
Marco Carbone, Jean-Marc Petit (Eds.): Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-29833-2 [ contents ]
7177
Ricardo Peña, Marko C. J. D. van Eekelen, Olha Shkaravska (Eds.): Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-32494-9 [ contents ]
7178
Orr Dunkelman (Ed.): Topics in Cryptology - CT-RSA 2012 - The Cryptographers' Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 - March 2, 2012. Proceedings. Springer 2012 ISBN 978-3-642-27953-9 [ contents ]
7179
Andreas Herkersdorf, Kay Römer, Uwe Brinkschulte (Eds.): Architecture of Computing Systems - ARCS 2012 - 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings. Springer 2012 ISBN 978-3-642-28292-8 [ contents ]
7180
Nikolaj Bjørner, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. Springer 2012 ISBN 978-3-642-28716-9 [ contents ]
7181
Alexander F. Gelbukh (Ed.): Computational Linguistics and Intelligent Text Processing - 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part I. Springer 2012 ISBN 978-3-642-28603-2 [ contents ]
7182
Alexander F. Gelbukh (Ed.): Computational Linguistics and Intelligent Text Processing - 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part II. Springer 2012 ISBN 978-3-642-28600-1 [ contents ]
7183
Adrian Horia Dediu, Carlos Martín-Vide (Eds.): Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Springer 2012 ISBN 978-3-642-28331-4 [ contents ]
Sarfraz Khurshid, Koushik Sen (Eds.): Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-29859-2 [ contents ]
7187
Aggelos Kiayias, Helger Lipmaa (Eds.): E-Voting and Identity - Third International Conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-32746-9 [ contents ]
7188
Scott Sanner, Marcus Hutter (Eds.): Recent Advances in Reinforcement Learning - 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised Selected Papers. Springer 2012 ISBN 978-3-642-29945-2 [ contents ]
Nina Taft, Fabio Ricciato (Eds.): Passive and Active Measurement - 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012. Proceedings. Springer 2012 ISBN 978-3-642-28536-3 [ contents ]
7193
…. ...
7194
Ronald Cramer (Ed.): Theory of Cryptography - 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings. Springer 2012 ISBN 978-3-642-28913-2 [ contents ]
7195
Björn Regnell, Daniela E. Damian (Eds.): Requirements Engineering: Foundation for Software Quality - 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings. Springer 2012 ISBN 978-3-642-28713-8 [ contents ]
7196
Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen (Eds.): Intelligent Information and Database Systems - 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part I. Springer 2012 ISBN 978-3-642-28486-1 [ contents ]
7197
Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen (Eds.): Intelligent Information and Database Systems - 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part II. Springer 2012 ISBN 978-3-642-28489-2 [ contents ]
7198
Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen (Eds.): Intelligent Information and Database Systems - 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part III. Springer 2012 ISBN 978-3-642-28492-2 [ contents ]