Rakuten Kobo

Augmented Cognition

17th International Conference, AC 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings

Edited by Dylan D. Schmorrow, Cali M. Fidopiastis ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of 17th International Conference, AC 2023, held as part of the 25th International Conference, HCI International 2023, which was held virtually in Copenhagen, Denmark in July 2023.The total of 1578 papers and 396 posters included in the HCII 2023 proceedings was carefully reviewed and selected from 7472 submissions.The AC 2023 conference focuses on ... Read more

$80.99 USD

This book constitutes the refereed proceedings of 17th International Conference, AC 2023, held as part of the 25th International Conference, HCI International 2023, which was held virtually in Copenhagen, Denmark in July 2023.The total of 1578 papers and 396 posters included in the HCII 2023 proceedings was carefully reviewed and selected from 7472 submissions.The AC 2023 conference focuses on
... Read more
HCI International 2023 Posters

25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part III

Edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy ...

Series Book 3 - Springer Nature Proceedings Computer Science
The five-volume set CCIS 1832-1836 contains the extended abstracts of the posters presented during the 25th International Conference on Human-Computer Interaction, HCII 2023, which was held as a hybrid event in Copenhagen, Denmark, in July 2023.The total of 1578 papers and 396 posters included in the 47 HCII 2023 proceedings volumes were carefully reviewed and selected from the 7472 contributions ... Read more

$98.09 USD

The five-volume set CCIS 1832-1836 contains the extended abstracts of the posters presented during the 25th International Conference on Human-Computer Interaction, HCII 2023, which was held as a hybrid event in Copenhagen, Denmark, in July 2023.The total of 1578 papers and 396 posters included in the 47 HCII 2023 proceedings volumes were carefully reviewed and selected from the 7472 contributions
... Read more
Human-Computer Interaction

Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I

Edited by Masaaki Kurosu, Ayako Hashizume ...

Series Book 1 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 14011, 14012, 14013, and 14014 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 25th International Conference on Human-Computer Interaction, HCII 2023, which took place in Copenhagen, Denmark, in July 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings from a total of 7472 ... Read more

$89.09 USD

The four-volume set LNCS 14011, 14012, 14013, and 14014 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 25th International Conference on Human-Computer Interaction, HCII 2023, which took place in Copenhagen, Denmark, in July 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings from a total of 7472
... Read more
Programming Languages and Systems

20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings

Edited by Ilya Sergey ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Semantics and Analysis; Testing and Verification; Types. ... Read more

$62.99 USD

This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Semantics and Analysis; Testing and Verification; Types.
... Read more
Smart Wireless Sensing

From IoT to AIoT

by Zheng Yang, Kun Qian, Chenshu Wu, Yi Zhang ...

Series series Computer Science (R0)
Perception of human beings has evolved from natural biosensor to powerful sensors and sensor networks. In sensor networks, trillions of devices are interconnected and sense a broad spectrum of contexts for human beings, laying the foundation of Internet of Things (IoT). However, sensor technologies have several limitations relating to deployment cost and usability, which render them unacceptable ... Read more

$143.09 USD

Perception of human beings has evolved from natural biosensor to powerful sensors and sensor networks. In sensor networks, trillions of devices are interconnected and sense a broad spectrum of contexts for human beings, laying the foundation of Internet of Things (IoT). However, sensor technologies have several limitations relating to deployment cost and usability, which render them unacceptable
... Read more
Monotonicity in Logic and Language

Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings

Edited by Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl ...

Series series Springer Nature Proceedings Computer Science
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020. The 12 full papers together presented were fully reviewed and selected from 40 submissions.Due to COVID-19 the workshop will be held ... Read more

$71.99 USD

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020. The 12 full papers together presented were fully reviewed and selected from 40 submissions.Due to COVID-19 the workshop will be held
... Read more
Internet of Things: Enabling Technologies, Security and Social Implications

Edited by Santosh Kumar Pani, Manjusha Pandey ...

Series series Engineering (R0)
This edited book presents point of view and the work being undertaken by active researchers in the domain of IOT and its applications with societal impact. The book is useful to other researchers for the understanding of the research domain and different points of views expressed by the experts in their contributed chapters. The contributions are from both industry and academia; hence, it provides ... Read more

$143.09 USD

This edited book presents point of view and the work being undertaken by active researchers in the domain of IOT and its applications with societal impact. The book is useful to other researchers for the understanding of the research domain and different points of views expressed by the experts in their contributed chapters. The contributions are from both industry and academia; hence, it provides
... Read more
Transactions on Computational Science XXXVII

Special Issue on Computer Graphics

Edited by Marina L. Gavrilova, C. J. Kenneth Tan, Jian Chang, Nadia Magnenat Thalmann ...

Series series Computer Science (R0)
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, ... Read more

$49.49 USD

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments,
... Read more
Intelligent Robotics and Applications

16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part IX

Edited by Huayong Yang, Honghai Liu, Jun Zou, Zhouping Yin, Lianqing Liu, Geng Yang, Xiaoping Ouyang, Zhiyong Wang ...

Series Book 9 - Springer Nature Proceedings Computer Science
The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric ... Read more

$62.99 USD

The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric
... Read more
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration

25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4–7, 2023, Proceedings, Part I

Edited by Dion H. Goh, Shu-Jiun Chen, Suppawong Tuarob ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 14457 and LNCS 14458 constitutes the refereed proceedings of the 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, held in Taipei, Taiwan, during December 4-7, 2023.The 15 full, 17 short, 2 practice papers and 12 poster papers presented in this volume were carefully reviewed and selected from 85 submissions.Based on significant contributions, the ... Read more

$62.99 USD

This two-volume set LNCS 14457 and LNCS 14458 constitutes the refereed proceedings of the 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, held in Taipei, Taiwan, during December 4-7, 2023.The 15 full, 17 short, 2 practice papers and 12 poster papers presented in this volume were carefully reviewed and selected from 85 submissions.Based on significant contributions, the
... Read more
Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Edited by K. Narayan Kumar, Deepak D'Souza ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in
... Read more
Computational Pathology and Ophthalmic Medical Image Analysis

First International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018, Proceedings

Edited by Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu, Anne Martel, Lena Maier-Hein, Nasir Rajpoot, Jeroen van der Laak, Mitko Veta, Stephen McKenna, David Snead, Emanuele Trucco, Mona K. Garvin, Xin Jan Chen, Hrvoje Bogunovic ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed joint proceedings of the First International Workshop on Computational Pathology, COMPAY 2018, and the 5th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2018, held in conjunction with the 21st International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2018, in Granada, Spain, in September 2018.The 19 full papers ... Read more

$49.49 USD

This book constitutes the refereed joint proceedings of the First International Workshop on Computational Pathology, COMPAY 2018, and the 5th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2018, held in conjunction with the 21st International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2018, in Granada, Spain, in September 2018.The 19 full papers
... Read more
String Analysis for Software Verification and Security

by Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...

Series series Computer Science (R0)
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... Read more

$62.99 USD

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string
... Read more
Interface Development for Learning Environments

Establishing Connections Between Users and Learning

by Joseph Frantiska Jr. ...

Series series Education (R0)
This brief will examine and explore some tools and techniques that can be used to develop interfaces for learning environments. Interface design has been a topic in software engineering for many years. The advent of graphical user interfaces has created many remedies and challenges for the software engineer. In recent years with an increased emphasis in educational technology, instructional ... Read more

$49.49 USD

This brief will examine and explore some tools and techniques that can be used to develop interfaces for learning environments. Interface design has been a topic in software engineering for many years. The advent of graphical user interfaces has created many remedies and challenges for the software engineer. In recent years with an increased emphasis in educational technology, instructional
... Read more
Personalizing Haptics

From Individuals' Sense-Making Schemas to End-User Haptic Tools

by Hasti Seifi ...

Series series Computer Science (R0)
This monograph presents a vision for haptic personalization tools and lays the foundations for achieving it. Effective haptic personalization requires a suite of tools unified by one underlying conceptual model that can easily be incorporated into users’ workflows with various applications. Toward this vision, the book introduces three mechanisms for haptic personalization and details development ... Read more

$116.09 USD

This monograph presents a vision for haptic personalization tools and lays the foundations for achieving it. Effective haptic personalization requires a suite of tools unified by one underlying conceptual model that can easily be incorporated into users’ workflows with various applications. Toward this vision, the book introduces three mechanisms for haptic personalization and details development
... Read more
Collaboration and Technology

22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings

Edited by Takaya Yuizono, Hiroaki Ogata, Ulrich Hoppe, Julita Vassileva ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Conference on Collaboration and Technology, CRIWG 2016, held in Kanazawa, Japan, in September 2016.The 10 revised full papers presented together with 3 work-in-progress papers werecarefully reviewed and selected from 27 submissions. The papers refl****ect the current diversity of collaborative computing research and its ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 22nd International Conference on Collaboration and Technology, CRIWG 2016, held in Kanazawa, Japan, in September 2016.The 10 revised full papers presented together with 3 work-in-progress papers werecarefully reviewed and selected from 27 submissions. The papers refl****ect the current diversity of collaborative computing research and its
... Read more
Data Mining and Analytics

Ultimate Guide to the Basics of Data Mining, Analytics and Metrics

by Alex Campbell ...

Are you curious about data mining and analytics? Have you ever wondered how the world is filled with so much data and what is it used for? Do you wonder how companies use data to improve their revenue and steer themselves toward the path of success? Would you like to know why data is a new currency and companies invest so much to extract, store, and process data? Do you want to know how businesses ... Read more

$3.95 USD or Free with Kobo Plus

Are you curious about data mining and analytics? Have you ever wondered how the world is filled with so much data and what is it used for? Do you wonder how companies use data to improve their revenue and steer themselves toward the path of success? Would you like to know why data is a new currency and companies invest so much to extract, store, and process data? Do you want to know how businesses
... Read more
Time Series Data Analysis

A Comprehensive Guide for Very Beginner

by Brian Paul ...

Time Series Data Analysis: A Comprehensive Guide for Very Beginner delves into the intricate world of time series analysis, offering readers a profound understanding of how to manage, analyze, and forecast time-dependent data. With an emphasis on practical application, this guide bridges the gap between theoretical concepts and real-world scenarios, making it an indispensable resource for anyone ... Read more

$3.95 USD or Free with Kobo Plus

Time Series Data Analysis: A Comprehensive Guide for Very Beginner delves into the intricate world of time series analysis, offering readers a profound understanding of how to manage, analyze, and forecast time-dependent data. With an emphasis on practical application, this guide bridges the gap between theoretical concepts and real-world scenarios, making it an indispensable resource for anyone
... Read more
Coordination Models and Languages

18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Edited by Alberto Lluch Lafuente, José Proença ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover ... Read more

$49.49 USD

This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover
... Read more
Evolutionary and Biologically Inspired Music, Sound, Art and Design

4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

Edited by Adrian Carballal, Colin Johnson, João Correia ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Biologically Inspired Music, Sound, Art and Design, EvoMUSART 2015, held in Copenhagen, Denmark, in April 2015, co-located with the Evo* 2015 events EuroGP, EvoCOP and Evo Applications. The 23 revised full papers presented were carefully reviewed and selected from 43 submissions. They cover a wide range of topics ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 4th International Conference on Biologically Inspired Music, Sound, Art and Design, EvoMUSART 2015, held in Copenhagen, Denmark, in April 2015, co-located with the Evo* 2015 events EuroGP, EvoCOP and Evo Applications. The 23 revised full papers presented were carefully reviewed and selected from 43 submissions. They cover a wide range of topics
... Read more
Accelerator Programming Using Directives

4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

Edited by Sunita Chandrasekaran, Guido Juckeland ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017.The 9 full papers presented have been carefully reviewed and selected from 14 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... Read more

$53.99 USD

This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017.The 9 full papers presented have been carefully reviewed and selected from 14 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are
... Read more
Practical Aspects of Declarative Languages

20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Edited by Francesco Calimeri, Kevin Hamlen, Nicola Leone ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected ... Read more

$53.99 USD

This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected
... Read more
Topics in Theoretical Computer Science

Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Edited by Mohammad Reza Mousavi, Jiří Sgall ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming
... Read more
Designing Usable and Secure Software with IRIS and CAIRIS

by Shamal Faily ...

Series series Computer Science (R0)
Everyone expects the products and services they use to be secure, but 'building security in' at the earliest stages of a system's design also means designing for use as well. Software that is unusable to end-users and unwieldy to developers and administrators may be insecure as errors and violations may expose exploitable vulnerabilities.This book shows how practitioners and researchers can build ... Read more

$62.99 USD

Everyone expects the products and services they use to be secure, but 'building security in' at the earliest stages of a system's design also means designing for use as well. Software that is unusable to end-users and unwieldy to developers and administrators may be insecure as errors and violations may expose exploitable vulnerabilities.This book shows how practitioners and researchers can build
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Programming eBooks

Show: