Rakuten Kobo

Johan van Benthem on Logic and Information Dynamics

Edited by Alexandru Baltag, Sonja Smets ...

Series series Philosophy and Religion (R0)
This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire ... Read more

$188.09 USD

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire
... Read more
Python AI Programming, Second Edition

Kickstart developing AI-ready apps with RAG, DSPy, MCP, agents, evals, observability and open-source models

by Patrick J ...

The way we develop AI has completely changed. I mean, who builds models from scratch these days? Nobody.Today's developers are creating apps based on existing models, and this second edition teaches you how to do that in Python. We start with one API call and end up with a full production service that's all set to go. As you go through the chapters, you build one application that grows with you, ... Read more

$35.99 USD

The way we develop AI has completely changed. I mean, who builds models from scratch these days? Nobody.Today's developers are creating apps based on existing models, and this second edition teaches you how to do that in Python. We start with one API call and end up with a full production service that's all set to go. As you go through the chapters, you build one application that grows with you,
... Read more
Blending Experiences in Interaction Design

INTERACT 2025 IFIP TC 13 Workshops, Belo Horizonte, Brazil, September 8–12, 2025, Revised Selected Papers, Part I

Edited by Cristiano Maciel, Davide Lucio Spano, Carmelo Ardito, André Freire, Raquel Prates ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two volume set IFIP 16478-16479 presents a series of revised papers selected from workshops that took place during the 20th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2025, held in Belo Horizonte, Brazil during September 10–12, 2025.The 56 full papers included in this book were carefully reviewed and selected from 94 submissions. They were organized in topical ... Read more

$58.49 USD

The two volume set IFIP 16478-16479 presents a series of revised papers selected from workshops that took place during the 20th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2025, held in Belo Horizonte, Brazil during September 10–12, 2025.The 56 full papers included in this book were carefully reviewed and selected from 94 submissions. They were organized in topical
... Read more
Computer Vision – ECCV 2022

17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part IV

Edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner ...

Series Book 4 - Springer Nature Proceedings Computer Science
The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during October 23–27, 2022.The 1645 papers presented in these proceedings were carefully reviewed and selected from a total of 5804 submissions. The papers deal with topics such as computer vision; machine ... Read more

$98.09 USD

The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during October 23–27, 2022.The 1645 papers presented in these proceedings were carefully reviewed and selected from a total of 5804 submissions. The papers deal with topics such as computer vision; machine
... Read more
Next-Generation Smart Systems

Bridging Sustainability and Computational Intelligence

Edited by V. Sekhar, P. Ajay Kumar Reddy, K. Logesh, T. Raghunadha Reddy, Dara Raju ...

Series series Taylor and Francis Proceedings in Computer Science and Engineering
This compilation of papers captures the essence of the International Conference on Smart Systems for Sustainable Development using Advanced Computational Techniques (ICSSA 2025). It provides a comprehensive exploration of how next-generation computing drives ecological and social resilience and highlights the pivotal role of intelligent automation and data-driven strategies in solving complex ... Read more

$239.99 USD

This compilation of papers captures the essence of the International Conference on Smart Systems for Sustainable Development using Advanced Computational Techniques (ICSSA 2025). It provides a comprehensive exploration of how next-generation computing drives ecological and social resilience and highlights the pivotal role of intelligent automation and data-driven strategies in solving complex
... Read more
Distributed Artificial Intelligence

Third International Conference, DAI 2021, Shanghai, China, December 17–18, 2021, Proceedings

Edited by Jie Chen, Jérôme Lang, Christopher Amato, Dengji Zhao ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Conference on Distributed Artificial Intelligence, DAI 2021, held in Shanghai, China, in December 2021.The 15 full papers presented in this book were carefully reviewed and selected from 31 submissions. DAI aims at bringing together international researchers and practitioners in related areas including general AI, multiagent ... Read more

$62.99 USD

This book constitutes the refereed proceedings of the Third International Conference on Distributed Artificial Intelligence, DAI 2021, held in Shanghai, China, in December 2021.The 15 full papers presented in this book were carefully reviewed and selected from 31 submissions. DAI aims at bringing together international researchers and practitioners in related areas including general AI, multiagent
... Read more
Building Better Interfaces for Remote Autonomous Systems

An Introduction for Systems Engineers

by Jacob D. Oury, Frank E. Ritter ...

Series series Computer Science (R0)
This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of the ... Read more

Free

This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of the
... Read more
OpenMP in a Modern World: From Multi-device Support to Meta Programming

18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27–30, 2022, Proceedings

Edited by Michael Klemm, Bronis R. de Supinski, Jannis Klinkenberg, Brandon Neth ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International Workshop on OpenMP, IWOMP 2022, held in Chattanooga, TN, USA, in September 2022.The 11 full papers presented in this volume were carefully reviewed and selected for inclusion in this book from the 13 submissions. The papers are organized in topical sections named: OpenMP and multiple nodes; exploring new and recent OpenMP extensions; ... Read more

$44.99 USD

This book constitutes the proceedings of the 18th International Workshop on OpenMP, IWOMP 2022, held in Chattanooga, TN, USA, in September 2022.The 11 full papers presented in this volume were carefully reviewed and selected for inclusion in this book from the 13 submissions. The papers are organized in topical sections named: OpenMP and multiple nodes; exploring new and recent OpenMP extensions;
... Read more
Augmented Reality in Tourism, Museums and Heritage

A New Technology to Inform and Entertain

Edited by Vladimir Geroimenko ...

Series series Computer Science (R0)
This book provides extensive research into the use of augmented reality in the three interconnected and overlapping fields of the tourism industry, museum exhibitions, and cultural heritage. It is written by a virtual team of 50 leading researchers and practitioners from 16 countries around the world.The authors explore the opportunities and challenges of augmented reality applications, their ... Read more

$170.09 USD

This book provides extensive research into the use of augmented reality in the three interconnected and overlapping fields of the tourism industry, museum exhibitions, and cultural heritage. It is written by a virtual team of 50 leading researchers and practitioners from 16 countries around the world.The authors explore the opportunities and challenges of augmented reality applications, their
... Read more
Programming Languages and Systems

19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings

Edited by Hakjoo Oh ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification.* The conference ... Read more

$76.49 USD

This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification.* The conference
... Read more
Job Scheduling Strategies for Parallel Processing

24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers

Edited by Dalibor Klusáček, Walfredo Cirne, Gonzalo P. Rodrigo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).The 10 revised full papers presented were carefully reviewed and selected from 17 submissions. In addition to this, one keynote paper was included in the ... Read more

$62.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).The 10 revised full papers presented were carefully reviewed and selected from 17 submissions. In addition to this, one keynote paper was included in the
... Read more
PHP 8 Solutions

Dynamic Web Design and Development Made Easy

by David Powers ...

Series series Professional and Applied Computing (R0)
Make your websites more dynamic by adding a feedback form, creating a private area where members can upload images that are automatically resized, or storing all your content in a database. David Powers has updated his definitive book to incorporate the latest techniques and changes to PHP with the arrival of PHP 8. New features include named attributes, constructor property promotion, the ... Read more

$62.99 USD

Make your websites more dynamic by adding a feedback form, creating a private area where members can upload images that are automatically resized, or storing all your content in a database. David Powers has updated his definitive book to incorporate the latest techniques and changes to PHP with the arrival of PHP 8. New features include named attributes, constructor property promotion, the
... Read more
Software Verification

13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

Edited by Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions ... Read more

$53.99 USD

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions
... Read more
Mastering Scale and Complexity in Software Reuse

16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Edited by Goetz Botterweck, Claudia Werner ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.The 8 revised full papers presented together with 3 short papers and 2 keynote presentations were carefully reviewed and selected from 34 submissions. The papers are grouped in topical sections on documentation reuse and repositories; software ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.The 8 revised full papers presented together with 3 short papers and 2 keynote presentations were carefully reviewed and selected from 34 submissions. The papers are grouped in topical sections on documentation reuse and repositories; software
... Read more
Design, User Experience, and Usability

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

Edited by Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares ...

Series Book 2 - Springer Nature Proceedings Computer Science
This 5-volume HCII-DUXU 2023 book set constitutes the refereed proceedings of the 12th International Conference on Design, User Experience, and Usability, DUXU 2023, held as part of the 24th International Conference, HCI International 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 ... Read more

$89.09 USD

This 5-volume HCII-DUXU 2023 book set constitutes the refereed proceedings of the 12th International Conference on Design, User Experience, and Usability, DUXU 2023, held as part of the 24th International Conference, HCI International 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
... Read more
Distributed, Ambient and Pervasive Interactions

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

Edited by Norbert A. Streitz, Shin'ichi Konomi ...

Series Book 2 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2023, held as part of the 25th International Conference on Human-Computer Interaction, HCII 2023, which took place as an hybrid event in Copenhagen, Denmark, in July 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII ... Read more

$80.99 USD

This book constitutes the refereed proceedings of the 11th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2023, held as part of the 25th International Conference on Human-Computer Interaction, HCII 2023, which took place as an hybrid event in Copenhagen, Denmark, in July 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII
... Read more
HCI International 2023 Posters

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

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

Series Book 5 - 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

$143.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
Performance Evaluation and Benchmarking

12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers

Edited by Raghunath Nambiar, Meikel Poess ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 12th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2020, held in August 2020.The 8 papers presented were carefully reviewed and cover the following topics: testing ACID compliance in the LDBC social network benchmark; experimental performance evaluation of stream processing engines made easy; ... Read more

$49.49 USD

This book constitutes the refereed post-conference proceedings of the 12th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2020, held in August 2020.The 8 papers presented were carefully reviewed and cover the following topics: testing ACID compliance in the LDBC social network benchmark; experimental performance evaluation of stream processing engines made easy;
... Read more
Digitale Kompetenz

Grundlagen der Künstlichen Intelligenz, Blockchain-Technologie, Quanten-Computing und deren Anwendungen für die Digitale Transformation

by Volker Lang ...

Series series Computer Science and Engineering (German Language)
Wenn Sie neugierig auf die Grundlagen der künstlichen Intelligenz, der Blockchain-Technologie und des Quantencomputings sind, die für die digitale Transformation und Innovation von entscheidender Bedeutung sind, ist Digital Fluency Ihr praktischer Leitfaden. Die realen Anwendungen dieser Spitzentechnologien nehmen rapide zu, und Ihr tägliches Leben wird weiterhin von jeder dieser Technologien ... Read more

$23.79 USD

Wenn Sie neugierig auf die Grundlagen der künstlichen Intelligenz, der Blockchain-Technologie und des Quantencomputings sind, die für die digitale Transformation und Innovation von entscheidender Bedeutung sind, ist Digital Fluency Ihr praktischer Leitfaden. Die realen Anwendungen dieser Spitzentechnologien nehmen rapide zu, und Ihr tägliches Leben wird weiterhin von jeder dieser Technologien
... Read more
Speichereffizienter Aufbau von binären Entscheidungsdiagrammen

by Rune Krauss ...

Series series Computer Science and Engineering (German Language)
Aufgrund der steigenden Komplexität von Hardwaresystemen besteht die Notwendigkeit, effizientere Datenstrukturen und darauf operierende Algorithmen zu entwickeln, um weiterhin das korrekte Verhalten solcher Systeme zu garantieren. Ein binäres Entscheidungsdiagramm ist eine geeignete Datenstruktur, da sie eine kompakte Repräsentation boolescher Funktionen und effiziente Algorithmen zur Manipulation ... Read more

$44.99 USD

Aufgrund der steigenden Komplexität von Hardwaresystemen besteht die Notwendigkeit, effizientere Datenstrukturen und darauf operierende Algorithmen zu entwickeln, um weiterhin das korrekte Verhalten solcher Systeme zu garantieren. Ein binäres Entscheidungsdiagramm ist eine geeignete Datenstruktur, da sie eine kompakte Repräsentation boolescher Funktionen und effiziente Algorithmen zur Manipulation
... Read more
Software Defined Chips

Volume I

by Shaojun Wei, Leibo Liu, Jianfeng Zhu, Chenchen Deng ...

Series series Computer Science (R0)
This is the first book of a two-volume book set which introduces software defined chips. In this book, it introduces the conceptual evolution of software defined chips from the development of integrated circuits and computing architectures. Technical principles, characteristics and key issues of software defined chips are systematically analyzed. The hardware architecture design methods are ... Read more

$143.09 USD

This is the first book of a two-volume book set which introduces software defined chips. In this book, it introduces the conceptual evolution of software defined chips from the development of integrated circuits and computing architectures. Technical principles, characteristics and key issues of software defined chips are systematically analyzed. The hardware architecture design methods are
... Read more
Social Robotics

15th International Conference, ICSR 2023, Doha, Qatar, December 3–7, 2023, Proceedings, Part II

Edited by Abdulaziz Al Ali, John-John Cabibihan, Nader Meskin, Silvia Rossi, Wanyue Jiang, Hongsheng He, Shuzhi Sam Ge ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 14453 and 14454 constitutes the refereed post-conference proceedings of the 15th International Conference on Social Robotics, ICSR 2023, held in Doha, Qatar, during December 4–7, 2023.The 68 revised full papers presented in these proceedings were carefully reviewed and selected from 83 submissions. They deal with topics around the interaction between humans and intelligent ... Read more

$76.49 USD

The two-volume set LNAI 14453 and 14454 constitutes the refereed post-conference proceedings of the 15th International Conference on Social Robotics, ICSR 2023, held in Doha, Qatar, during December 4–7, 2023.The 68 revised full papers presented in these proceedings were carefully reviewed and selected from 83 submissions. They deal with topics around the interaction between humans and intelligent
... Read more
Theory of JIZAI Body

Towards Mastery Over the Extended Self

Edited by Masahiko Inami ...

Series series Computer Science (R0)
This book proposes a novel body image to bridge gap between self-transformation and preserving sense of self: the Jizai body. Automation and digitization have served to transform our lives. Digital transformation, for example, is rapidly changing the world every day, making life more convenient and comfortable. However, there is a worrying trend of removing the human element from human-centric ... Read more

$197.09 USD

This book proposes a novel body image to bridge gap between self-transformation and preserving sense of self: the Jizai body. Automation and digitization have served to transform our lives. Digital transformation, for example, is rapidly changing the world every day, making life more convenient and comfortable. However, there is a worrying trend of removing the human element from human-centric
... Read more
Software Defined Chips

Volume II

by Leibo Liu, Shaojun Wei, Jianfeng Zhu, Chenchen Deng ...

Series series Engineering (R0)
This book is the second volume of a two-volume book set which introduces software-defined chips. In this book, the programming model of the software-defined chips is analyzed by tracing the coevolution of modern general-purpose processors and programming models. The enhancement in hardware security and reliability of the software-defined chips are described from the perspective of dynamic and ... Read more

$152.09 USD

This book is the second volume of a two-volume book set which introduces software-defined chips. In this book, the programming model of the software-defined chips is analyzed by tracing the coevolution of modern general-purpose processors and programming models. The enhancement in hardware security and reliability of the software-defined chips are described from the perspective of dynamic and
... 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: