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 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 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
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
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
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
This book constitutes the refereed proceedings of the 7th International Conference on Algorithms and Computation, CIAC 2010, held in Rome, Italy, in May 2010. The 30 revised full papers presented toge
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 proceedings of the 5th International Conference, FUN 2010, held in June 2010 in Ischia, Italy. FUN with algorithms is a three-yearly conference that aims at atractings works
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
