This book constitutes the refereed proceedings of the workshops co-located with the 18th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2020, held in LAquila, Italy, in October 2020. The total of 21 full and 13 short papers presented …
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presente…
This book constitutes the proceedings of the 17th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020. The total o…
This two-volume set LNCS 12184 and 12185 constitutes the refereed proceedings of the Thematic Area on Human Interface and the Management of Information, HIMI 2020, held as part of HCI International 2020 in Copenhagen, Denmark.* HCII 2020 received a total of 6326 submissions, of …
This two-volume set LNCS 12184 and 12185 constitutes the refereed proceedings of the Thematic Area on Human Interface and the Management of Information, HIMI 2020, held as part of HCI International 2020 in Copenhagen, Denmark.* HCII 2020 received a total of 6326 submissions, of …
This conference proceeding LNCS 12203 constitutes the refereed proceedings of the 12th International Conference on Cross-Cultural Design, CCD 2020, held as part of HCI International 2020 in Copenhagen, Denmark in July 2020. The conference was held virtually due to the corona pan…
by SpringerLink (Online service), Jmaiel, Mohamed, Mokhtari, Mounir, Abdulrazak, Bessam, Aloulou, Hamdi, Kallel, Slim
fromInformation Systems and Applications, incl. Internet/Web, a…
This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully re…
Dedication -- Foreword -- Preface -- Acknowledgement -- Part I: Preliminaries, Design Principles and Challenges -- Chapter 1: Industrial networks and IIoT: Now and future trends.-Chapter 2: Wireless Communication for the Industrial IoT -- Part II: Automation Trends and Applicati…
by Mazal, Jan, Fagiolini, Adriano, Vasik, Petr, Turi, Michele, International Conference on Modelling and Simulation for Autonomous Systems, Prague, République tchèque)
fromInformation systems and applications, including internet/we…
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Modelling and Simulation for Autonomous Systems, MESAS 2020, held in Prague, Czech Republic, in October 2020.* The 19 full papers included in the volume were carefull…
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed…
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; c…
Zur Einführung -- Teil I - Digitalisierung in der Langzeitpflege: Entwicklung, Analyse, Implementation: Veränderungsprojekte Digitalisierung der Arbeit in der Langzeitpflege. Anforderungen und Gestaltungsoptionen im Rahmen umfassender Veränderungsprozesse -- Digitalisierungsproz…
