This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012.
This book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2012, CT-RSA 2012, held in San Francisco, CA, USA, in February/March 2012.
This book constitutes the proceedings of the First International Conference on Computational Intelligence and Information Technology, CIIT 2011, held in Pune, India, in November 2011.
This book constitutes the refereed proceedings of the 7th International Workshop on Databases in Networked Information Systems, DNIS 2011, held in Aizu-Wakamatsu, Japan in December 2011.
This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Computational Challenges and Clinical Opportunities in Virtual Colonoscopy and Abdominal Imaging, held in conjunction with MICCAI 2010, in Beijing, China, on September 20, 2010.
The two volume set LNAI 7101 and 7102 constitute the refereed proceedings of the 4th International Conference on Intelligent Robotics and Applications, ICIRA 2011, held in Aachen, Germany, in November 2011.
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Learning and Intelligent Optimization, LION 5, held in Rome, Italy, in January 2011.
This book constitutes the refereed proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC 2011, held in Yokohama, Japan in December 2011.
This book constitutes the refereed proceedings of the 10th International Conference on Cryptology and Network Security, CANS 2011, held in Sanya, China, in December 2011.
This book constitutes the thoroughly refereed post-proceedings of four workshops held as satellite events of the JSAI International Symposia on Artificial Intelligence 2010, in Tokyo, Japan, in November 2010.
This book constitutes the refereed proceedings of the 12th International Conference on Cryptology in India, INDOCRYPT 2011, held in Chennai, India, in December 2011.
This book constitutes the refereed proceedings of the 13th IMA International Conference on Cryptography and Coding, IMACC 2011, held in Oxford, UK in December 2011.
This book constitutes the refereed proceedings of the International Conference, VISIGRAPP 2010, the Joint Conference on Computer Vision Theory and Applications (VISAPP), on Imaging Theory and Applications (IMAGAPP), and on Computer Graphics Theory and Applications (GRAPP), held in Angers, France, in May 2010.
The volume includes a set of selected papers extended and revised from the International Conference on Teaching and Computational Science (WTCS 2009) held on December 19- 20, 2009, Shenzhen, China.
This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011.
The volume includes a set of selected papers extended and revised from the I2009 Pacific-Asia Conference on Knowledge Engineering and Software Engineering (KESE 2009) was held on December 19~ 20, 2009, Shenzhen, China.
This 4-Volume-Set, CCIS 0251 - CCIS 0254, constitutes the refereed proceedings of the International Conference on Informatics Engineering and Information Science, ICIEIS 2011, held in Kuala Lumpur, Malaysia, in November 2011.
This book constitutes the refereed proceedings of the 4th International Workshop on Post-Quantum Cryptography, PQCrypto 2011, held in Taipei, Taiwan, in November/December 2011.
The two volume set LNAI 7101 and LNAI 7102 constitutes the refereed proceedings of the 4th International Conference on Intelligent Robotics and Applications, ICIRA 2011, held in Aachen, Germany, in November 2011.
This 4-Volume-Set, CCIS 0251 - CCIS 0254, constitutes the refereed proceedings of the International Conference on Informatics Engineering and Information Science, ICIEIS 2011, held in Kuala Lumpur, Malaysia, in November 2011.
This 4-Volume-Set, CCIS 0251 - CCIS 0254, constitutes the refereed proceedings of the International Conference on Informatics Engineering and Information Science, ICIEIS 2011, held in Kuala Lumpur, Malaysia, in November 2011.
This 4-Volume-Set, CCIS 0251 - CCIS 0254, constitutes the refereed proceedings of the International Conference on Informatics Engineering and Information Science, ICIEIS 2011, held in Kuala Lumpur, Malaysia, in November 2011.
The two-volume proceedings LNCS 7087 + LNCS 7088 constitute the proceedings of the 5th Pacific Rim Symposium on Image and Video Technology, PSIVT 2011, held in Gwangju, Korea, in November 2011.
The volume includes a set of selected papers extended and revised from the International Conference on Informatics, Cybernetics, and Computer Engineering.
The two-volume set LNAI 7094 and LNAI 7095 constitutes the refereed proceedings of the 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, held in Puebla, Mexico, in November/December 2011.
This book constitutes the refereed proceedings of the 14th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, held in La Laguna, Canary Islands, Spain, in November 2011.
This book constitutes the refereed proceedings of the 16th Iberoamerican Congress on Pattern Recognition, CIARP 2011, held in Pucon, Chile, in November 2011.
This book constitutes the refereed post-proceedings of the Second International Conference on Theoretical and Mathematical Foundations of Computer Science, ICTMF 2011, held in Singapore in May 2011.
The two-volume proceedings LNCS 7087 + 7088 constitute the proceedings of the 5th Pacific Rim Symposium, PSIVT 2011, held in Gwangju, Korea, in November 2011.
The two-volume set LNAI 7094 and 7095 constitutes the refereed proceedings of the 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, held in Puebla, Mexico, in November/December 2011.
The three volume set LNCS 7062, LNCS 7063, and LNCS 7064 constitutes the proceedings of the 18th International Conference on Neural Information Processing, ICONIP 2011, held in Shanghai, China, in November 2011.
This book constitutes the refereed proceedings of the International Symposium on Integrated Uncertainty in Knowledge Modeling and Decision Making, IUKM 2011, held in Hangzhou, China, in October 2011.
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011.
The two-volume set LNCS 7066 and LNCS 7067 constitutes the proceedings of the Second International Visual Informatics Conference, IVIC 2011, held in Selangor, Malaysia, during November 9-11, 2011.
The two-volume set LNCS 7066 and LNCS 7067 constitutes the proceedings of the Second International Visual Informatics Conference, IVIC 2011, held in Selangor, Malaysia, during November 9-11, 2011.
This book constitutes the refereed post-proceedings of the Second International Conference on High Performance Networking, Computing, and Communication systems, ICHCC 2011, held in Singapore in May 2011.
The volume includes a set of selected papers extended and revised from the International Conference on Informatics, Cybernetics, and Computer Engineering.
This book constitutes the proceedings of the 5th International Conference on Nonlinear Speech Processing, NoLISP 2011, held in Las Palmas de Gran Canaria, Spain, in November 2011.
This book constitutes the thoroughly referred post-workshop proceedings of the 22nd International Workshop on Combinatorial Algorithms, IWOCA 2011, held in Victoria, BC, Canada, in July 2011.
This book constitutes the refereed proceedings of the International RuleML Symposium, RuleML 2011-America, held in Fort Lauderdale, FL, USA, in November 2011 - collocated with the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011.
The three volume set LNCS 7062, LNCS 7063, and LNCS 7064 constitutes the proceedings of the 18th International Conference on Neural Information Processing, ICONIP 2011, held in Shanghai, China, in November 2011.
This book constitutes the refereed proceedings of the 14th International Conference on Information Security, ISC 2011, held in Xi'an, China, in October 2011.
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Data Analysis, IDA 2011, held in Porto, Portugal, in October 2011.
This book constitutes the refereed proceedings of the Second International Conference on Algorithmic Decision Theory, ADT 2011, held in Piscataway, NJ, USA, in October 2011.
This book constitutes the refereed proceedings of the Second International Joint Conference on Ambient Intelligence, AmI 2011, held in Amsterdam, The Netherlands, in November 2011.
Advances in Imaging Devices and Image processing stem from cross-fertilization between many fields of research such as Chemistry, Physics, Mathematics and Computer Sciences.
This book constitutes the refereed proceedings of the 6th International Conference on Pattern Recognition in Bioinformatics, PRIB 2011, held in Delft, The Netherlands, in November 2011.
This book constitutes the refereed proceedings of the Second International Conference on Information Computing and Applications, ICICA 2010, held in Qinhuangdao, China, in October 2011.