The two volume set LNCS 8047 and 8048 constitutes the refereed proceedings of the 15th International Conference on Computer Analysis of Images and Patterns, CAIP 2013, held in York, UK, in August 2013
This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Financial Cryptography and Data Security (FC 2013), held at Bankoku Shinryokan Busena
This book constitutes the refereed proceedings of the 5th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2013, held in Koblenz, Germany, in September 2013. The 13 revised full
This book constitutes the refereed proceedings of the 6th International Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 2013, held in Prague, Czech Republic, in August 2013 in co
?This Festschrift volume, published in honor of J. Ian Munro, presents a good overall perspective of the last 40 years of research in algorithms and data structures. It also explores the future prosp
This book constitutes the proceedings of the 11th International Conference on Spatial Information Theory, COSIT 2013, held in Scarborough, UK, in September 2013. The 28 papers presented in this book w
This book constitutes the refereed proceedings of the Second Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2013
This book contains revised selected papers from the Second International Conference on Information Technologies for Performing Arts, Media Access and Entertainment, ECLAP 2013, held in Porto, Portugal
This book constitutes the refereed proceedings of the 20th International Conference on Analytical and Stochastic Modelling and Applications, ASMTA 2013, held in Ghent, Belgium, in July 2013. The 32 pa
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented
This book constitutes the refereed proceedings of the 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, held in Singapore, in June 2013. The 22 revised full papers presen
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited l
This book constitutes the refereed proceedings of the 13th International Conference on Web Engineering, ICWE 2013, held in Aalborg, Denmark, in July 2013. The 21 full research papers, 4 industry paper
This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, Vote ID 2013, held in Guildford, UK, during July 17-19, 2013. The 12
This book constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence in Education, AIED 2013, held in Memphis, TN, USA in July 2013. The 55 revised full paper
This book constitutes the refereed proceedings of the 13th Industrial Conference on Data Mining, ICDM 2013, held in New York, NY, in July 2013. The 22 revised full papers presented were carefully revi
This book constitutes the refereed proceedings of the 17th and 18th International Conference on Formal Grammar 2012 and 2013, collocated with the European Summer School in Logic, Language and Informat
This is the second part of the two-volume set (LNCS 8023-8024) that constitutes the refereed proceedings of the 5th International Conference on Cross-Cultural Design, held as part of the 15th Internat
This book constitutes the refereed proceedings of the First International Conference on Human Aspects of Information Security, Privacy and Trust, HAS 2013, held as part of the 15th International Confe
Here is the first of a two-volume set (LNCS 8021 and 8022) that constitutes the refereed proceedings of the 5th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2013, held as par
This book constitutes the refereed proceedings of the 6th International Conference on Hybrid Learning, ICHL 2013, held in Toronto, ON, Canada, in August 2013. The 35 papers presented in this volume we
This book constitutes the thoroughly refereed post-conference proceedings of the 29th British National Conference on Databases, BNCOD 2013, held in Oxford, UK, in July 2013. The 20 revised full papers
This book constitutes the refereed proceedings of the 8th IAPR International Conference on Pattern Recognition in Bioinformatics, PRIB 2013, held in Nice, France, in June 2013. The 25 revised full pap
This book constitutes the thoroughly refereed proceedings of the Fourth International Conference on Mathematics and Computation in Music, MCM 2013, held in Montreal, Canada, in June 2013. The 18 paper
This book constitutes the refereed proceedings of the 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, held in Barcelona, Spain, in June 2013
This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, France, in July 2013. The 15 papers presented in this v
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Advanced Infocomm Technology, ICAIT 2012, held in Paris, France, July 2012. The 32 revi
This book constitutes the thoroughly refereed proceedings of the 21st International Conference on User Modeling, Adaption, and Personalization, held in Rome, Italy, in June 2013. The 21 long and 7 sho
This book constitutes the refereed proceedings of the 12th International Symposium on Experimental Algorithms, SEA 2013, held in Rome, Italy, in June 2013. The 32 revised full papers presented togethe
This book constitutes the refereed proceedings of the 10th Extended Semantic Web Conference, ESWC 2013, held in Montpellier, France, in May 2013. The 42 revised full papers presented together with thr
This book constitutes the refereed proceedings of the Fourth International Symposium on End-User Development, IS-EUD 2013, held in Copenhagen, Denmark, in June 2013. The 13 full papers (45% acceptance
This book constitutes the refereed proceedings of the 4th International Conference on Scale Space Methods and Variational Methods in Computer Vision, SSVM 2013, held in Schloss Seggau near Graz, Austr
This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 ful
This book constitutes the revised selected papers of the combined workshops on Web Information Systems Engineering, WISE 2011 and WISE 2012, held in Sydney, Australia, in October 2011 and in Paphos, C
This volume constitutes the refereed proceedings of the 7th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Mobile Devices in Wireless Communi
This book constitutes the refereed proceedings of the International Workshop on Augemented Environments for Computer-Assisted Interventions, held in conjunction with MICCAI 2012, in Nice, France in Se
This book constitutes the joint refereed proceedings of the 5th International Workshop on Communication Technologies for Vehicles/Trains, Nets4Cars 2013 and Nets4Trains 2013, held in Vilnius, Lithuani
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Information Security and Cryptology, ICISC 2012, held in Seoul, Korea, in November 201
This book constitutes the refereed proceedings of the 8th International Conference on Grid and Pervasive Computing, GPC 2013, held in Seoul, Korea, in May 2013 and the following colocated workshops: I
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented