Filter by
Programming Languages and Systems: 32nd European Symposium on Programming, ES…
This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues …
- Edition
- 1
- ISBN/ISSN
- 9783031300448
- Collation
- XII, 566
- Series Title
- -
- Call Number
- -
Electronic Voting: 7th International Joint Conference, E-Vote-ID 2022, Bregen…
This open access book LNCS 13353 constitutes the proceedings of the 7th International Conference on Electronic Voting, E-Vote-ID 2022, held in Bregenz, Austria, in October 2022. The 10 full papers presented were carefully reviewed and selected from 39 submissions. The conference collected the most relevant debates on the development of Electronic Voting, from aspects relating to security and u…
- Edition
- 1
- ISBN/ISSN
- 9783031159114
- Collation
- XII, 185
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following …
- Edition
- 1
- ISBN/ISSN
- 9783031131851
- Collation
- XIX, 555
- Series Title
- -
- Call Number
- -
Nordic Media Histories of Propaganda and Persuasion
This book is open access, which means that you have free and unlimited access Explores how the Nordic welfare epoch was built not only on propaganda and persuasion Highlights transnational and transmedial perspectives rather than national or monomedial histories Covers a range of themes, from cultural diplomacy to information infrastructures
- Edition
- -
- ISBN/ISSN
- 9783031051715
- Collation
- -
- Series Title
- -
- Call Number
- -
Digital Health Care in Taiwan Innovations of National Health Insurance
This open access book introduces the National Health Insurance (NHI) system of Taiwan with a particular emphasis on its application of digital technology to improve healthcare access and quality. The authors explicate how Taiwan integrates its strong Information and Communications Technology (ICT) industry with 5G to construct an information system that facilitates medical information exchange,…
- Edition
- -
- ISBN/ISSN
- 9783031051609
- Collation
- -
- Series Title
- -
- Call Number
- -
Foundations of Software Science and Computation Structures: 25th Internationa…
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and select…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-99253-8
- Collation
- XVI, 471
- Series Title
- -
- Call Number
- -
Berufliche Passagen im Lebenslauf
Bridging the gap between higher education research and policy making was always a challenge, but the recent calls for more evidence-based policies have opened a window of unprecedented opportunity for researchers to bring more contributions to shaping the future of the European Higher Education Area (EHEA). Encouraged by the success of the 2011 first edition, Romania and Armenia have organised …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-20877-0
- Collation
- -
- Series Title
- XLIV, 898
- Call Number
- -
Fundamental Approaches to Software Engineering: 25th International Conference…
This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submis…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-99429-7
- Collation
- XIV, 347
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 28th Inter…
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…
- Edition
- 1
- ISBN/ISSN
- 9783030995249
- Collation
- XXII, 583
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 28th Inter…
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully …
- Edition
- 1
- ISBN/ISSN
- 9783030995270
- Collation
- XXI, 493
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography