The 3-volume set LNCS 9169, 9170, 9171 constitutes the refereed proceedings of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015.
This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015.
This book constitutes the refereed conference proceedings of the 30th British International Conference on Databases, BICOD 2015 - formerly known as BNCOD (British National Conference on Databases) - held in Edinburgh, UK, in July 2015.
This book constitutes the proceedings of the Third International Conference on Human Aspects of Information Security, Privacy, and Trust, HAS 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015 and received a total of 4843 submissions, of which 1462 papers and 246 posters were accepted for publication after a careful reviewing process.
This book constitutes the revised selected papers of the combined workshops on Web Information Systems Engineering, WISE 2014, held in Thessaloniki, Greece, in October 2014.
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2014, held in Bhubaneswar, India, in December 2014.
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Finite Difference Methods, FDM 2014, held in Lozenetz, Bulgaria, in June 2014.
This book contains the extended and revised versions of selected papers from the 4th International Symposium on Business Modeling and Software Design, BMSD 2014, held in Luxembourg, Luxembourg, in June 2014.
This book constitutes the refereed proceedings of the 15th International Conference on Web Engineering, ICWE 2015, held in Rotterdam, The Netherlands, in June 2015.
This book constitutes the refereed proceedings of the 15th International Conference on Software Process Improvement and Capability Determination, SPICE 2015, held in Gothenburg, Sweden, in June 2015.
This book constitutes the refereed post-conference proceedings of the First International Conference on Intelligent Cloud Computing, held in Muscat, Oman, in February 2014.
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Konigswinter, Germany, in June/July 2015.
This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015.
This book constitutes the proceedings of the 14th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2015, held in Athens, Greece in June/July 2015.
This book summarizes the results of Design Thinking Research carried out at Stanford University in Palo Alto, California, USA and Hasso Plattner Institute in Potsdam, Germany.
This book contains the refereed proceedings of the 6th International Conference on Software Business, ICSOB 2015, held in Braga, Portugal, in June 2015.
This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, held in Madrid, Spain, in June 2015.
This book constitutes the refereed proceedings of the 5th IFIP TC 5 International Conference on Computer Science and Its Applications, CIIA 2015, held in Saida, Algeria, in May 2015.
This book constitutes the refereed proceedings of the 13th International Conference on Formal Concept Analysis, ICFCA 2015, held in Neja, Spain, in June 2015.
This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015.
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.
This book constitutes the refereed proceedings of the 17th International Conference on Coordination Models and Languages, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, in Grenoble, France, in June 2015.
This book constitutes the proceedings of the CAiSE Forum from the 26th International Conference on Advanced Information Systems Engineering, CAiSE 2014, held in Thessaloniki, Greece, June 2014.
This book constitutes the thoroughly refereed proceedings of seven international workshops held in Stockholm, Sweden, in conjunction with the 27th International Conference on Advanced Information Systems Engineering, CAiSE 2015, in June 2015.
This book constitutes the proceedings of the 27th International Conference on Advanced Information Systems Engineering, CAiSE 2015, held in Stockholm, Sweden, in June 2015.
This book constitutes the refereed proceedings of the 13th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2015, held in Salamanca, Spain, in June 2015.
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015.
This book explains in detail how to define requirements modelling languages - formal languages used to solve requirement-related problems in requirements engineering.
This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2015, held in Dublin, Ireland, in May 2015.
This book contains the refereed proceedings of the 16th International Conference on Agile Software Development, XP 2015, held in Helsinki, Finland, in May 2015.
This book constitutes the refereed proceedings of the 22nd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2015, held in Albena, Bulgaria, in May 2015.
This book constitutes the refereed proceedings of Satellite Events held at the 19th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2014 in November 2014.
This book constitutes the refereed proceedings of the 5th International Symposium on End-User Development, IS-EUD 2015, held in Madrid, Spain, in May 2015.
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014.
Thousands of workers labored at Kennedy Space Center around the clock, seven days a week, for half a year to prepare a mission for the liftoff of Apollo 11.
This book contains 15 thoroughly refereed research papers selected from 90 submissions for the 5th, 6th, and 7th International Workshop on Enterprise Systems, Pre-ICIS 2010-2012, held in St.
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014.
This book constitutes the best papers selection from the proceedings of the 13th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2014, held in Langkawi, Malaysia, in September 2014.
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015.
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2014, held in Hillsboro, OR, USA, in September 2014.
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014.
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on High Performance Computing for Computational Science, VECPAR 2014, held in Eugene, OR, USA, in June/July 2014.
