Luciano Baresi, Chi-Hung Chi, Jun Suzuki (Eds.):
Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings.
2009, ISBN 978-3-642-10382-7 Contents
5901
Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe (Eds.):
SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-11265-2 Contents
5902
Marcel Vinicius Medeiros Oliveira, Jim Woodcock (Eds.):
Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-10451-0 Contents
5903
Nadia Magnenat-Thalmann (Ed.):
Modelling the Physiological Human, 3D Physiological Human Workshop, 3DPH 2009, Zermatt, Switzerland, November 29 - December 2, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-10468-8 Contents
5904
Zhenjiang Hu (Ed.):
Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-10671-2 Contents
5905
Atul Prakash, Indranil Gupta (Eds.):
Information Systems Security, 5th International Conference, ICISS 2009, Kolkata, India, December 14-18, 2009, Proceedings.
Springer 2009, ISBN 978-3-642-10771-9 Contents
5906
Andrew M. Childs, Michele Mosca (Eds.):
Theory of Quantum Computation, Communication, and Cryptography, 4th Workshop, TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-10697-2 Contents
5907
Ryszard Kowalczyk, Quoc Bao Vo, Zakaria Maamar, Michael N. Huhns (Eds.):
Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2009 International Workshop SOCASE 2009, Budapest, Hungary, May 11, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-10738-2 Contents
Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski (Eds.):
Large-Scale Scientific Computing, 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers.
Springer 2010, ISBN 978-3-642-12534-8 Contents
5911
Christophe Paul, Michel Habib (Eds.):
Graph-Theoretic Concepts in Computer Science, 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers.
2010, ISBN 978-3-642-11408-3 Contents
5912
Mitsuru Matsui (Ed.):
Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-10365-0 Contents
5913
Anupam Datta (Ed.):
Advances in Computer Science - ASIAN 2009. Information Security and Privacy, 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-10621-7 Contents
5914
Dimitris Karagiannis, Zhi Jin (Eds.):
Knowledge Science, Engineering and Management, Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-10487-9 Contents
5915
Ido Iurgel, Nelson Zagalo, Paolo Petta (Eds.):
Interactive Storytelling, Second Joint International Conference on Interactive Digital Storytelling, ICIDS 2009, Guimarães, Portugal, December 9-11, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-10642-2 Contents
5916
Susanne Boll, Qi Tian, Lei Zhang, Zili Zhang, Yi-Ping Phoebe Chen (Eds.):
Advances in Multimedia Modeling, 16th International Multimedia Modeling Conference, MMM 2010, Chongqing, China, January 6-8, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-11300-0 Contents
5917
Jianer Chen, Fedor V. Fomin (Eds.):
Parameterized and Exact Computation, 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-11268-3 Contents
5918
Thrasyvoulos Spyropoulos, Karin Anna Hummel (Eds.):
Self-Organizing Systems, 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-10864-8 Contents
5919
Lars Braubach, Jean-Pierre Briot, John Thangarajah (Eds.):
Programming Multi-Agent Systems - 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers.
Springer 2010, ISBN 978-3-642-14842-2 Contents
5920
Frank Dignum, Jeffrey M. Bradshaw, Barry G. Silverman, Willem A. van Doesburg (Eds.):
Agents for Games and Simulations, Trends in Techniques, Concepts and Design [AGS 2009, The First International Workshop on Agents for Games and Simulations, May 11, 2009, Budapest, Hungary].
Springer 2009, ISBN 978-3-642-11197-6 Contents
5921
Matthew G. Parker (Ed.):
Cryptography and Coding, 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-10867-9 Contents
5922
Bimal K. Roy, Nicolas Sendrier (Eds.):
Progress in Cryptology - INDOCRYPT 2009, 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-10627-9 Contents
5923
Tarek F. Abdelzaher, Michel Raynal, Nicola Santoro (Eds.):
Principles of Distributed Systems, 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-10876-1 Contents
5924
Matthew E. Taylor, Karl Tuyls (Eds.):
Adaptive and Learning Agents, Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-11813-5 Contents
5925
Jung-Jin Yang, Makoto Yokoo, Takayuki Ito, Zhi Jin, Paul Scerri (Eds.):
Principles of Practice in Multi-Agent Systems, 12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-11160-0 Contents
5926
Asunción Gómez-Pérez, Yong Yu, Ying Ding (Eds.):
The Semantic Web, Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6-9, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-10870-9 Contents
5927
Sihan Qing, Chris J. Mitchell, Guilin Wang (Eds.):
Information and Communications Security, 11th International Conference, ICICS 2009, Beijing, China, December 14-17, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-11144-0 Contents
Stefano Leonardi (Ed.):
Internet and Network Economics, 5th International Workshop, WINE 2009, Rome, Italy, December 14-18, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-10840-2 Contents
Martin Gilje Jaatun, Gansen Zhao, Chunming Rong (Eds.):
Cloud Computing, First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-10664-4 Contents
5932
Heung Youl Youm, Moti Yung (Eds.):
Information Security Applications, 10th International Workshop, WISA 2009, Busan, Korea, August 25-27, 2009, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-10837-2 Contents
5933
Jordi Solé i Casals, Vladimir Zaiats (Eds.):
Advances in Nonlinear Speech Processing, International Conference on Nonlinear Speech Processing, NOLISP 2009, Vic, Spain, June 25-27. Revised Selected Papers.
Springer 2010, ISBN 978-3-642-11508-0 Contents
5934
Stefan Kopp, Ipke Wachsmuth (Eds.):
Gesture in Embodied Communication and Human-Computer Interaction, 8th International Gesture Workshop, GW 2009, Bielefeld, Germany, February 25-27, 2009, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-12552-2 Contents
Moira C. Norrie, Michael Grossniklaus (Eds.):
Object Databases, Second International Conference, ICOODB 2009, Zurich, Switzerland, July 1-3, 2009. Revised Papers.
Springer 2010, ISBN 978-3-642-14680-0 Contents
5937
Manuel Carro, Ricardo Peña (Eds.):
Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-11502-8 Contents
5938
Wu Zhang, Zhangxin Chen, Craig C. Douglas, Weiqin Tong (Eds.):
High Performance Computing and Applications, Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-11841-8 Contents
5939
Joaquín García-Alfaro, Guillermo Navarro-Arribas, Nora Cuppens-Boulahia, Yves Roudier (Eds.):
Data Privacy Management and Autonomous Spontaneous Security, 4th International Workshop, DPM 2009 and Second International Workshop, SETOP 2009, St. Malo, France, September 24-25, 2009, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-11206-5 Contents
Juraj Hromkovic, Richard Královic, Jan Vahrenhold (Eds.):
Teaching Fundamentals Concepts of Informatics, 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-11375-8 Contents
5942
Md. Saidur Rahman, Satoshi Fujita (Eds.):
WALCOM: Algorithms and Computation, 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-11439-7 Contents
5943
David Riaño, Annette ten Teije, Silvia Miksch, Mor Peleg (Eds.):
Knowledge Representation for Health-Care: Data, Processes and Guidelines, AIME 2009 Workshop KR4HC 2009, Verona, Italy, July 19, 2009, Revised Selected and Invited Papers.
Springer 2010, ISBN 978-3-642-11807-4 Contents
5944
Gilles Barthe, Manuel V. Hermenegildo (Eds.):
Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-11318-5 Contents
Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (Eds.):
Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers.
Springer 2010, ISBN 978-3-642-11485-4 Contents
5948
Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd (Eds.):
Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers.
Springer 2010, ISBN 978-3-642-11354-3 Contents
Stefano Ceri, Marco Brambilla (Eds.):
Search Computing: Challenges and Directions [outcome of the first SeCO Workshop on Search Computing Challenges and Directions, Como, Italy, June 17-19, 2009].
Springer 2010, ISBN 978-3-642-12309-2 Contents
José C. Monteiro, Rene van Leuken (Eds.):
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-11801-2 Contents
Gabriele Puppis:
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems.
Lecture Notes in Computer Science Vol. 5955 Springer 2010, ISBN 978-3-642-11880-7 Contents
5956
Sebastian Link, Henri Prade (Eds.):
Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-11828-9 Contents
Fernando Bello, Stephane Cotin (Eds.):
Biomedical Simulation, 5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-11614-8 Contents
Xiaoyi Jiang, Matthew Y. Ma, Chang Wen Chen (Eds.):
Mobile Multimedia Processing: Fundamentals, Methods, and Applications [outcome of the First International Workshop of Mobile Multimedia Processing (WMMP 2008), Tampa, Florida, USA, December 7, 2008].
Springer 2010, ISBN 978-3-642-12348-1 Contents
5961
Farhad Arbab, Marjan Sirjani (Eds.):
Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-11622-3 Contents
5962
Philippe A. Palanque, Jean Vanderdonckt, Marco Winckler (Eds.):
Human Error, Safety and Systems Development, 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-11749-7 Contents
5963
David England, Philippe A. Palanque, Jean Vanderdonckt, Peter J. Wild (Eds.):
Task Models and Diagrams for User Interface Design, 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-11796-1 Contents
Fabio Massacci, Dan S. Wallach, Nicola Zannone (Eds.):
Engineering Secure Software and Systems, Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-11746-6 Contents
5966
Tomasz Janowski, Hrushikesha Mohanty (Eds.):
Distributed Computing and Internet Technology, 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-11658-2 Contents
5967
Anna Esposito, Nick Campbell, Carl Vogel, Amir Hussain, Anton Nijholt (Eds.):
Development of Multimodal Interfaces: Active Listening and Synchrony, Second COST 2102 International Training School, Dublin, Ireland, March 23-27, 2009, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-12396-2 Contents
5968
Janis Grundspenkis, Marite Kirikova, Yannis Manolopoulos, Leonids Novickis (Eds.):
Advances in Databases and Information Systems, Associated Workshops and Doctoral Consortium of the 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009. Revised Selected Papers.
Springer 2010, ISBN 978-3-642-12081-7 Contents
5969
Mark van den Brand, Dragan Gasevic, Jeff Gray (Eds.):
Software Language Engineering, Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-12106-7 Contents
Matthias Müller-Hannemann, Stefan Schirra (Eds.):
Algorithm Engineering: Bridging the Gap between Algorithm Theory and Practice [outcome of a Dagstuhl Seminar].
Springer 2010, ISBN 978-3-642-14865-1 Contents
5972
Norbert E. Fuchs (Ed.):
Controlled Natural Language, Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers.
Springer 2010, ISBN 978-3-642-14417-2 Contents
5973
Kaoru Kurosawa (Ed.):
Information Theoretic Security, 4th International Conference, ICITS 2009, Shizuoka, Japan, December 3-6, 2009. Revised Selected Papers.
Springer 2010, ISBN 978-3-642-14495-0 Contents
5974
Christian Müller-Schloer, Wolfgang Karl, Sami Yehia (Eds.):
Architecture of Computing Systems - ARCS 2010, 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-11949-1 Contents
Daniele Micciancio (Ed.):
Theory of Cryptography, 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-11798-5 Contents
5979
Santiago Escobar (Ed.):
Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-11998-9 Contents
Hiroyuki Kitagawa, Yoshiharu Ishikawa, Qing Li, Chiemi Watanabe (Eds.):
Database Systems for Advanced Applications, 15th International Conference, DASFAA 2010, Tsukuba, Japan, April 1-4, 2010, Proceedings, Part I.
Springer 2010, ISBN 978-3-642-12025-1 Contents
5982
Hiroyuki Kitagawa, Yoshiharu Ishikawa, Qing Li, Chiemi Watanabe (Eds.):
Database Systems for Advanced Applications, 15th International Conference, DASFAA 2010, Tsukuba, Japan, April 1-4, 2010, Proceedings, Part II.
Springer 2010, ISBN 978-3-642-12097-8 Contents
5983
Pierpaolo Degano, Joshua D. Guttman (Eds.):
Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-12458-7 Contents
5984
Donghoon Lee, Seokhie Hong (Eds.):
Information, Security and Cryptology - ICISC 2009, 12th International Conference, Seoul, Korea, December 2-4, 2009, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-14422-6 Contents
5985
Josef Pieprzyk (Ed.):
Topics in Cryptology - CT-RSA 2010, The Cryptographers' Track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-11924-8 Contents
5986
Léonard Kwuida, Baris Sertkaya (Eds.):
Formal Concept Analysis, 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-11927-9 Contents
5987
Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb (Eds.):
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-12103-6 Contents
5988
Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca (Eds.):
Current Topics in Artificial Intelligence, 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers.
Springer 2010, ISBN 978-3-642-14263-5 Contents
5989
Luc De Raedt (Ed.):
Inductive Logic Programming, 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers.
Springer 2010, ISBN 978-3-642-13839-3 Contents
5990
Ngoc Thanh Nguyen, Manh Thanh Le, Jerzy Swiatek (Eds.):
Intelligent Information and Database Systems, Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010. Proceedings, Part I.
Springer 2010, ISBN 978-3-642-12144-9 Contents
5991
Ngoc Thanh Nguyen, Manh Thanh Le, Jerzy Swiatek (Eds.):
Intelligent Information and Database Systems, Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010. Proceedings, Part II.
Springer 2010, ISBN 978-3-642-12100-5 Contents
Hongbin Zha, Rin-ichiro Taniguchi, Stephen J. Maybank (Eds.):
Computer Vision - ACCV 2009, 9th Asian Conference on Computer Vision, Xi'an, China, September 23-27, 2009, Revised Selected Papers, Part I.
Springer 2010, ISBN 978-3-642-12306-1 Contents
5995
Hongbin Zha, Rin-ichiro Taniguchi, Stephen J. Maybank (Eds.):
Computer Vision - ACCV 2009, 9th Asian Conference on Computer Vision, Xi'an, China, September 23-27, 2009, Revised Selected Papers, Part II.
Springer 2010, ISBN 978-3-642-12303-0 Contents
5996
Hongbin Zha, Rin-ichiro Taniguchi, Stephen J. Maybank (Eds.):
Computer Vision - ACCV 2009, 9th Asian Conference on Computer Vision, Xi'an, China, September 23-27, 2009, Revised Selected Papers, Part III.
Springer 2010, ISBN 978-3-642-12296-5 Contents
5997
Neamat El Gayar, Josef Kittler, Fabio Roli (Eds.):
Multiple Classifier Systems, 9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-12126-5 Contents
5998
Friedhelm Schwenker, Neamat El Gayar (Eds.):
Artificial Neural Networks in Pattern Recognition, 4th IAPR TC3 Workshop, ANNPR 2010, Cairo, Egypt, April 11-13, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-12158-6 Contents
5999
Shinji Kikuchi, Shelly Sachdeva, Subhash Bhalla (Eds.):
Databases in Networked Information Systems, 6th International Workshop, DNIS 2010, Aizu-Wakamatsu, Japan, March 29-31, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-12037-4 Contents
data released under the ODC-BY 1.0 license
