This book constitutes the refereed proceedings of the 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, held in Foz do Iguacu, Brazil, in November 2015.
This book contains the invited and contributed papers selected for presentation at SOFSEM 2021, the 47th International Conference on Current Trends in Theory and Practice of Computer Science, which was held online during January 25-28, 2021, hosted by the Free University of Bozen-Bolzano, Italy.
This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017.
The two-volume set LNCS 10286 + 10287 constitutes the refereed proceedings of the 8th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2017, held as part of HCI International 2017 in Vancouver, BC, Canada.
This book constitutes extended selected papers from the 15th Conference on Advanced Information Technologies for Management, AITM 2017, and the 12th Conference on Information Systems Management, ISM 2017, held as part of the Federated Conference on Computer Science and Information Systems, FedCSIS, which took place in Prague, Poland, in September 2017.
This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2017, held in Orlando, FL, USA, in June 2017.
This book constitutes the refereed proceedings of the 16th International Conference on Critical Information Infrastructures Security, CRITIS 2021, which took place in Lausanne, Switzerland, during September 27-29, 2021.
This book constitutes the proceedings of the 16th International Conference on Research Challenges in Information Sciences, RCIS 2022, which took place in Barcelona, Spain, during May 17-20, 2022.
This book constitutes the refereed post-conference proceedings of the Fourth IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2021, held virtually in November 2021.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems, CyberICPS 2017, and the First International Workshop on Security and Privacy Requirements Engineering, SECPRE 2017, held in Oslo, Norway, in September 2017, in conjunction with the 22nd European Symposium on Research in Computer Security, ESORICS 2017.
This book constitutes the thoroughly refereed conference proceedings of the First International Workshop on the Foundation of Trustworthy AI - Integrating Learning, Optimization and Reasoning, TAILOR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence.
This book constitutes selected and revised papers from the 20th International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2020, held in Nizhny Novgorod, Russia, in November 2020.
This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process Improvement, EuroSPI conference, held in Dusseldorf, Germany, in September 2020*.
This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.
This book constitutes selected revised and extended papers from the 11th International Conference on High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production, HPCST 2021, Barnaul, Russia, in May 2021.
This book constitutes the refereed proceedings of the 12th International Conference on Software Business, ICSOB 2021, which was held during December 2-3, 2021.
This book constitutes the thoroughly refereed proceedings of the CAiSE Forum 2021 which was held as part of the 33rd International Conference on Advanced Information Systems Engineering, CAiSE 2021, in June 2021.
This book constitutes the First 3D Head and Neck Tumor Segmentation in PET/CT Challenge, HECKTOR 2020, which was held in conjunction with the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, in Lima, Peru, in October 2020.
This book constitutes the refereed proceedings of the 14th International Conference on the Quality of Information and Communications Technology, QUATIC 2021, held in Algarve, Portugal*, in September 2021.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Engineering Multi-Agent Systems, EMAS 2020, held in Auckland, New Zealand, in May 2020.
This book constitutes the proceedings of the 5th International Conference on Applied Informatics, ICAI 2022, which took place in Arequipa, Peru, in October 2022.
This book constitutes the refereed proceedings of the 17th International Conference onInformation and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2021, held in Kherson, Ukraine, during September 28-October 2, 2021.
This book constitutes revised selected papers from the Second International Workshop on Modelling to Program, M2P 2020, held in Lappeenranta, Finland, in March 2020.
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.