Filter by
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
- -
Cybersecurity of Digital Service Chains: Challenges, Methodologies, and Tools
This open access book presents the main scientific results from the H2020 GUARD project. The GUARD project aims at filling the current technological gap between software management paradigms and cybersecurity models, the latter still lacking orchestration and agility to effectively address the dynamicity of the former. This book provides a comprehensive review of the main concepts, architecture…
- Edition
- 1
- ISBN/ISSN
- 9783031040368
- Collation
- XI, 257
- Series Title
- -
- Call Number
- -
Haptics: Science, Technology, Applications: 13th International Conference on …
This open access book constitutes the proceedings of the 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, held in Hamburg, Germany, in May 2022. The 36 regular papers included in this book were carefully reviewed and selected from 129 submissions. They were organized in topical sections as follows: haptic science; haptic technolog…
- Edition
- 1
- ISBN/ISSN
- 9783031062490
- Collation
- XVIII, 514
- Series Title
- -
- Call Number
- -
Participative Urban Health and Healthy Aging in the Age of AI: 19th Internati…
This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2022, held in Paris, France, in June 2022. The 15 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 33 submissions. They cover topics such as design, development, deployment, and evaluation of AI f…
- Edition
- 1
- ISBN/ISSN
- 9783031095931
- Collation
- XI, 312
- Series Title
- -
- Call Number
- -
Supercomputing Frontiers: 7th Asian Conference, SCFA 2022, Singapore, March 1…
This open access book constitutes the refereed proceedings of the 7th Asian Conference Supercomputing Conference, SCFA 2022, which took place in Singapore in March 2022. The 8 full papers presented in this book were carefully reviewed and selected from 21 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workfl…
- Edition
- 1
- ISBN/ISSN
- 9783031104190
- Collation
- VIII, 141
- Series Title
- -
- Call Number
- -
Programming Languages and Systems: 31st European Symposium on Programming, ES…
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issue…
- Edition
- -
- ISBN/ISSN
- 978-3-030-99336-8
- Collation
- XIV, 604
- Series Title
- -
- Call Number
- -
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solv…
- Edition
- 1
- ISBN/ISSN
- 9783031107696
- Collation
- XV, 756
- 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
- 9783031131882
- Collation
- XIX, 549
- Series Title
- -
- Call Number
- -
Taking Stock of Industrial Ecology
How can we design more sustainable industrial and urban systems that reduce environmental impacts while supporting a high quality of life for everyone? What progress has been made towards reducing resource use and waste, and what are the prospects for more resilient, material-efficient economies? What are the environmental and social impacts of global supply chains and how can they be measured …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-20571-7
- Collation
- -
- Series Title
- XXI, 362
- Call Number
- -
Advances in Wheat Genetics: From Genome to Field
This proceedings is a collection of 46 selected papers that were presented at the 12th International Wheat Genetics Symposium (IWGS). Since the launch of the wheat genome sequencing project in 2005, the arrival of draft genome sequences has marked a new era in wheat genetics and genomics, catalyzing rapid advancement in the field. This book provides a comprehensive review of the forefront of wh…
- Edition
- 1
- ISBN/ISSN
- 978-4-431-55675-6
- Collation
- -
- Series Title
- XVI, 445
- Call Number
- 572
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography