This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial sub…
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed …
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed …
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.…
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.…
This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers …
This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers …
This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers …
The two-volume set CCIS 713 and CCIS 714 contains the extended abstracts of the posters presented during the 19th International Conference on Human-Computer Interaction, HCI International 2017, held in Vancouver, BC, Canada, in July 2017. HCII 2017 received a total of 4340 submi…
The two-volume set CCIS 713 and CCIS 714 contains the extended abstracts of the posters presented during the 19th International Conference on Human-Computer Interaction, HCI International 2017, held in Vancouver, BC, Canada, in July 2017. HCII 2017 received a total of 4340 submi…
This Handbook presents a complete and rigorous overview of the fundamentals, methods and applications of the multidisciplinary field of Global Navigation Satellite Systems (GNSS), providing an exhaustive, one-stop reference work and a state-of-the-art description of GNSS as a ke…
This book constitutes the refereed proceedings of the 6th International Conference, ICISP 2014, held in June/July 2014 in Cherbourg, France. The 76 revised full papers were carefully reviewed and selected from 164 submissions. The contributions are organized in topical sections …
This book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 15 revised full papers and 4 short papers p…
This book constitutes the proceedings of the 16th International Conference on Web and Internet Economics, WINE 2020, held in Beijing, China, in December 2020. The 31 full papers presented together with 11 abstracts were carefully reviewed and selected from 136 submissions. The i…
This book constitutes the proceedings of the 16th International Conference on Web and Internet Economics, WINE 2020, held in Beijing, China, in December 2020. The 31 full papers presented together with 11 abstracts were carefully reviewed and selected from 136 submissions. The i…
This book constitutes the proceedings of the 16th International Conference on Web and Internet Economics, WINE 2020, held in Beijing, China, in December 2020. The 31 full papers presented together with 11 abstracts were carefully reviewed and selected from 136 submissions. The i…
This book constitutes the proceedings of the 16th International Conference on Web and Internet Economics, WINE 2020, held in Beijing, China, in December 2020. The 31 full papers presented together with 11 abstracts were carefully reviewed and selected from 136 submissions. The i…
Dieses Open Access Buch umfasst fuÌ#x88;nfzehn BeitraÌ#x88;ge aus sechs Verbundvorhaben, die im Rahmen des FoÌ#x88;rderschwerpunkts "Arbeit in der digitalisierten Welt" des Bundesministeriums fuÌ#x88;r Bildung und Forschung unterschiedliche Entwicklungen im Transformationsprozes…
Dieses Open Access Buch umfasst fünfzehn Beiträge aus sechs Verbundvorhaben, die im Rahmen des Förderschwerpunkts "Arbeit in der digitalisierten Welt" des Bundesministeriums für Bildung und Forschung unterschiedliche Entwicklungen im Transformationsprozess der Arbeitswelt analys…
