This book constitutes the refereed proceedings of the International Conference on Computer Assisted Assessment, CAA 2014, held in Zeist, The Netherlands, in June/July 2014. The 16 revised full papers
This book constitutes the refereed proceedings of the 25th Australasian Database Conference, ADC 2014, held in Brisbane, NSW, Australia, in July 2014. The 15 full papers presented together with 6 shor
This book constitutes the refereed proceedings of the 14th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2014, held in Copenhagen, Denmark, in July 2014. The 33 papers w
The two-volume set LNCS 8521 and 8522 constitutes the refereed proceedings of the Human Interface and the Management of Information thematic track, held as part of the 16th International Conference on
This is the first of a two-volume set (CCIS 434 and CCIS 435) that constitutes the extended abstracts of the posters presented during the 16th International Conference on Human-Computer Interaction, H
This book constitutes the refereed post-proceedings of the International Workshop on Information Search, Integration and Personalization, ISIP 2013, held in Bangkok, Thailand, in September 2013. The 1
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main
This book constitutes the refereed proceedings of the 5th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management 2014, held as part of th
This book constitutes the refereed proceedings of the Second International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2014, held as part of the 16th International Conference
This book constitutes the thoroughly refereed proceedings of the 16th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2012, held in San Sebastian, Spai
This two-volume set of CCIS 391 and CCIS 392 constitutes the refereed proceedings of the Fourth International Conference on Information Computing and Applications, ICICA 2013, held in Singapore, in Au
This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 201
This two-volume set of CCIS 391 and CCIS 392 constitutes the refereed proceedings of the Fourth International Conference on Information Computing and Applications, ICICA 2013, held in Singapore, in Au
This book constitutes the refereed proceedings of the 7th International Conference, FUN 2014, held in July 2014 in Lipari Island, Sicily, Italy.The 29 revised full papers were carefully reviewed and s
This book constitutes the refereed proceedings of the 25th Annual Symposium on Combinatorial Pattern Matching, CPM 2014, held in Moscow, Russia, in June 2014. The 28 revised full papers presented toge
This book constitutes the refereed conference proceedings of the 13th International Symposium, W2GIS 2014, held in Seoul, South Korea, in May 2014. The 12 revised full papers presented were carefully
This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 – May 1, 2014. The 20 revised regular papers pres
This book constitutes the thoroughly refereed proceedings of the 6th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2014, held in Eichstatt, Germany, in April 2014
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an
This book constitutes the refereed proceedings of the 7th China Conference of Wireless Sensor Networks, held in Qingdao, China, in October 2013. The 35 revised full papers were carefully reviewed and
This book constitutes the refereed proceedings of the 17th International Conference on Distributed Computer and Communication Networks, DCCN 2013, held in Moscow, Russia, in October 2013.The 22 revise
This book constitutes the thoroughly refereed post-conference proceedings of the 6th Pacific Rim Symposium on Image and Video Technology, PSIVT 2013, held in Guanajuato, Mexico in October/November 201
This book constitutes the refereed proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, PADL 2014, held in SanDiego, CA, USA, in January 2014, co-located with
This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012, held in Wroclaw, Poland, in June 20
This book constitutes the proceedings of the 6th International Conference on Advances in Information Technology, IAIT 2013, held in Bangkok, Thailand, in December 2013. The 23 revised papers presented
This book constitutes the refereed proceedings of the 13th International Conference on Systems Simulation, Asia Simulation 2013, held in Singapore, in November 2013. The 45 revised full papers present
This book constitutes the refereed proceedings of the 6th bi-annual Latin American Conference on Human-Computer Interaction, CLIHC 2013, held in Guanacasta, Costa Rica, in December 2013. The 11 full p
This book constitutes the refereed proceedings of the 32nd International Conference on Conceptual Modeling, ER 2013, held in Hong Kong, China, in November 2013. The 23 full and 17 short papers present
This book constitutes the refereed proceedings of the 6th International Conference on Interactive Storytelling, ICIDS 2013, Istanbul, Turkey, November 2013. The 14 revised full papers presented togeth
This book constitutes the refereed proceedings of the 4th Conference on Knowledge Engineering and the Semantic Web, KESW 2013, held in St. Petersburg, Russia, in October 2013. The 18 revised full pape
This Festschrift has been published in honor of Rinus Plasmeijer, to celebrate the combined occasion of his 61st birthday and the 25th Symposium on Implementation and Application of Functional Languag
This book constitutes the thoroughly refereed proceedings of the 17th East-European Conference on Advances in Databases and Information Systems, ADBIS 2013, held in Genoa, Italy, in September 2013. Th
This book constitutes the refereed proceedings of the 12th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2013, held in Koblenz, Germany, in September 2013. The 27 revised full pa
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 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 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 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 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented
This book constitutes the thoroughly reviewed post-proceeding of International Workshops on Coordination, Organization, Institutions and Norms in Agent Systems, COIN@AAMAS 2012, held in Valencia, Spai
This book constitutes the thoroughly refereed conference proceedings of the 9th International Symposium on Reconfigurable Computing: Architectures, Tools and Applications, ARC 2013, held in Los Angele
