This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014.
The two volume-set, LNCS 8616 and LNCS 8617, constitutes the refereed proceedings of the 34th Annual International Cryptology Conference, CRYPTO 2014, held in Santa Barbara, CA, USA, in August 2014.
This three-volume set LNAI 8724, 8725 and 8726 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2014, held in Nancy, France, in September 2014.
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Agents and Artificial Intelligence, ICAART 2013, held in Barcelona, Spain, in February 2013.
The book constitutes the refereed proceedings of the 17th European Conference on Genetic Programming, Euro GP 2014, held in Grenada, Spain, in April 2014 co-located with the Evo*2014 events, Evo BIO, Evo COP, Evo MUSART and Evo Applications.
The two volume-set, LNCS 8616 and LNCS 8617, constitutes the refereed proceedings of the 34th Annual International Cryptology Conference, CRYPTO 2014, held in Santa Barbara, CA, USA, in August 2014.
This book constitutes the refereed proceedings of the Third International Conference on Biologically Inspired Music, Sound, Art and Design, Evo MUSART 2014, held in Granada, Spain, in April 2014, co-located with the Evo* 2013 events Euro GP, Evo COP, Evo BIO and Evo Applications.
This book constitutes the refereed proceedings of the 8th International Conference, VISIGRAPP 2013 consisting of the Joint Conferences on Computer Vision (VISAPP), the International Conference on Computer Graphics, GRAPP 2013, and the International Conference on Information Visualization IVAPP 2013, held in Barcelona, Spain, in February 2013.
This book constitutes the refereed proceedings of the 7th International Symposium on Algorithmic Game Theory, SAGT 2014, held in Haifa, Israel, in October 2014.
This three-volume set LNAI 8724, 8725 and 8726 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2014, held in Nancy, France, in September 2014.
This three-volume set LNAI 8724, 8725 and 8726 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2014, held in Nancy, France, in September 2014.
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014.
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Graphics Recognition, GREC 2013, held in Bethlehem, PA, USA, in August 2013.
This book constitutes the proceedings of the 10th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2014, held in conjunction with CAiSE 2014 in Thessaloniki, Greece, in June 2014.
This book constitutes the proceedings of the 14th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2014, held in Berlin, Germany, in June 2014.
This book is a collection of high-quality research work on cutting-edge technologies and the most-happening areas of computational intelligence and data engineering.
This book is a collection of high-quality research work on cutting-edge technologies and the most-happening areas of computational intelligence and data engineering.
This book constitutes the thoroughly refereed proceedings of the 8th International Joint Conference on Software Technologies, ICSOFT 2013, held in Reykjavik, Iceland, in July 2013.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014.
This book constitutes the proceedings of the first Asia Pacific Requirements Engineering Symposium, APRES 2014, held in Auckland, New Zealand, in April 2014.
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Digital-Forensics and Watermarking, IWDW 2013, held in Auckland, New Zealand, during October 2013.
The book presents a snapshot of the state-of-art in the field of turbulence modeling and covers the latest developments concerning direct numerical simulations, large eddy simulations, compressible turbulence, coherent structures, two-phase flow simulation and other related topics.
This book constitutes the revised selected papers of the workshops of the 10th and 11th International Conference of Web-based Learning, ICWL 2011, held in Hong Kong, in December 2011 and ICWL 2012, held in Sinaia, Romania, in September 2012.
The two-volume proceedings of the ACIIDS 2016 conference, LNAI 9621 + 9622,constitutes the refereed proceedings of the 8th Asian Conference on IntelligentInformation and Database Systems, held in Da Nang, Vietnam, in March 2016.
The two-volume proceedings of the ACIIDS 2016 conference, LNAI 9621 + 9622,constitutes the refereed proceedings of the 8th Asian Conference on IntelligentInformation and Database Systems, held in Da Nang, Vietnam, in March 2016.
This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK, in April 2015, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.
The integrated and advanced science research topic man-machine-environment system engineering (MMESE) was first established in China by Professor Shengzhao Long in 1981, with direct support from one of the greatest modern Chinese scientists, Xuesen Qian.
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.
This book constitutes the refereed proceedings of the 14th Conference on Advances in Autonomous Robotics, TAROS 2013, held in Oxford, UK, in August 2013.
This book constitutes the proceedings of the 16th International Conference on Coordination Models and Languages, COORDINATION 2014, held in Berlin, Germany, in June 2014.
The book is a collection of high-quality research papers presented at 9th International Conference on Internet of Things and Connected Technologies (ICIoTCT 2024), held at National Institute of Technology (NIT) Mizoram, Aizawl, India during 27–28 September 2024.
This two-volume set LNCS 16174-16175 constitutes the refereed proceedings of the 8th Asian Conference on Pattern Recognition, ACPR 2025, held in Gold Coast, QLD, Australia, in November 10–13, 2025.
This two-volume set LNCS 16174-16175 constitutes the refereed proceedings of the 8th Asian Conference on Pattern Recognition, ACPR 2025, held in Gold Coast, QLD, Australia, in November 10–13, 2025.
The six-volume set constitutes the refereed proceedings of the 32nd International Conference on Neural Information Processing, ICONIP 2025, held in Okinawa, Japan, in November 2025.
The six-volume set constitutes the refereed proceedings of the 32nd International Conference on Neural Information Processing, ICONIP 2025, held in Okinawa, Japan, in November 2025.
This book presents the select proceedings of the 24th International Conference on Construction Applications of Virtual Reality (CONVR 2024), focusing on the synthesis of digital innovation and sustainable development within the Architecture, Engineering, and Construction (AEC) industry.
This book presents the select proceedings of the 24th International Conference on Construction Applications of Virtual Reality (CONVR 2024), focusing on the synthesis of digital innovation and sustainable development within the Architecture, Engineering, and Construction (AEC) industry.
This 7-volume set constitutes the proceedings of the 32nd International Conference on Neural Information Processing, ICONIP 2025, held in Okinawa, Japan, in November 2025.
This 7-volume set constitutes the proceedings of the 32nd International Conference on Neural Information Processing, ICONIP 2025, held in Okinawa, Japan, in November 2025.
