This book constitutes the refereed proceedings of the 18th International Conference on the Theory and Application of Cryptology and Information Security, Asiacrypt 2012, held in Beijing, China, in December 2012.
This book constitutes the refereed proceedings of the 6th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2012, held in Vitoria-Gasteiz, Spain, in December 2012.
This book constitutes the proceedings of the 4th International Conference on Social Informatics, SocInfo 2012, held in Lausanne, Switzerland, in December 2012.
The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena.
This book constitutes the refereed proceedings of the 11th International Conference on Cryptology and Network Security, CANS 2012, held in Darmstadt, Germany, in December 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International ICST Conference on Mobile Multimedia Communications (MOBIMEDIA 2010) held in Lisbon, Portugal, in September 2010, which was accompanied by the First International Workshop on Cognitive Radio and Cooperative Strategies for POWER Saving (C2POWER 2010), the Workshop on Impact of Scalable Video Coding on Multimedia Provisioning (SVCVision 2010), and the First International Workshop on Energy-efficient and Reconfigurable Transceivers (EERT 2010).
This book constitutes the refereed proceedings of the 16th International Conference on Principles of Distributed Systems, OPODIS 2012, held in Rome, Italy, in December 2012.
This book constitutes the refereed proceedings of the 4th International Workshop on Ambient Assisted Living, IWAAL 2012, held in Vitoria-Gasteiz, Spain, in December 2012.
This book constitutes the refereed proceedings of the 25th Australasian Joint Conference on Artificial Intelligence, AI 2012, held in Sydney, Australia, in December 2012.
This book constitutes the refereed proceedings of the 8th International Conference on Advanced Data Mining and Applications, ADMA 2012, held in Nanjing, China, in December 2012.
The two volume set LNCS 7439 and 7440 comprises the proceedings of the 12th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2012, as well as some workshop papers of the CDCN 2012 workshop which was held in conjunction with this conference.
The five volume set LNCS 7663, LNCS 7664, LNCS 7665, LNCS 7666 and LNCS 7667 constitutes the proceedings of the 19th International Conference on Neural Information Processing, ICONIP 2012, held in Doha, Qatar, in November 2012.
The five volume set LNCS 7663, LNCS 7664, LNCS 7665, LNCS 7666 and LNCS 7667 constitutes the proceedings of the 19th International Conference on Neural Information Processing, ICONIP 2012, held in Doha, Qatar, in November 2012.
The five volume set LNCS 7663, LNCS 7664, LNCS 7665, LNCS 7666 and LNCS 7667 constitutes the proceedings of the 19th International Conference on Neural Information Processing, ICONIP 2012, held in Doha, Qatar, in November 2012.
These proceedings present technical papers selected from the 2012 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2012), held on December 15-17 in Beijing.
This book constitutes the proceedings of the 14th International Workshop on Cryptographic Hardware and Embedded Systems, CHES 2012, held in Leuven, Belgium, in September 2012.
The five volume set LNCS 7663, LNCS 7664, LNCS 7665, LNCS 7666 and LNCS 7667 constitutes the proceedings of the 19th International Conference on Neural Information Processing, ICONIP 2012, held in Doha, Qatar, in November 2012.
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Artificial Intelligence, SBIA 2012, held in Curitiba, Brazil, in October 2012.
This book constitutes the refereed proceedings of the 32nd Annual International Cryptology Conference, CRYPTO 2012, held in Santa Barbara, CA, USA, in August 2012.
This book constitutes the refereed proceedings of the 4th International Conference on Human-Centered Software Engineering, HCSE 2012, held in Toulouse, France, in October 2012.
This book constitutes the refereed proceedings of the Third International Conference on Simulation, Modeling, and Programming for Autonomous Robots, SIMPAR 2012, held in Tsukuba, Japan, in November 2012.
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications.
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011.
The book consists of 35 extended chapters which have been selected and invited from the submissions to the 4th International Conference on Computational Collective Intelligence Technologies and Applications (ICCCI 2012) held on November 28-30, 2012 in Ho Chi Minh City, Vietnam.
This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012.
This book constitutes the refereed proceedings of CVM 2012, the First International Conference on Computational Visual Media, held in Beijing, China, in November 2012.
The seven-volume set comprising LNCS volumes 7572-7578 constitutes the refereed proceedings of the 12th European Conference on Computer Vision, ECCV 2012, held in Florence, Italy, in October 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011.
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice.
This book constitutes the refereed proceedings of the Third International Conference on Information Computing and Applications, ICICA 2012, held in Chengde, China, in September 2012.
This book constitutes the refereed proceedings of the 18th International Conference on Information and Software Technologies, ICIST 2012, held in Kaunas, Lithuania, in September 2012.
This book constitutes the refereed proceedings of the 19th International Symposium on String Processing and Information Retrieval, SPIRE 2012, held in Cartagena de Indias, Colombia, in October 2012.
This book constitutes the refereed proceedings of the 31st International Conference on Conceptual Modeling, ER 2012, held in Florence, Italy, in October 2012.
This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Virtual Agents, IVA 2012, held in Santa Cruz, CA, USA, in September 2012.
This book constitutes the refereed proceedings of workshops, held at the 31st International Conference on Conceptual Modeling, ER 2012, in Florence, Italy in October 2012.
This book constitutes the refereed proceedings of the 15th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2012, held in Varna, Bulgaria in September 2012.
This book constitutes the proceedings of the 18th Collaboration Researchers' International Working Group Conference on Collaboration and Technology, held in Raesfeld, Germany, in September 2012.
This book constitutes the refereed proceedings of the 7th International Symposium on Parameterized and Exact Computation, IPEC 2012, in Ljubljana, Slovenia, in September 2012.
This book constitutes the revised selected papers of the 4th International Provenance and Annotation Workshop, IPAW 2012, held in Santa Barbara, CA, USA, in June 2012.
This book constitutes the proceedings of the 12th International Conference on Transport Systems Telematics, TST 2012, held in Katowice-Ustron, Poland, in October 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
This book constitutes the refereed proceedings of the 4th Western European Workshop on Research in Cryptology, WEWoRC 2011, held in Weimar Germany, in July 2011.
This book constitutes the refereed proceedings of the 5th INNS IAPR TC3 GIRPR International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2012, held in Trento, Italy, in September 2012.
This book constitutes the refereed proceedings of the 17th Iberoamerican Congress on Pattern Recognition, CIARP 2012, held in Buenos Aires, Argentina, in September 2012.
This volume contains 9 thoroughly refereed and revised papers detailing recent advances in research on designing trading agents and mechanisms for agent-mediated e-commerce.
This book constitutes the refereed proceedings of the 7th International Conference on Pattern Recognition in Bioinformatics, PRIB 2012, held in Tokyo, Japan, in November 2012.
This book constitutes the refereed proceedings of the 11th International Conference on Computer Information Systems and Industrial Management, CISIM 2012, held in Venice, Italy, in September 2012.