Filter by
Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
- Edition
- -
- ISBN/ISSN
- 9783031906602
- Collation
- XXI, 269 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
- Edition
- -
- ISBN/ISSN
- 9783031906435
- Collation
- XXVII, 399 hlm,: ill, lamp;
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
- Edition
- -
- ISBN/ISSN
- 9783031906534
- Collation
- XX, 387hlm,: ill, lamp; 21 cm
- Series Title
- -
- Call Number
- -
The Mathematical Theory of Semantic Communication
This Open Access Book explores how classical information theory’s focus on syntactic information has limited the further development of communication science. Recently, communication technologies that handle and transmit semantic information have gained widespread attention in academia. Semantic communication has paved new directions for the future of communication technology development, yet…
- Edition
- -
- ISBN/ISSN
- 9789819651313
- Collation
- VIII, 115 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Decide Better: Open and Interoperable Local Digital Twins
This is an open access book. Decide Better: Open and Interoperable Local Digital Twins explores the transformative potential of Local Digital Twins (LDTs) in urban governance. The book begins by introducing the concept of LDTs, which create digital replicas of cities or regions, combining real-time data and simulations to inform decision-making. It highlights how LDTs can enhance urban manag…
- Edition
- 1st Edition
- ISBN/ISSN
- 978-3-031-81451-8
- Collation
- XXV, 348
- Series Title
- -
- Call Number
- -
Nordic Artificial Intelligence Research and Development : 4th Symposium of th…
This book constitutes the refereed proceedings of the 4th Symposium of the Norwegian AI Society, NAIS 2022, held in Oslo, Norway, during May 31–June 1, 2022. The 11 full papers included in this book were carefully reviewed and selected from 17 submissions. They were organized in topical sections as follows: robotics and intelligent systems; ai in cyber and digital sphere; ai in biological a…
- Edition
- -
- ISBN/ISSN
- 978-3-031-17030-0
- Collation
- XII, 139p
- Series Title
- -
- Call Number
- 001 NOR
The Impact of Digital Technologies on Public Health in Developed and Developi…
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 reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and…
- Edition
- 1
- ISBN/ISSN
- 9783030515171
- Collation
- XV, 442
- Series Title
- -
- Call Number
- -
How AI Impacts Urban Living and Public Health: 17th International Conference,…
This open access book constitutes the refereed proceedings of the 17th International Conference on String Processing and Information Retrieval, ICOST 2019, held in New York City, NY, USA, in October 2019. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 24 submissions. They cover topics such as: e-health technology design; well-being tech…
- Edition
- 1
- ISBN/ISSN
- 9783030327859
- Collation
- XIII, 224
- Series Title
- -
- Call Number
- -
Mixed-Criticality Industrial Wireless Networks
This open access book introduces how to manage important tasks in industrial wireless networks. Important tasks must be completed on time and with guaranteed quality; that is the consensus reached by system designers and users. However, for too long, important tasks have often been given unnecessary urgency, and people intuitively believe that important tasks should be executedfirst so th…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-8922-3
- Collation
- -
- Series Title
- Wireless Networks
- Call Number
- XI, 131
Autonomous Control for a Reliable Internet of Services: Methods, Models, Appr…
This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, res…
- Edition
- 1
- ISBN/ISSN
- 9783319904153
- Collation
- XVI, 401
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography