This book constitutes the refereed proceedings of the first International Conference on Internet of Vehicles, IOV 2014, held in Beijing, China, in September 2014. The 41 full papers presented were car
This book constitutes the refereed proceedings of the 21st International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2014, held in Budapest, Hungary, in June/J
This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short
This book constitutes the refereed proceedings of the 15th International Conference on Electronic Commerce and Web Technologies (EC-Web) held in Munich, Germany, in September 2014.The 11 full and 8 sh
This book constitutes the proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC 2014, held in Warsaw, Poland, in September 2014. The 33 full papers presented
This book constitutes the proceedings of the 12th International Conference on Business Process Management, BPM 2014, held in Haifa, Israel, in September 2014. The 21 regular papers and 10 short papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Learning and Optimization, LION 8, which was held in Gainesville, FL, USA, in February
This book presents papers by experts in the field of Industrial Engineering, covering topics in business strategy; modelling and simulation in operations research; logistics and production; service sy
This book constitutes the proceedings of the 20th Collaboration Researchers' International Working Group Conference on Collaboration and Technology, held in Santiago, Chile, in September 2014.The 16 r
This book constitutes the joint refereed proceedings of the 14th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems, NEW2AN 2014, and the 7th Conference on Intern
This book constitutes the refereed proceedings of the 6th International Symposium on Search-Based Software Engineering, SSBSE 2014, held in Fortaleza, Brazil.The 14 revised full papers presented toget
This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014. The 35 revised full papers presented toge
This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation tra
This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014. The 14 revised papers were carefully selected fro
This book constitutes the thoroughly refereed proceedings of the Third Australian Symposium on Service Research and Innovation, ASSRI 2013, held in Sydney, NSW, Australia, in November 2013.Overall, ei
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Buda
This book constitutes the refereed proceedings of the 13th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2014, held in Dublin, Ireland, in September 2014. The 26 revised full pap
This book constitutes the refereed proceedings of the 19th International Conference on Applications of Natural Language to Information Systems, NLDB 2014, held in Montpellier, France, in June 2014. Th
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 thoroughly refereed workshop proceedings of the 11th International Workshop on Approximation and Online Algorithms, WAOA 2013, held in Sophia Antipolis, France, in September
This book constitutes the refereed proceedings of the 13th International Conference on Web-Based Learning, ICWL 2014, held in Tallinn, Estonia, in August 2014. The 18 revised full papers presented tog
This book contains the thoroughly refereed and revised best papers from the 9th International Conference on Web Information Systems and Technologies, WEBIST 2013, held in Aachen, Germany, in May 2013,
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full paper
The four-volume set LNCS 8517, 8518, 8519 and 8520 constitutes the proceedings of the Third International Conference on Design, User Experience, and Usability, DUXU 2014, held as part of the 16th Inte
This book constitutes the proceedings of the Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2014; comprising the International Workshop on Stru
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
This book constitutes the proceedings of the 10th International Conference on Active Media Technology, AMT 2014, held in Warsaw, Poland, in August 2014, held as part of the 2014 Web Intelligence Congr
This book constitutes the refereed proceedings of the 7th International Conference on Hybrid Learning, ICHL 2014, held in Shanghai, China, in August 2014. The 31 papers presented were carefully review
This book constitutes the refereed proceedings of the 8th International RuleML Symposium, RuleML 2014, co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, held in Pragu
The four-volume set LNCS 8517, 8518, 8519 and 8520 constitutes the proceedings of the Third International Conference on Design, User Experience, and Usability, DUXU 2014, held as part of the 16th Inte
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
The principle aim of the book is to present a self-contained, modern account of similarity and symmetry methods, which are important mathematical tools for both physicists, engineers and applied mathe
The two-volume set LNCS 8547 and 8548 constitutes the refereed proceedings of the 14th International Conference on Computers Helping People with Special Needs, ICCHP 2014, held in Paris, France, in Ju
This monograph provides state-of-the-art theoretical and computational findings from investigations on physical and chemical dissolution front instability problems in porous media, based on the author
This book constitutes the thoroughly refereed proceedings of the 22nd International Conference on User Modeling, Adaption and Personalization, held in Aalborg, Denmark, in July 2014. The 23 long and 1
This book constitutes the proceedings of the 9th International Conference on Swarm Intelligence, held in Brussels, Belgium, in September 2014. This volume contains 17 full papers, 9 short papers, and
Featuring the very latest advances in location-based services, including recent products providing seamless positioning and navigation, this volume covers everything from data processing to three-dime
This book is devoted to the study of dynamical models of decentralized economic systems. The models considered are based on the Leontief simple dynamic model with various mechanisms for decentralized
This book contains the full papers presented at the MICCAI 2013 workshop Computational Methods and Clinical Applications for Spine Imaging. The workshop brought together researchers representing sever
