This volume constitutes the proceedings of the 8th International Conference on Simulated Evolution and Learning, SEAL 2010, held in Kanpur, India, in December 2010. The 61full papers and 19 short pape
This book constitutes the refereed proceedings of the FirstInternational Conference on Decision and Game Theory for Security,GameSec 2010, held in Berlin, Germany, in November 2010.The 12 revised full
This book constitutes the refereed proceedings of the 11th International Conference on Parallel Problem Solving from Nature - PPSN XI, held in Krakow, Poland, in September 2010. The 131 revised full p
In the light of upcoming global issues, concerning population, energy, the environment, and food, information and communication technologies are required to overcome difficulties in communication amon
This book combines wireless telematics systems with dynamic vehicle routing algorithms and vehicle-positioning systems to produce a telematics-enabled information system that can be employed by commer
This book constitutes the refereed proceedings of the Second International Conference on Social Informatics, SocInfo 2010, held in Laxenburg, Austria, in October 2010.The 17 revised full papers presen
This book constitutes the refereed proceedings of the 12th International Workshop on Cryptographic Hardware and Embedded Systems, CHES 2010, held in Santa Barbara, USA during August 17-20, 2010.This y
This book constitutes the thoroughly refereed proceedings of the First International Conference on InformationTechnology in Bio- and Medical Informatics, held in Bilbao, Spain, in September 2010.The 1
This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Brazil, in November 2010. ICTSS 2010 is the
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Information Security and Cryptology, Inscrypt 2009, held in Beijing, China, in December
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer s
This book constitutes the proceedings of the 17th International Symposium on String Processing and Information Retrieval, SPIRE 2010, held in Los Cabos, Mexico, in October 2010. The 26 long and 13 sho
This volume describes novel and state-of-the-art approaches to solvingproblems arising in the domain of embedded real-time systems. It isbased on the GI-Dagstuhl research seminar MBEERTS (Modelling-Ba
This book constitutes the refereed proceedings of the 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, held in Ascoli Piceno, Italy, in September 2010.The first
A deterministic extractor is a function that extracts almost perfect random bits from a weak random source. In this research monograph the author constructs deterministic extractors for several types
This book constitutes the proceedings of the 15th International Workshop onFormal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp,Belgium, in September 2010 - co-located with ASE 2
This book constitutes the refereed proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, held at the 16th International Symposium on
This book constitutes the refereed proceedings of the 5th International Workshop on Haptic and Audio Interaction Design, HAID 2010 held in Copenhagen, Denmark, in September 2010. The 21 revised full p
This book constiutes the proceedings of the 12th International Conference on Computers Helping People with Special Needs, held in Vienna, Austria, in July 2010.
This book constitutes the refereed proceedings of the International Workshop on Prostate Cancer Imaging, held in conjunction with MICCAI 2010, in Beijing, China, in September 2010. The 11 revised full
This book constitutes the refereed proceedings of the 5th International Workshop on Medical Imaging and Augmented Reality, MIAR 2010, held in Beijing, China, in September 2010. The 60 revised full pap
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
This book constitutes the refereed proceedings of the 12th International Conference on Data Warehousing and Knowledge Discovery, DaWak 2010 held in Bilbao, Spain in August/September 2010.The 26 revise
This book constitutes the refereed proceedings of the 8th International Conference on Business Process Management, BPM 2010, held in Hoboken, NJ, USA, in September 2010. The volume contains 21 revised
The six-volume set comprising LNCS volumes 6311 -- 6316 constitutes the refereed proceedings of the 11th European Conference on Computer Vision, ECCV 2010, held in Heraklion, Crete, Greece, in Septemb
A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat. Its purpose is to bring together industrialists a
This book constitutes the joint refereed proceedings of the 13th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2010, and the 14th International Wor
This book constitutes the refereed proceedings of the First International Workshop on Human Behavior Understanding, HBU 2010, a satellite workshop of the International Conference on Pattern Recogniti
This volume constitutes the refereed proceedings of the Second InternationalConference on Electronic Participation, ePart 2010, held in Lausanne, Switzerland, in August/September, 2010.
This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010.The 33 full papers presented toget
This book constitutes the proceedings of the First International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2010, held in Puebla, Mexico, on August 8-11, 2010. The
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Confere
This book celebrates the 25th anniversary of GULP---the Italian Association for Logic Programming. Authored by Italian researchers at the leading edge of their fields, it presents a state-of-the-art s
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level in both printed and electronic form. Enjoying tight cooperation with the R&am
