This book constitutes the refereed proceedings of the Third Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2014, and the Third Workshop on Interactive Digital TV, WTVD
This book constitutes the thoroughly refereed proceedings of the 6th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2014, held in Rome, Ita
This book constitutes the refereed proceedings of the 10th International Conference on Global Security, Safety and Sustainability, ICGS3 2015, held in London, UK, in September 2015. The 31 revised ful
This book constitutes the thoroughly refereed short papers and workshop papers of the 19th East European Conference on Advances in Databases and Information Systems, ADBIS 2015, held in Poitiers, Fran
This book constitutes the refereed proceedings of the 16th International Conference on Computer-Aided Architectural Design Futures, CAAD Futures 2015, held in Sao Paulo, Brazil, in July 2015. The 33 r
This book constitutes the refereed proceedings of the International Conference on Technology in Education, ICTE 2014, held in Hong Kong, in July 2014. The 18 revised full papers and 4 short papers pre
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challeng
This book constitutes the thoroughly revised selected papers of the 4th and 5th workshops on Big Data Benchmarks, Performance Optimization, and Emerging Hardware, BPOE 4 and BPOE 5, held respectively
This book constitutes the refereed proceedings of the International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2015, held in Harbin, China, in January 2015. The 61 revis
This book constitutes the refereed proceedings of the Computer Games Workshop, CGW 2014, held in conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Repu
This book constitutes the refereed proceedings of the 4th International Symposium on Information Management in a Changing World, IMCW 2013, held in Limerick, Ireland, in September 2013. The 12 revised
This book constitutes the refereed proceedings of the 5th International Conference on Digital Heritage, EuroMed 2014, held in Limassol, Cyprus, in November 2014. The 84 full and 51 short papers presen
This book constitutes the proceedings of the Third International Conference on Analysis of Images, Social Networks and Texts, AIST 2014, held in Yekaterinburg, Russia, in April 2014. The 11 full and 1
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Security, Privacy and Trust in a Digital World, e-Democracy 2013, held in Athens, Greec
This book constitutes the first part of the refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2014, and of the International Conference on Intelligent C
The two-volume set LNCS 8796 and 8797 constitutes the refereed proceedings of the 13th International Semantic Web Conference, ISWC 2014, held in Riva del Garda, in October 2014. The International Sema
The book constitutes the proceedings of the 24th International Conference on Artificial Neural Networks, ICANN 2014, held in Hamburg, Germany, in September 2014. The 107 papers included in the proceed
This volume contains the lecture notes of the 10th Reasoning Web Summer School 2014, held in Athens, Greece, in September 2014. In 2014, the lecture program of the Reasoning Web introduces students to
This book constitutes the refereed proceedings of the 5th International Conference on Well-Being in the Information Society, WIS 2014, held in Turku, Finland, in September 2014. The 24 revised full pa
This book constitutes the refereed proceedings of the selected workshops co-located with the 17th International Conference on Theory and Practice of Digital Libraries, TPDL 2013, held in Valletta, Mal
This book constitutes the revised selected papers of the workshops of the 11th International Conference on Service-Oriented Computing (ICSOC 2013), held in Berlin, Germany, in December 2013. The confe
This book constitutes the refereed proceedings of the 11th Extended Semantic Web Conference, ESWC 2014, held in Anissaras, Crete, Greece France, in May 2014.The 50 revised full papers presented togeth
The Ada 2012 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2012(E) for the programming language Ada. The Ada 2012 Reference Manual combines all of the prev
This book constitutes the refereed proceedings of the European Conference on Information Literacy, ECIL 2013, held in Istanbul Turkey, in October 2013. The 73 revised full papers presented together wi
This book constitutes the thoroughly revised selected papers of the 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, held in Hong Kong, Chin
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Computer Music Modeling and Retrieval, CMMR 2012, held in London, UK, in June 2012. The
The three-volume set LNCS 8149, 8150, and 8151 constitutes the refereed proceedings of the 16th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2013, hel
The three-volume set LNCS 8149, 8150, and 8151 constitutes the refereed proceedings of the 16th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2013, hel
This book constitutes the proceedings of the 12th IFIP TC 8 International Conference, CISIM 2013, held in Cracow, Poland, in September 2013. The 44 papers presented in this volume were carefully revie
This book constitutes the refereed proceedings of the Third International Workshop on Multimodal Brain Image Analysis, MBIA 2013, held in Nagoya, Japan, on September 22, 2013 in conjunction with the 1
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 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 Second International Workshop on Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data, STIA 2012, held in conjunction with M
This book constitutes the refereed proceedings of the 4th Mexican Conference on Pattern Recognition, MCPR 2012, held in Huatulco, Mexico, in June 2012. The 31 revised full papers and 3 keynotes presen
This book constitutes thoroughly refereed post-conference proceedings ofthe workshops of the 17th International Conference on ParallelComputing, Euro-Par 2011, held in Bordeaux, France, in August 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. The 18 revise
This two volume set LNCS 7016 and LNCS 7017 constitutes the refereed proceedings of the 11th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2011, held in Melb
This two volume set LNCS 7016 and LNCS 7017 constitutes the refereed proceedings of the 11th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2011, held in Melb
This book constitutes the refereed proceedings of the International Workshop on Prostate Cancer Imaging, held in conjunction with MICCAI 2011, in Toronto, Canada, in September 2011. The 15 revised ful
All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two
