The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.
This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018.
This book constitutes the refereed proceedings of the 9th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2019, held in Gandhinagar, India, in December 2019.
This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019.
This book constitutes the proceedings of the First International Workshop on Emerging Technologies for Authorization and Authentication, ETAA 2018, held in Barcelona, Spain, in September 2018.
This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Interplay of Security, Safety and System/Software Architecture, CSITS 2018, and the International Workshop on Cyber Security for Intelligent Transportation Systems, ISSA 2018, held in Barcelona, Spain, in September 2018, in conjunction with the 23rd European Symposium on Research in Computer Security, ESORICS 2018.
This book constitutes the revised selected papers from the 15th European Conference on Multi-Agent Systems, EUMAS 2017, and the 5th International Conference on Agreement Technologies, AT 2017, held in Evry, France, in December 2017.
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019.
This book constitutes the refereed proceedings of the 14th International Conference on Information Systems Security, ICISS 2018, held in Bangalore, India, in December 2018.
This book contains the refereed proceedings of the 14th International Symposium on Mathematical Morphology, ISMM 2019, held in Saarbrucken, Germany, in July 2019.
This book constitutes the refereed proceedings of the 19th International Conference on Cryptology in India, INDOCRYPT 2018, held in New Delhi, India, in December 2018.
This book constitutes the refereed proceedings of the 18th International Conference on Cryptology and Network Security, CANS 2019, held in Fuzhou, China, in October 2019.
This book constitutes the proceedings of the 26th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2020, which was due to be held in Pisa, Italy, in March 2020.
This book constitutes the refereed proceedings of the 21st International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2018, held in Tokyo, Japan, in October/November 2018.
The 3 volume-set LNCS 11566, 11567 + 11568 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, USA, in July 2019.
This book constitutes the proceedings of the Second International Workshop on Emerging Technologies for Authorization and Authentication, ETAA 2019, held in Luxembourg, in September 2019.
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.
This book constitutes the proceedings of the First International Conference on Computer and Communication Engineering, ICCCE 2018, held in Guayaquil, Ecuador, in October 2018.
This book constitutes the proceedings of the 16th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2019, held in Alcudia, Mallorca, Spain, in October 2019.
This book constitutes the refereed proceedings of the 17th International Conference on Computational Methods in Systems Biology, CMSB 2019, held in Trieste, Italy, in September 2019.
The two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th International Conference on Parallel Processing and Applied Mathematics, PPAM 2019, held in Bialystok, Poland, in September 2019.
This book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisbon, Portugal, UK, in July 2019.
The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018.
This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020.
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.
This book constitutes the refereed proceedings of the 24th Australasian Conference on Information Security and Privacy, ACISP 2019, held in Christchurch, New Zealand, in July 2019.
The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution.
The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018.
This book contains the refereed proceedings of the 14th International Conference on Knowledge Management in Organizations, KMO 2019, held in Zamora, Spain, in July 2019.
This book constitutes the refereed proceedings of five workshops symposia, held at the 37th International Conference on Conceptual Modeling, ER 2018, in Xi'an, China, in October 2018.
This book constitutes the refereed proceedings of the 20th International Conference on Information and Communications Security, ICICS 2018, held in Lille, France, in October 2018.
This volume LNCS 13591 constitutes the proceedings of the International Conference on Cooperative Information Systems, CoopIS 2022, collocated with the Enterprise Design, Operations and Computing conference, EDOC 2022, in October 2022 in Bozen-Bolzano, Italy.
This invaluable textbook/reference provides a hands-on guide to the application of good software development practices to the construction of distributed simulation systems, with a particular focus on High Level Architecture (HLA).
The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.
This two-volume set (CCIS 915 and CCIS 916) constitutes the refereed proceedings of the 5th Workshop on Engineering Applications, WEA 2018, held in Medellin, Colombia, in October 2018.
This book constitutes the refereed proceedings of the 9th International Workshop on Post-Quantum Cryptography, PQCrypto 2018, held in Fort Lauderdale, FL, USA, in April 2018.
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 two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.
This book constitutes revised selected papers from the 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, held in Munich, Germany, in September 2019.
This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ) , Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS), and OnTheMove Academy (OTMA 2016), held as part of OTM 2016 in October 2016 in Rhodes, Greece.
This book constitutes selected and revised papers from the First International Conference on Cybersecurity in Emerging Digital Era, ICCEDE 2020, held in Greater Noida, India, in October 2020.
The two volumes LNCS 11982 and 11983 constitute the proceedings of the 11th International Symposium on Cyberspace Safety and Security, CSS 2019, held in Guangzhou, China, in December 2019.
