Rakuten Kobo

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part I

Edited by Robbert Krebbers ...

Series Book 1 - Springer Nature Proceedings Computer Science
The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.The 31 full papers included in the proceedings, together with one invited talk, were carefully reviewed and ... Read more

Free

The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.The 31 full papers included in the proceedings, together with one invited talk, were carefully reviewed and
... Read more
Managing and Understanding Artificial Intelligence: From Classical to Generative AI

A Practice Guide for Decision-makers, Developers and Regulators in the Age of the EU AI Act

by Thomas Schmid, Wolfgang Hildesheim, Taras Holoyad ...

Series series Artificial Intelligence (R0)
Artificial Intelligence (AI) is taking over the world, becoming an essential part of our daily lives. Self-driving cars, medical diagnoses, robotic processes, chatbots, and urban planning are just a few examples of how AI is being used. But what exactly is AI? What makes it successful? Are there concrete examples of AI applications currently in use? How do we mitigate risks? What norms do we need ... Read more

$58.99 USD

Artificial Intelligence (AI) is taking over the world, becoming an essential part of our daily lives. Self-driving cars, medical diagnoses, robotic processes, chatbots, and urban planning are just a few examples of how AI is being used. But what exactly is AI? What makes it successful? Are there concrete examples of AI applications currently in use? How do we mitigate risks? What norms do we need
... Read more
Cross-Cultural Design

15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part III

Edited by Pei-Luen Patrick Rau ...

Series Book 3 - Springer Nature Proceedings Computer Science
This three-volume set of CCD 2023, constitutes the refereed proceedings of the 25th International Conference on Cross-Cultural Design, CCD 2023, held as Part of the 24th International Conference, HCI International 2023, which took place in July 2023 in Copenhagen, Denmark.The total of 1578 papers and 396 posters included in the HCII 2023 proceedings volumes was carefully reviewed and selected from ... Read more

$152.99 USD

This three-volume set of CCD 2023, constitutes the refereed proceedings of the 25th International Conference on Cross-Cultural Design, CCD 2023, held as Part of the 24th International Conference, HCI International 2023, which took place in July 2023 in Copenhagen, Denmark.The total of 1578 papers and 396 posters included in the HCII 2023 proceedings volumes was carefully reviewed and selected from
... Read more
Runtime Verification

25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings

Edited by Bettina Könighofer, Hazem Torfah ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15–19, 2025.The 22 regular papers, 1 short paper, 2 tool papers, and 1 tutorial paper included in this book were carefully reviewed and selected from 64 submissions.The RV conference focuses on all aspects of formal methods for monitoring, ... Read more

$67.99 USD

This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15–19, 2025.The 22 regular papers, 1 short paper, 2 tool papers, and 1 tutorial paper included in this book were carefully reviewed and selected from 64 submissions.The RV conference focuses on all aspects of formal methods for monitoring,
... Read more
Smart, Secure, and Sustainable Digital Futures

AI, Cybersecurity, and Governance in Emerging Digital Systems

Edited by Norliza Katuk, Roberto Vergallo, Noradila Nordin ...

Series series Technology for Smart Environments and Sustainable Futures
This comprehensive volume provides a multidisciplinary exploration of the design, governance, and sustainability of emerging digital systems by integrating theoretical foundations with empirical studies. The text takes a closer look at trust, security, and responsible innovation, across four thematic pillars: conceptual foundations, cybersecurity resilience, AI governance, and human-centred ... Read more

$72.99 USD

This comprehensive volume provides a multidisciplinary exploration of the design, governance, and sustainability of emerging digital systems by integrating theoretical foundations with empirical studies. The text takes a closer look at trust, security, and responsible innovation, across four thematic pillars: conceptual foundations, cybersecurity resilience, AI governance, and human-centred
... Read more
Python for Data Science For Dummies

by John Paul Mueller, Luca Massaron ...

Let Python do the heavy lifting for you as you analyze large datasetsPython for Data Science For Dummies lets you get your hands dirty with data using one of the top programming languages. This beginner’s guide takes you step by step through getting started, performing data analysis, understanding datasets and example code, working with Google Colab, sampling data, and beyond. Coding your data ... Read more

$21.00 USD

Let Python do the heavy lifting for you as you analyze large datasetsPython for Data Science For Dummies lets you get your hands dirty with data using one of the top programming languages. This beginner’s guide takes you step by step through getting started, performing data analysis, understanding datasets and example code, working with Google Colab, sampling data, and beyond. Coding your data
... Read more
A Textbook of Data Structures and Algorithms, Volume 1

Mastering Linear Data Structures

by G. A. Vijayalakshmi Pai ...

Data structures and algorithms is a fundamental course in Computer Science, which enables learners across any discipline to develop the much-needed foundation of efficient programming, leading to better problem solving in their respective disciplines.A Textbook of Data Structures and Algorithms is a textbook that can be used as course material in classrooms, or as self-learning material. The book ... Read more

$136.00 USD

Data structures and algorithms is a fundamental course in Computer Science, which enables learners across any discipline to develop the much-needed foundation of efficient programming, leading to better problem solving in their respective disciplines.A Textbook of Data Structures and Algorithms is a textbook that can be used as course material in classrooms, or as self-learning material. The book
... Read more
Data Science Strategy For Dummies

by Ulrika Jägare ...

All the answers to your data science questionsOver half of all businesses are using data science to generate insights and value from big data. How are they doing it? Data Science Strategy For Dummies answers all your questions about how to build a data science capability from scratch, starting with the “what” and the “why” of data science and covering what it takes to lead and nurture a top-notch ... Read more

$18.00 USD

All the answers to your data science questionsOver half of all businesses are using data science to generate insights and value from big data. How are they doing it? Data Science Strategy For Dummies answers all your questions about how to build a data science capability from scratch, starting with the “what” and the “why” of data science and covering what it takes to lead and nurture a top-notch
... Read more
AI-Augmented Enterprise Architecture

Semantic, Specification and Continuous Execution

by William El Kaim ...

Enterprise Architecture was built for a world where change moved at the speed of documents, reviews, and committees. That world is gone. Cloud platforms, APIs, AI agents, and continuous delivery have made architecture an operational discipline. Ambiguity costs more than ever, and there is no time left to interpret it. Architecture must become explicit, machine-usable, and able to act in execution ... Read more

$21.99 USD or Free with Kobo Plus

Enterprise Architecture was built for a world where change moved at the speed of documents, reviews, and committees. That world is gone. Cloud platforms, APIs, AI agents, and continuous delivery have made architecture an operational discipline. Ambiguity costs more than ever, and there is no time left to interpret it. Architecture must become explicit, machine-usable, and able to act in execution
... Read more
The AI-Powered Grant Writer: A Beginner's Guide on How to Use Free Artificial Intelligence Tools to Save Time, Craft Winning Proposals, and Fully Fund Your Non-Profit

by Himanshoo Jaiswal ...

Stop staring at a blank page. Start funding your mission.For decades, the world of institutional grant funding has been a locked fortress. The system inherently favored massive organizations with deep pockets and entire departments dedicated to bureaucratic paperwork. Meanwhile, passionate grassroots leaders, non-profit founders, and community advocates have been locked out of the capital they ... Read more

$6.99 USD or Free with Kobo Plus

Stop staring at a blank page. Start funding your mission.For decades, the world of institutional grant funding has been a locked fortress. The system inherently favored massive organizations with deep pockets and entire departments dedicated to bureaucratic paperwork. Meanwhile, passionate grassroots leaders, non-profit founders, and community advocates have been locked out of the capital they
... Read more
Energy Systems Engineering

Modeling, Analysis and Application

Edited by Sivasankari Sundaram, Chakkarapani Manickam ...

Series series ISTE Invoiced
Energy Systems Engineering is a comprehensive guide for students, researchers and professionals navigating through the rapidly evolving energy landscape. This book bridges theory and practice, delivering clear explanations of the origin of energy system modeling approaches, deliverables, performance analysis, and real-world applications across conventional and renewable technologies.From linear ... Read more

$136.00 USD

Energy Systems Engineering is a comprehensive guide for students, researchers and professionals navigating through the rapidly evolving energy landscape. This book bridges theory and practice, delivering clear explanations of the origin of energy system modeling approaches, deliverables, performance analysis, and real-world applications across conventional and renewable technologies.From linear
... Read more
Mobile Actuation Systems for Magnetic Small-scale Robots

by Qianqian Wang, Li Zhang, Tiantian Xu, Mingxue Cai ...

Discover mobile magnetic actuation systems for manipulating magnetic small-scale robotsExploring the latest advancements in the field, this book introduces mobile magnetic actuation systems, covering the principles, development, and their typical applications. Each chapter is complete with a discussion and conclusion, as well as experimental results when necessary.Readers will find information on ... Read more

$120.00 USD

Discover mobile magnetic actuation systems for manipulating magnetic small-scale robotsExploring the latest advancements in the field, this book introduces mobile magnetic actuation systems, covering the principles, development, and their typical applications. Each chapter is complete with a discussion and conclusion, as well as experimental results when necessary.Readers will find information on
... Read more
SQL for Bеginnеrs

A Complеtе Guidе to Lеarn thе Fundamеntals of SQL and Start Programming Today!

by MEGANE NOEL ...

Series series Computer Programming
SQL stands for Structured Query Language and is a programming language for managing and retrieving data from relational databases. This book serves as a basic introduction to SQL and how it works. This book will also assist you in programming or writing SQL queries for database management.This is a beginner's guide that does not assume any prior understanding of the language. In this book, we'll ... Read more

$6.99 USD or Free with Kobo Plus

SQL stands for Structured Query Language and is a programming language for managing and retrieving data from relational databases. This book serves as a basic introduction to SQL and how it works. This book will also assist you in programming or writing SQL queries for database management.This is a beginner's guide that does not assume any prior understanding of the language. In this book, we'll
... Read more
Logic and Argumentation

4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings

Edited by Pietro Baroni, Christoph Benzmüller, Yὶ N. Wáng ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of ... Read more

$80.99 USD

This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of
... Read more
Agentic AI for Healthcare

Building Scalable Models for Production

Edited by Sairohith Thummarakoti ...

The healthcare industry is undergoing a transformative shift as artificial intelligence moves from isolated predictive models to autonomous, goal-driven agents capable of reasoning, planning, and adapting in real time.Agentic AI for Healthcare: Building Scalable Models for Production is the first comprehensive technical guide that focuses specifically on designing and deploying agentic AI systems ... Read more

$51.99 USD

The healthcare industry is undergoing a transformative shift as artificial intelligence moves from isolated predictive models to autonomous, goal-driven agents capable of reasoning, planning, and adapting in real time.Agentic AI for Healthcare: Building Scalable Models for Production is the first comprehensive technical guide that focuses specifically on designing and deploying agentic AI systems
... Read more
Design Principles for Integrated Haptic Systems

by Bingxu Li, Tyler Cody ...

Series series Computer Science (R0)
This unique monograph explores the science and technology of touch, bridging human tactile perception and advanced haptic interfaces. Aimed at researchers and designers in haptics, it shows how understanding skin biomechanics leads to more intuitive haptic systems.Starting with how mechanical signals processed by the skin produce tactile sensations, it emphasizes the importance of skin deformation ... Read more

$179.99 USD

This unique monograph explores the science and technology of touch, bridging human tactile perception and advanced haptic interfaces. Aimed at researchers and designers in haptics, it shows how understanding skin biomechanics leads to more intuitive haptic systems.Starting with how mechanical signals processed by the skin produce tactile sensations, it emphasizes the importance of skin deformation
... Read more
Handbook of the Metaverse

Edited by Pan Hui, Peng Yuan Zhou, Lik-Hang Lee, Tristan Braud ...

Series series Computer Science (R0)
The metaverse is sweeping the global thanks to its fundamentally innovative concepts of physical-virtual blended reality and years of industrial efforts on relevant hardware development. It is yet unclear what the metaverse is, what technologies it relies on, and what concern the society should care about since it is such a huge ecosystem with nearly unlimited possibilities. The book aims to ... Read more

$269.99 USD

The metaverse is sweeping the global thanks to its fundamentally innovative concepts of physical-virtual blended reality and years of industrial efforts on relevant hardware development. It is yet unclear what the metaverse is, what technologies it relies on, and what concern the society should care about since it is such a huge ecosystem with nearly unlimited possibilities. The book aims to
... Read more
Safer Better Healthcare, By All for All

Proceedings of the International Conference on Healthcare Systems Ergonomics and Patient Safety, HEPS 2025

Edited by Marie E. Ward, Siobhán Corrigan, Peter Lachman, John Fitzsimons, Tamasine Grimes, Liam M. Chadwick ...

Series series Springer Nature Proceedings excluding Computer Science
This book presents the peer-reviewed proceedings of the 8th Healthcare Systems Ergonomics and Patient Safety (HEPS) international conference, held in Dublin, Ireland, on June 18-20, 2025, which was endorsed by the International Ergonomics Association (IEA). The conference theme of ‘Safer Better Care, By All, For All’ promoted the importance of bringing together Patient and Public Involvement, ... Read more

$179.99 USD

This book presents the peer-reviewed proceedings of the 8th Healthcare Systems Ergonomics and Patient Safety (HEPS) international conference, held in Dublin, Ireland, on June 18-20, 2025, which was endorsed by the International Ergonomics Association (IEA). The conference theme of ‘Safer Better Care, By All, For All’ promoted the importance of bringing together Patient and Public Involvement,
... Read more
Pervasive Computing Technologies for Healthcare

19th EAI International Conference, Pervasive Health 2025, Eindhoven, The Netherlands, October 15–17, 2025, Proceedings, Part II

Edited by Jun Hu, Karin Coninx, Bin Yu, Luigi Borzì, Maarten Houben ...

Series Book 2 - Springer Nature Proceedings excluding Computer Science
This two-volume set LNICST 693-694 constitutes the refereed proceedings of the19th EAI International Conference on Pervasive Computing Technologies for Healthcare, Pervasive Health 2025, held in Eindhoven, The Netherlands during October 15–17, 2025.The 43 full papers, 10 posters, 6 position papers, and 3 workshop proposals included in these volumes were carefully reviewed and selected from 140 ... Read more

$89.99 USD

This two-volume set LNICST 693-694 constitutes the refereed proceedings of the19th EAI International Conference on Pervasive Computing Technologies for Healthcare, Pervasive Health 2025, held in Eindhoven, The Netherlands during October 15–17, 2025.The 43 full papers, 10 posters, 6 position papers, and 3 workshop proposals included in these volumes were carefully reviewed and selected from 140
... Read more
Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

by Amol M. Jagtap, Gautami G. Shingan ...

This book provides a structured introduction to automata theory, bridging theoretical foundations with practical applications. Designed for students, researchers, and professionals, this book explores fundamental concepts like deterministic and non-deterministic finite automata, context-free grammars, pushdown automata, and Turing machines. It emphasises problem-solving, critical thinking, and ... Read more

$108.99 USD

This book provides a structured introduction to automata theory, bridging theoretical foundations with practical applications. Designed for students, researchers, and professionals, this book explores fundamental concepts like deterministic and non-deterministic finite automata, context-free grammars, pushdown automata, and Turing machines. It emphasises problem-solving, critical thinking, and
... Read more
Not Just Another Model

The Art of AI Product Development in Enterprise Settings

by Costanza Balboni Cestelli ...

Not Just Another Model: The Art of AI Product Development in Enterprise Settings is for those who have discovered that corporate AI is less about mathematical brilliance and more about organisational archaeology: excavating real problems buried beneath layers of political sediment, building bridges between technical possibility and business reality, and accepting that sometimes the most valuable ... Read more

$69.99 USD

Not Just Another Model: The Art of AI Product Development in Enterprise Settings is for those who have discovered that corporate AI is less about mathematical brilliance and more about organisational archaeology: excavating real problems buried beneath layers of political sediment, building bridges between technical possibility and business reality, and accepting that sometimes the most valuable
... Read more
The AI as Social Actor

Design Speculations for Reimagining Human-Thing Relationships

by Hyungjun Cho ...

Series series Engineering (R0)
This book explores a pivotal moment in our technological evolution, where artificial intelligence is transitioning from a functional tool into a social presence embedded in everyday life. As our interactions with technology become increasingly relational, we face a critical gap in the language, frameworks, and perspectives needed to design for these emerging dynamics. This book addresses that gap ... Read more

$125.99 USD

This book explores a pivotal moment in our technological evolution, where artificial intelligence is transitioning from a functional tool into a social presence embedded in everyday life. As our interactions with technology become increasingly relational, we face a critical gap in the language, frameworks, and perspectives needed to design for these emerging dynamics. This book addresses that gap
... Read more
Gephi Cookbook

Over 90 hands-on recipes to master the art of network analysis and visualization with Gephi

by Devangana ...

Key FeaturesBook DescriptionIf you want to learn network analysis and visualization along with graph concepts from scratch, then this book is for you. This is ideal for those of you with little or no understanding of Gephi and this domain, but will also be beneficial for those interested in expanding their knowledge and experience.What you will learnInstall and configure Gephi on your system and ... Read more

$37.99 USD or Free with Kobo Plus

Key FeaturesBook DescriptionIf you want to learn network analysis and visualization along with graph concepts from scratch, then this book is for you. This is ideal for those of you with little or no understanding of Gephi and this domain, but will also be beneficial for those interested in expanding their knowledge and experience.What you will learnInstall and configure Gephi on your system and
... Read more
Data Storytelling with Google Looker Studio

A hands-on guide to using Looker Studio for building compelling and effective dashboards

by Sireesha Pulipati ...

Apply data storytelling concepts and analytical thinking to create dashboards and reports in Looker Studio to aid data-driven decision makingKey FeaturesGain a solid understanding of data visualization principles and learn to apply them effectivelyGet to grips with the concepts and features of Looker Studio to create powerful data storiesExplore the end-to-end process of building dashboards with ... Read more

$46.99 USD or Free with Kobo Plus

Apply data storytelling concepts and analytical thinking to create dashboards and reports in Looker Studio to aid data-driven decision makingKey FeaturesGain a solid understanding of data visualization principles and learn to apply them effectivelyGet to grips with the concepts and features of Looker Studio to create powerful data storiesExplore the end-to-end process of building dashboards with
... 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: