This book constitutes revised, selected, and invited papers from the First International Workshop on Agent Based Modelling of Urban Systems, ABMUS 2016, held in conjunction with AAMAS 2016 in Singapore in May 2016.
This book constitutes the proceedings of the 12th International Symposium on Advanced Parallel Processing Technologies, APPT 2017, held in Santiago de Compostela, Spain, in August 2017.
This book constitutes the refereed post-conference proceedings of the 12th International Conference on Wireless Internet, WiCON 2019, held in TaiChung, Taiwan, in November 2019.
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.
This book provides an in-depth insight into the emerging paradigm of End-User Development (EUD), discussing the diversity and potential for creating effective environments for end users.
This two-volume set LNCS 13398 and LNCS 13399 constitutes the refereed proceedings of the 17th International Conference on Parallel Problem Solving from Nature, PPSN 2022, held in Dortmund, Germany, in September 2022.
This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi'an, China, in November 2017.
This book constitutes the refereed post-conference proceedings of the 16th International Conference on Advances in Computer Games, ACG 2019, held in Macao, China, in August 2019.
This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022.
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020.
This book constitutes the proceedings of the International Conference on Internet of Things, ICIOT 2020, held virtually as part of SCF 2020, in Honolulu, HI, USA, in September 2020.
This book constitutes the proceedings of the 26th International Conference on Parallel and Distributed Computing, Euro-Par 2020, held in Warsaw, Poland, in August 2020.
This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic.
This book constitutes the refereed conference proceedings of the 31st British International Conference on Databases, BICOD 2017 - formerly known as BNCOD (British National Conference on Databases) - held in London, UK, in July 2017.
This book constitutes the thoroughly refereed proceedings of the 13th Biennial Conference, KogWis 2016, held in Bremen, Germany, in September 2016, and the 10th International Conference, Spatial Cognition 2016, held in Philadelphia, PA, USA, in August 2016.
The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in Sao Paolo, Brazil, in November-December 2021.
This book constitutes the proceedings of the 9th International Conference on Statistical Language and Speech Processing, SLSP 2021, held in Cardiff, UK, in November 2021.
This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018.
This book constitutes the refereed proceedings of the 41st International Conference on Conceptual Modeling, ER 2022, held in Hyderabad, India, in October 2022.
This book constitutes the revised, selected and extended papers of the 5th International Conference on Communication Technologies for Ageing Well and e-Health, ICT4AWE 2019, held in Heraklion, Crete, Greece in May 2019.
This book constitutes the refereed proceedings of the 28th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2016, held in Ershovo, Moscow, Russia, in October 2016.
This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.
This edited book presents scientific results of the 21st ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2021-Winter) which was held on January 28-30, at Ho Chi Minh City, Vietnam.
This edited book presents scientific results of the 20th IEEE/ACIS International Conference on Software Engineering Research, Management, and Applications (SERA2022) held on May 25, 2022, in Las Vegas, USA.
This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.
The three volumes LNCS 10820, 10821, and 10822 constitute the thoroughly refereed proceedings of the 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2018, held in Tel Aviv, Israel, in April/May 2018.
This book reviews existing operational software failure analysis techniques and proposes near-miss analysis as a novel, and new technique for investigating and preventing software failures.
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.
The two-volume set LNCS 10587 + 10588 constitutes the refereed proceedings of the 16th International Semantic Web Conference, ISWC 2017, held in Vienna, Austria, in October 2017.
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016.
Bidirectional transformations (BX) are means of maintaining consistency between multiple information sources: when one source is edited, the others may need updating to restore consistency.
This book constitutes the refereed proceedings of the 23rd International Conference on Engineering Applications of Neural Networks, EANN 2022, held in Chersonisos, Crete, Greece, in June 2022.
The five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018.
This double volume set ( LNAI 10863-10864) constitutes the refereed proceedings of the 25th International Workshop, EG-ICE 2018, held in Lausanne, Switzerland, in June 2018.
The two-volume set, LNCS 13325 and 13326, are conference proceedings that constitutes the refereed proceedings of the 10th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2022, held as part of the 24th International Conference, HCI International 2022, which took place during June-July 2022.
This book constitutes selected and revised papers from the Second International Conference on Research and Education in Urban History in the Age of Digital Libraries, UHDL 2019, held in Dresden, Germany, in October 2021.
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.
The three volume-set, LNCS 10991, LNCS 10992, and LNCS 10993, constitutes the refereed proceedings of the 38th Annual International Cryptology Conference, CRYPTO 2018, held in Santa Barbara, CA, USA, in August 2018.
This volume constitutes the refereed proceedings of the 29th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2022, held in Salzburg, Austria, in August-September 2022.
This book constitutes selected papers presented at the 5th International Workshop on Software Foundations for Data Interoperability, SFDI 2021, held in Copenhagen, Denmark, in August 2021.
This book constitutes the proceedings of the 12th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2017, held in May/June 2017 in Karlsruhe, Germany.
The five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018.
This book constitutes the proceedings of the 11th International Conference on Artificial General Intelligence, AGI 2018, held in Prague, Czech Republic, in August 2018.
