This Handbook presents a complete and rigorous overview of the fundamentals, methods and applications of the multidisciplinary field of Global Navigation Satellite Systems (GNSS), providing an exhaustive, one-stop reference work and a state-of-the-art description of GNSS as a ke…
Build clustered and scalable Java-based, real-time applications using Spring Framework, Boot, WebSocket, Cassandra, Redis and RabbitMQ. In this book, you'll tie all this together with a dive-in case study, a real-time scalable chat application under differing scenarios. Pro Java…
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.…
This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers …
The two-volume set CCIS 713 and CCIS 714 contains the extended abstracts of the posters presented during the 19th International Conference on Human-Computer Interaction, HCI International 2017, held in Vancouver, BC, Canada, in July 2017. HCII 2017 received a total of 4340 submi…
This is an open access book.In this third edition of Engineering Haptic Devices the software part was rewritten from scratch and now includes even more details on tactile and texture interaction modalities. The kinematics section was improved to extend beyond a pure knowledge ex…
This volume constitutes selected papers presented at the First International Conference on Engineering Software for Modern Challenges, ESMoC 2021, held in Johor, Malaysia, in October 20-21, 2021.The 17 papers presented were thoroughly reviewed and selected from the 167 submissio…
This book constitutes revised selected papers from the refereed proceedings of the 15th Colombian Congress on Advances in Computing, CCC 2021, held in Bogotá, Colombia, during November 22-26, 2021.The 8 full papers and 2 short papers included in this book were carefully reviewed…
Dieses Open Access Buch umfasst fünfzehn Beiträge aus sechs Verbundvorhaben, die im Rahmen des Förderschwerpunkts "Arbeit in der digitalisierten Welt" des Bundesministeriums für Bildung und Forschung unterschiedliche Entwicklungen im Transformationsprozess der Arbeitswelt analys…
Dieses Open Access Buch umfasst fünfzehn Beiträge aus sechs Verbundvorhaben, die im Rahmen des Förderschwerpunkts "Arbeit in der digitalisierten Welt" des Bundesministeriums für Bildung und Forschung unterschiedliche Entwicklungen im Transformationsprozess der Arbeitswelt analys…
Dieses Open-Access-Buch umfasst fünfzehn Beiträge aus sechs Verbundvorhaben, die im Rahmen des Förderschwerpunkts "Arbeit in der digitalisierten Welt“ des Bundesministeriums für Bildung und Forschung unterschiedliche Entwicklungen im Transformationsprozess der Arbeitswelt analys…
Amazon Echo is a smart speaker developed by Amazon, which connects to Amazon's Alexa Voice Service and is entirely controlled by voice commands. Amazon Echo is currently being used for a variety of purposes such as home automation, asking generic queries, and even ordering a cab…
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (I…
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynot…
Computers helping people with special needs: 17th International Conference, ICCHP 2020, Lecco,…
by International Conference on Computers Helping People with Special Needs, Online), Miesenberger, Klaus, Manduchi, Roberto, Covarrubias Rodriguez, Mario, Penaz, Petr
fromLecture Notes in Computer Science
7 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, held in A'quila, Italy, in September 2020. In the Research Track, 12 full papers presented together with 5 short papers were carefully reviewed and selected f…
The double volumes LNCS 12391-12392 constitutes the papers of the 31st International Conference on Database and Expert Systems Applications, DEXA 2020, which will be held online in September 2020. The 38 full papers presented together with 20 short papers plus 1 keynote papers i…
The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the confe…