This book constitutes the thoroughly refereed conference proceedings of the Fourth International Workshop on Risk Assessment and Risk-Driven Quality Assurance, RISK 2016, held in conjunction with ICTSS 2016, in Graz, Austria, in October 2016.
This book constitutes the proceedings of the 19th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2021, held in Salamanca, Spain, in October 2021.
This book constitutes the refereed post-conference proceedings of the 12th International Conference on Broadband Communications, Networks, and Systems, Broadnets 2021, which took place in October 2021.
This book contains the refereed proceedings of the Cybernetics Perspectives in Systems session of the 11th Computer Science On-line Conference 2022 (CSOC 2022), which was held in April 2022 online.
This book constitutes the refereed proceedings of the 4th International Conference on HCI for Cybersecurity, Privacy and Trust, HCI-CPT 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022.
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Reproducible Research in Pattern Recognition, RRPR 2016, held in Cancun, Mexico, in December 2016.
This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020.
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Multi-Agent-Based Simulation, MABS 2020, held in Auckland, New Zealand, in May 2020 collocated with 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020).
This book constitutes the refereed proceedings of the 13th Software Quality Days Conference, SWQD 2021, which was planned to be held in Vienna, Austria, during January 19-21, 2021.
This book provides readers with an in-depth discussion of circuit simulation, combining basic electrical engineering circuit theory with Python programming.
This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.
This book constitutes the refereed proceedings of the 18th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2021, in September 2021.
This book constitutes revised selected papers from the thoroughly refereed proceedings of the Third International Human Centered Computing Conference, HCC 2017, that consolidated and further develops the successful ICPCA/SWS conferences on Pervasive Computing and the Networked World, and which was held in Kazan, Russia, in August 2017.
This book constitutes the thoroughly refereed conference proceedings of the First International Workshop on Design and Architecture for Signal and Image Processing, DASIP 2022, held in Budaypest, Hungary in June 2022.
This book combines elementary theory from computer science with real-world challenges in global geodetic observation, based on examples from the Geodetic Observatory Wettzell, Germany.
This book constitutes the refereed proceedings of the 10th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2021, held as part of Evo* 2021, as Virtual Event, in April 2021, co-located with the Evo* 2021 events, EvoCOP, EvoApplications, and EuroGP.
This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.
This book constitutes the refereed proceedings of the 16th International Conference on Software Architecture, ECSA 2022, held in Prague in September 2022.
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).
This book constitutes the refereed proceedings of the 13th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2016, held in Athens.
The 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2020, held in Lecce, Italy, in September 2020.
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020.
This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Workshop on Multi-Agent-Based Simulation, MABs 2016, held in Singapore, in May 2016.
Evolving technological advancements in big data, smartphone and mobile software applications, the Internet of Things and a vast range of application areas in all sorts of human activities and professions, lead current research toward the efficient incorporation of artificial intelligence enhancements into software and the empowerment of software with artificial intelligence.
This book constitutes the revised selected papers of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2019, held in Vienna, Austria, in September 2019.
This book describes, from a computer science viewpoint the software, methods of simulating and analysing crowds with a particular focus on the effects of panic in emergency situations.
This book constitutes the proceedings of the Fourth International Conference on Internet of Things (IoT) Technologies for HealthCare, HealthyIoT 2017, held in Angers, France, in October 2017.
This book constitutes the proceedings of the 17th International Conference on Distributed Computing and Internet Technology, ICDCIT 2020, held in Bhubaneswar, India, in January 2021.
This book constitutes selected papers of the Second International Conference on Computer-Human Interaction Research and Applications, CHIRA 2018, held in Seville, Spain, in September 2018, and Third International Conference on Computer-Human Interaction Research and Applications, CHIRA 2019, held in Vienna, Austria, in September 2019.
This book constitutes the refereed proceedings of the 13th International Symposium on Applied Reconfigurable Computing, ARC 2017, held in Delft, The Netherlands, in April 2017.
This book constitutes the post-conference proceedings of the 2nd International Conference on Modern Problems of Robotics, MPoR 2020, held in Moscow, Russia, in March 2020.
This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016.
The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022.
This book is a guide for managers, Scrum Masters and agile coaches who are interested in agile organizational methods and who are planning to introduce Scrum at their own company.
This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017.
This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17-19, 2022.
This book constitutes the refereed post-conference proceedings of the 6th International Conference on Future Access Enablers for Ubiquitous and Intelligent Infrastructures, FABULOUS 2022, held in May 2022.
This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017.
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.
The two-volume set LNAI 10841 and LNAI 10842 constitutes the refereed proceedings of the 17th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2018, held in Zakopane, Poland in June 2018.
The three-volume proceedings LNCS 10210-10212 constitute the thoroughly refereed proceedings of the 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2017, held in Paris, France, in April/May 2017.
