Filter by
Programming Languages and Systems: 30th European Symposium on Programming, ES…
This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in thi…
- Edition
- -
- ISBN/ISSN
- 978-3-030-72019-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…
- Edition
- -
- ISBN/ISSN
- 978-3-030-72013-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Foundations of Software Science and Computation Structures: 24th Internationa…
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format du…
- Edition
- -
- ISBN/ISSN
- 978-3-030-71995-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Experimental Studies in Learning Technology and Child–Computer Interaction
This book is about the ways in which experiments can be employed in the context of research on learning technologies and child–computer interaction (CCI). It is directed at researchers, supporting them to employ experimental studies while increasing their quality and rigor. The book provides a complete and comprehensive description on how to design, implement, and report experiments, with a f…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-14350-2
- Collation
- -
- Series Title
- SpringerBriefs in Educational Communications and Technology
- Call Number
- XVIII, 107
Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…
- Edition
- -
- ISBN/ISSN
- 978-3-030-72016-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Fundamental Approaches to Software Engineering: 24th International Conference…
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…
- Edition
- -
- ISBN/ISSN
- 978-3-030-71500-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Artificial Intelligence for a Better Future: An Ecosystem Perspective on the …
This open access book proposes a novel approach to Artificial Intelligence (AI) ethics. AI offers many advantages: better and faster medical diagnoses, improved business processes and efficiency, and the automation of boring work. But undesirable and ethically problematic consequences are possible too: biases and discrimination, breaches of privacy and security, and societal distortions such as…
- Edition
- -
- ISBN/ISSN
- 978-3-030-69978-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Graph Structures for Knowledge Representation and Reasoning: 6th Internationa…
This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were revie…
- Edition
- -
- ISBN/ISSN
- 978-3-030-72308-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Sonic Interactions in Virtual Environments
This open access book tackles the design of 3D spatial interactions in an audio-centered and audio-first perspective, providing the fundamental notions related to the creation and evaluation of immersive sonic experiences. The key elements that enhance the sensation of place in a virtual environment (VE) are:
- Edition
- 1
- ISBN/ISSN
- 978-3-031-04021-4
- Collation
- -
- Series Title
- Human–Computer Interaction Series
- Call Number
- XXII, 428
Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology …
This book gathers the second volume of the proceedings of the 31st edition of the International Conference on Flexible Automation and Intelligent Manufacturing, FAIM 2022, held on June 19 – 23, 2022, in Detroit, Michigan, USA. Covering four thematic areas including Manufacturing Processes, Machine Tools, Manufacturing Systems, and Enabling Technologies, it highlights advances in micro- and na…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17629-6
- Collation
- -
- Series Title
- Lecture Notes in Mechanical Engineering
- Call Number
- XXI, 771
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography