This book constitutes the refereed proceedings of the InternationalConference on Logic, Information, Control and Computation, ICLICC 2011,held in Gandhigram, India, in February 2011.
This book constitutes the thoroughly referred post-proceedings of the 21st International Workshop on Combinatorial Algorithms, IWOCA 2010, held in London, UK, in July 2010.
This book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2011, CT-RSA 2011, held in San Francisco, CA, USA, in February 2011.
This book constitutes the proceedings of the 5th International Workshop on Algorithms and Computation, WALCOM 2011, held in New Delhi, India, in February 2011.
This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009.
This book constitutes the thoroughly refereed post-proceedings of the 23rd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2010, held in Houston, TX, USA, in October 2010.
This book constitutes Part II of the refereed four-volume post-conference proceedings of the 4th IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2010, held in Nanchang, China, in October 2010.
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010.
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Software Language Engineering, SLE 2010, held in Eindhoven, The Netherlands, in October 2010.
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.
This two-volume set, consisting of LNCS 6608 and LNCS 6609, constitutes the thoroughly refereed proceedings of the 12th International Conference on Computer Linguistics and Intelligent Processing, held in Tokyo, Japan, in February 2011.
This book constitutes the thoroughly refereed proceedings of the 8th Theory of Cryptography Conference, TCC 2011, held in Providence, Rhode Island, USA, in March 2011.
This two-volume set, consisting of LNCS 6608 and LNCS 6609, constitutes the thoroughly refereed proceedings of the 12th International Conference on Computer Linguistics and Intelligent Processing, held in Tokyo, Japan, in February 2011.
This book constitutes the refereed proceedings of the 7th International Symposium on Reconfigurable Computing: Architectures, Tools and Applications, ARC 2011, held in Belfast, UK, in March 2011.
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Computational Forensics, IWCF 2010, held in Tokyo, Japan in November 2010.
This book constitutes the thoroughly refereed proceedings of the COST 2101 International Workshop, BIOID 2011, held in Brandenburg (Havel), Germany, in March 2011.
This book constitutes the thoroughly refereed post-proceedings of the 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, held in Barcelona, Spain, in June 2009.
This book contains a selection of thoroughly refereed and revised papers from the Second International ICST Conference on Digital Forensics and Cyber Crime, ICDF2C 2010, held October 4-6, 2010 in Abu Dhabi, United Arab Emirates.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Human-Robot Personal Relationships, held in Leiden, The Netherlands, in June 2010.
This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Practice and Theory in Public Key Cryptography, PKC 2011, held in Taormina, Italy, in March 2011.
This book constitutes the refereed proceedings of the 7th International Workshop on Algorithms and Models for the Web-Graph, WAW 2010, held in Stanford, CA, USA, in December 2010, which was co-located with the 6th International Workshop on Internet and Network Economics (WINE 2010).
The four-volume set LNCS 6492-6495 constitutes the thoroughly refereed post-proceedings of the 10th Asian Conference on Computer Vision, ACCV 2009, held in Queenstown, New Zealand in November 2010.
The increasing costs of creating and maintaining infrastructures for delivering services to consumers have led to the emergence of cloud based third party service providers renting networks, computation power, storage, and even entire software application suites.
This book constitutes the refereed proceedings of the Second International Conference, ICT Innovations 2010, held in Ohrid, Macedonia, in September 2010.
The four-volume set LNCS 6492-6495 constitutes the thoroughly refereed post-proceedings of the 10th Asian Conference on Computer Vision, ACCV 2009, held in Queenstown, New Zealand in November 2010.
This book constitutes the thoroughly refereed post-conferenceproceedings of the 9th International Conference on High PerformanceComputing for Computational Science, VECPAR 2010, held in Berkeley, CA, USA,in June 2010.
The four-volume set LNCS 6492-6495 constitutes the thoroughly refereed post-proceedings of the 10th Asian Conference on Computer Vision, ACCV 2009, held in Queenstown, New Zealand in November 2010.
This volume constitutes the refereed proceedings of the 18thInternational Symposium on Graph Drawing, GD 2010, held in Konstanz,Germany, during September 2010.
This book constitutes the refereed proceedings of the 7th International Conference on Adaptive Multimedia Retrieval, AMR 2009, held in Madrid, Spain, in September 2009.
This book constitutes the thoroughly refereed post-conference proceedings of the 9th Interntaional Workshop on Digital Watermarking, IWDW 2010, held in Seoul, Korea, in October 2010.
This book constitutes Part III of the refereed four-volume post-conference proceedings of the 4th IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2010, held in Nanchang, China, in October 2010.
This book constitutes Part IV of the refereed four-volume post-conference proceedings of the 4th IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2010, held in Nanchang, China, in October 2010.
This book constitutes the refereed proceedings of the First International Workshop on Human-Computer Interaction, Tourism and Cultural Heritage, HCITOCH 2010, held in Brescello, Italy, in September 2010.
This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages.
This book constitutes the refereed contest reports of the 20th International Conference on Pattern Recognition, ICPR 2010, held in Istanbul, Turkey, in August 2010.
This book constitutes the refereed proceedings of the 13th International Conference on Information Security, ISC 2010, held in Boca Raton, FL, USA, in October 2010.
This book constitutes Part I of the refereed four-volume post-conference proceedings of the 4th IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2010, held in Nanchang, China, in October 2010.
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on DNA Computing and Molecular Programming, DNA16, held in Hong Kong, China, in June 2010.
This two-volume set (CCIS 134 and CCIS 135) constitutes the refereedproceedings of the International Conference on Intelligent Computing andInformation Science, ICICIS2011, held in Chongqing, China, in January2011.
This book constitutes the proceedings of the Second Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2010, held in conjunction with the 36th International Conference on Very Large Data Bases, VLDB 2010, in Singapore, September 13-17, 2010.
This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011.
Evolutionary Algorithms (EAs) now provide mature optimization tools that have successfully been applied to many problems, from designing antennas to complete robots, and provided many human-competitive results.
The Atlantic Web Intelligence Conference brings together scientists, engineers, computer users, and students to exchange and share their experiences, new ideas, and research results about all aspects (theory, applications and tools) of intelligent methods applied to Web based systems, and to discuss the practical challenges encountered and the solutions adopted.
The International Conference on Complex Systems (ICCS) creates a unique atmosphere for scientists of all fields, engineers, physicians, executives, and a host of other professionals to explore common themes and applications of complex system science.
The two volume set LNCS 6443 and LNCS 6444 constitutes the proceedings of the 17th International Conference on Neural Information Processing, ICONIP 2010, held in Sydney, Australia, in November 2010.
This book constitutes the refereed proceedings of the 7th International Conference on Computers and Games, CG 2010, held in Kanazawa, Japan, in September 2010.