This book constitutes the refereed proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2014, held in Essen, Germany, in April 2
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 volume constitutes the refereed proceedings of the Second International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2014, held in Ypsilanti, MI, China, i
This book constitutes the refereed post-conference proceedings of the 6th TPC Technology Conference, TPCTC 2014, held in Hangzhou, China, in September 2014. It contains 12 selected peer-reviewed paper
This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 20
This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telc, Czech Republic, in October 2014.The 13 th
This book constitutes the refereed proceedings of the Workshops held at the ICWL 2013 International Conference on Web Based Learning in Kenting, Taiwan, in October 2013. The 29 papers presented were c
The first book of its kind devoted to this topic, this comprehensive text/reference presents state-of-the-art research and reviews current challenges in the application of computer vision to problems
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th
This text presents an overview of smart information systems for both the private and public sector, highlighting the research questions that can be studied by applying computational intelligence. The
This book constitutes the refereed proceedings of the 15th International Conference on Product-Focused Software Process Improvement, PROFES 2014, held in Helsinki, Finland, in December 2014. The 18 re
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
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovat
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 thoroughly refereed, selected papers on the Second Cyber Security and Privacy EU Forum, CSP 2014, held in Athens, Greece, in May 2014. The 14 revised full papers presented we
This book collects the refereed proceedings of the First International Conference onon Algorithms and Discrete Applied Mathematics, CALDAM 2015, held in Kanpur, India, in February 2015. The volume con
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 thoroughly refereed post-conference proceedings of the 9th International Symposium on Trustworthy Global Computing, TGC 2014, held in Rome, Italy, in September 2014. The 15 r
This book constitutes the refereed proceedings of the 13th International Scientific Conference on Information Technologies and Mathematical Modeling, named after A.F. Terpugov, ITMM 2014, Anzhero-Sudz
This book constitutes the refereed proceedings of the 10th China Workshop on Machine Translation, CWMT 2014, held in Macau, China, in November 2014. The 10 revised full English papers presented were c
This book constitutes the refereed proceedings of the International Conference on Applications and Techniques in Information Security, ATIS 2014, held in Melbourne, Australia, in November 2014. The 16
This book constitutes the refereed proceedings of the European Design Science Symposium, EDSS 2013 held in Dublin, Ireland, in November 2013. The 9 papers presented together with two invited papers we
This book constitutes the refereed proceedings of the 11th International Conference on Distributed Computing and Internet Technology, ICDCIT 2015, held in Bhubaneswar, India, in February 2015. The 12
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 8th Metadata and Semantics Research Conference, MTSR 2014, held in Karlsruhe, Germany, in November 2014. The 23 full papers and 9 short papers pre
This book constitutes the thoroughly refereed papers of the Third National Conference of Social Media Processing, SMP 2014, held in Beijing, China, in November 2014. The 14 revised full papers and 9 s
The advent of multi-core architectures and cloud-computing has brought parallel programming into the mainstream of software development. Unfortunately, writing scalable parallel programs using traditi
Building on the tradition of its classic first edition, the long-awaited second edition ofElements of Power Electronics provides comprehensive coverage of the subject at a level suitable for undergrad
This book constitutes the refereed proceedings of the 8th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2014, held in Belfast, UK, in December 2014.The 57 papers pre
This book constitutes the refereed proceedings of the 6th International Workshop on Ambient Assisted Living, IWAAL 2014, held in Belfast, UK, in December 2014. The 42 full papers presented with 12 pap
This book constitutes the refereed proceedings of the 20th EUNICE/IFIP WG 6.2, 6.6 Workshop on Advances in Communication Networking, EUNICE 2014, held in Rennes, France, in September 2014. The 21 pape
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers
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 10th Information Retrieval Societies Conference, AIRS 2014, held in Kuching, Malaysia, in December 2014. The 42 full papers were carefully reviewe
This volume constitutes the refereed proceedings of the 7th International Conference on Multimedia Communications, Services and Security, MCSS 2014, held in Krakow, Poland, in June 2014. The 21 full p
This book constitutes the refereed proceedings of the 6th International Workshop ABDI 2014, held in conjunction with MICCAI 2014, in Cambridge, MA, USA, in September 2014. The book includes 29 papers
This book constitutes the proceedings of the 13th World Conference on Mobile and Contextual Learning, mLearn 2014, held in Istanbul, Turkey, in November 2014. The 20 revised full papers and 17 short p
This book constitutes the refereed proceedings of the European Conference on Information Literacy, ECIL 2014, held in Dubrovnik, Croatia, in October 2014. The 93 revised full papers presented together
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, i
This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Medical Computer Vision: Algorithms for Big Data, MCV 2014, held in Cambridge, MA, USA, in Sept