Rakuten Kobo

Logic and Language Models for Computer Science

by Dana Richards, Henry Hamburger ...

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It ... Read more

$42.99 USD

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It
... Read more
Culture and Computing

10th International Conference, C&C 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings

Edited by Matthias Rauterberg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Culture and Computing, C&C 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022.The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions.The C&C 2022 proceedings ... Read more

$80.99 USD

This book constitutes the refereed proceedings of the 10th International Conference on Culture and Computing, C&C 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022.The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions.The C&C 2022 proceedings
... Read more
Cross-Cultural Design. Applications in Business, Communication, Health, Well-being, and Inclusiveness

14th International Conference, CCD 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part III

Edited by Pei-Luen Patrick Rau ...

Series Book 3 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022.The papers included in the HCII-CCD volume set were organized in topical sections as follows:Part I: Cross-Cultural Interaction Design; ... Read more

$80.99 USD

The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022.The papers included in the HCII-CCD volume set were organized in topical sections as follows:Part I: Cross-Cultural Interaction Design;
... Read more
CODING INTERVIEW

A Beginner's Guide to Learn and Study the Theories and Principles of Coding and Perform Well in the Coding Interview

by Eric Schmidt ...

Coding interviews have changed over the years, and the expectations are now firmer than ever. Interviewers not only want to assess your programming skills but also want to assess your behavior during the interview. It is important to develop the right practices and attitude before you go for the interview. You need to display the right skills so the interviewer can hire you without a doubt. Your ... Read more

$4.99 USD

Coding interviews have changed over the years, and the expectations are now firmer than ever. Interviewers not only want to assess your programming skills but also want to assess your behavior during the interview. It is important to develop the right practices and attitude before you go for the interview. You need to display the right skills so the interviewer can hire you without a doubt. Your
... Read more
Artificial Intelligence and Actuarial Science

Applications and Case Studies from Finance and Insurance

Edited by Sonal Trivedi, M. K. Nallakaruppan, Balamurugan Balusamy, Nithya Rekha Sivakumar ...

This book aims to explore how to automate, innovate, design, and deploy emerging technologies in actuarial work transformations for the insurance and finance sector. It examines the role of artificial intelligence with process automation in daily monitoring of solvency, governance, compliance, data processes, etc. It also explores the usage of machine learning, telematics system, AI-enabled claim ... Read more

$77.99 USD

This book aims to explore how to automate, innovate, design, and deploy emerging technologies in actuarial work transformations for the insurance and finance sector. It examines the role of artificial intelligence with process automation in daily monitoring of solvency, governance, compliance, data processes, etc. It also explores the usage of machine learning, telematics system, AI-enabled claim
... Read more
Modern Systems Programming with Scala Native

Write Lean, High-Performance Code without the JVM

by Richard Whaling ...

Access the power of bare-metal systems programming with Scala Native, an ahead-of-time Scala compiler. Without the baggage of legacy frameworks and virtual machines, Scala Native lets you re-imagine how your programs interact with your operating system. Compile Scala code down to native machine instructions; seamlessly invoke operating system APIs for low-level networking and IO; control pointers, ... Read more

$28.99 USD

Access the power of bare-metal systems programming with Scala Native, an ahead-of-time Scala compiler. Without the baggage of legacy frameworks and virtual machines, Scala Native lets you re-imagine how your programs interact with your operating system. Compile Scala code down to native machine instructions; seamlessly invoke operating system APIs for low-level networking and IO; control pointers,
... Read more
Distributed, Ambient and Pervasive Interactions

13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II

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

Series Book 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 15802-15803 constitutes the refereed proceedings of the 13th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2025, held as part of the 27th International Conference on Human-Computer Interaction, HCII 2025, in Gothenburg, Sweden, during June 22-27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was ... Read more

$116.99 USD

This two-volume set LNCS 15802-15803 constitutes the refereed proceedings of the 13th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2025, held as part of the 27th International Conference on Human-Computer Interaction, HCII 2025, in Gothenburg, Sweden, during June 22-27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was
... Read more
Design Heuristics for Emerging Technologies

AI, Data, & Human-Centered Futures - Considerations for the Rights of Women

by Kem-Laurin Lubin ...

In Design Heuristics for Emerging Technologies, Kem-Laurin Lubin delivers a visionary exploration of the intersection between artificial intelligence, systemic bias, and the urgent need for equity in digital design. Grounded in feminist theory and critical data studies, this book tackles the complex ways patriarchal systems shape AI-powered technologies, with a particular focus on their impact on ... Read more

$33.99 USD

In Design Heuristics for Emerging Technologies, Kem-Laurin Lubin delivers a visionary exploration of the intersection between artificial intelligence, systemic bias, and the urgent need for equity in digital design. Grounded in feminist theory and critical data studies, this book tackles the complex ways patriarchal systems shape AI-powered technologies, with a particular focus on their impact on
... Read more
Ultimate Unity for Multiplayer VR Development

by Niraj Vishwakarma ...

Create Cutting-Edge Multiplayer VR in Unity with XR Toolkit & Photon FusionKey Features● Explore AR, VR, and MR evolution with cutting-edge hardware and tools.● Master multiplayer VR and networking with Unity and Photon Fusion.● Build cross-platform XR apps using Unity XR Toolkit and OpenXR.Book DescriptionVirtual Reality (VR) and Extended Reality (XR) are revolutionizing industries, from gam... ... Read more

$18.99 USD

Create Cutting-Edge Multiplayer VR in Unity with XR Toolkit & Photon FusionKey Features● Explore AR, VR, and MR evolution with cutting-edge hardware and tools.● Master multiplayer VR and networking with Unity and Photon Fusion.● Build cross-platform XR apps using Unity XR Toolkit and OpenXR.Book DescriptionVirtual Reality (VR) and Extended Reality (XR) are revolutionizing industries, from gam...
... Read more
Real-Time Applications of Machine Learning in Cyber-Physical Systems

Edited by Balamurugan Easwaran, Kamal Kant Hiran, Sangeetha Krishnan, Ruchi Doshi ...

Technological advancements of recent decades have reshaped the way people socialize, work, learn, and ultimately live. The use of cyber-physical systems (CPS) specifically have helped people lead their lives with greater control and freedom. CPS domains have great societal significance, providing crucial assistance in industries ranging from security to healthcare. At the same time, machine ... Read more

$229.99 USD

Technological advancements of recent decades have reshaped the way people socialize, work, learn, and ultimately live. The use of cyber-physical systems (CPS) specifically have helped people lead their lives with greater control and freedom. CPS domains have great societal significance, providing crucial assistance in industries ranging from security to healthcare. At the same time, machine
... Read more
Computational Psychoanalysis and Formal Bi-Logic Frameworks

by Giuseppe Iurato ...

Computational psychoanalysis is a new field stemming from Freudian psychoanalysis. The new area aims to understand the primary formal structures and running mechanisms of the unconscious while implementing them into computer sciences. Computational Psychoanalysis and Formal Bi-Logic Frameworks provides emerging information on this new field which uses psychoanalysis and the unconscious mind to ... Read more

$184.99 USD

Computational psychoanalysis is a new field stemming from Freudian psychoanalysis. The new area aims to understand the primary formal structures and running mechanisms of the unconscious while implementing them into computer sciences. Computational Psychoanalysis and Formal Bi-Logic Frameworks provides emerging information on this new field which uses psychoanalysis and the unconscious mind to
... Read more
The Future Is Here with AI

by Shivani ...

Step into the future with The Future Is Here with AI — your ultimate guide to understanding, using, and profiting from Artificial Intelligence.This beginner-friendly eBook breaks down complex AI concepts into simple, actionable steps. You'll discover how to use tools like ChatGPT, Canva, Midjourney, Pika Labs, and more to save time, boost productivity, and even start earning online.Inside, you'll ... Read more

$1.99 USD or Free with Kobo Plus

Step into the future with The Future Is Here with AI — your ultimate guide to understanding, using, and profiting from Artificial Intelligence.This beginner-friendly eBook breaks down complex AI concepts into simple, actionable steps. You'll discover how to use tools like ChatGPT, Canva, Midjourney, Pika Labs, and more to save time, boost productivity, and even start earning online.Inside, you'll
... Read more
Machine Learning con R

Conoscere le tecniche per costruire modelli predittivi

by Brett Lantz ...

Nell'era dei big data gli algoritmi di apprendimento automatico sono essenziali per elaborare l'enorme mole di informazioni prodotta costantemente. Muovere i primi passi in questa disciplina, però, può non essere né semplice né immediato. Questo manuale guida il lettore nell'applicazione del machine learning utilizzando R, un ambiente di programmazione statistica multipiattaforma che offre un ... Read more

$31.99 USD

Nell'era dei big data gli algoritmi di apprendimento automatico sono essenziali per elaborare l'enorme mole di informazioni prodotta costantemente. Muovere i primi passi in questa disciplina, però, può non essere né semplice né immediato. Questo manuale guida il lettore nell'applicazione del machine learning utilizzando R, un ambiente di programmazione statistica multipiattaforma che offre un
... Read more
Human-Computer Interaction – INTERACT 2025

20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part I

Edited by Carmelo Ardito, Simone Diniz Junqueira Barbosa, Tayana Conte, André Freire, Isabela Gasparini, Philippe Palanque, Raquel Prates ...

Series Book 1 - Springer Nature Proceedings Computer Science
This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025, held in Belo Horizonte, Brazil, during September 8–12, 2025.The 69 full papers, 34 short papers and 79 papers of other types included in this book were carefully reviewed and selected from 330 submissions. They were organized in topical ... Read more

$80.99 USD

This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025, held in Belo Horizonte, Brazil, during September 8–12, 2025.The 69 full papers, 34 short papers and 79 papers of other types included in this book were carefully reviewed and selected from 330 submissions. They were organized in topical
... Read more
Design Solutions for User-Centric Information Systems

Edited by Saqib Saeed, Yasser A. Bamarouf, T. Ramayah, Sardar Zafar Iqbal ...

Continuous improvements in technological applications have allowed more opportunities to develop systems with user-focused designs. This not only leads to higher success in day-to-day usage, but it increases the overall probability of technology adoption. Design Solutions for User-Centric Information Systems provides a comprehensive examination of the latest strategies and methods for creating ... Read more

$184.99 USD

Continuous improvements in technological applications have allowed more opportunities to develop systems with user-focused designs. This not only leads to higher success in day-to-day usage, but it increases the overall probability of technology adoption. Design Solutions for User-Centric Information Systems provides a comprehensive examination of the latest strategies and methods for creating
... Read more
Clinical Engineering Handbook

Edited by Ernesto Iadanza ...

Clinical Engineering Handbook, Second Edition, covers modern clinical engineering topics, giving experienced professionals the necessary skills and knowledge for this fast-evolving field. Featuring insights from leading international experts, this book presents traditional practices, such as healthcare technology management, medical device service, and technology application. In addition, readers ... Read more

$179.99 USD

Clinical Engineering Handbook, Second Edition, covers modern clinical engineering topics, giving experienced professionals the necessary skills and knowledge for this fast-evolving field. Featuring insights from leading international experts, this book presents traditional practices, such as healthcare technology management, medical device service, and technology application. In addition, readers
... Read more
Nios4 WEB API

by Davide Andreoli ...

Potenzia il tuo sistema ERP in completa autonomia grazie a Nios4.Collega le tue applicazioni e i tuoi servizi direttamente al cloud di Nios4.Grazie a questa guida potrai usufruire di tutti i vantaggi della piattaforma creando un collegamento diretto.Puoi collegare il tuo e-commerce, creare la versione mobile del tuo gestionale senza cambiarlo, creare sistemi IOT e utilizzare Nios4 come sistema di ... Read more

$2.99 USD or Free with Kobo Plus

Potenzia il tuo sistema ERP in completa autonomia grazie a Nios4.Collega le tue applicazioni e i tuoi servizi direttamente al cloud di Nios4.Grazie a questa guida potrai usufruire di tutti i vantaggi della piattaforma creando un collegamento diretto.Puoi collegare il tuo e-commerce, creare la versione mobile del tuo gestionale senza cambiarlo, creare sistemi IOT e utilizzare Nios4 come sistema di
... Read more
Does Digital Transformation of Government Lead to Enhanced Citizens’ Trust and Confidence in Government?

by Mohamed Mahmood ...

Series series Political Science and International Studies (R0)
This research contributes to the growing body of knowledge as well as offers significant theoretical contributions and policy implications. As far as the researcher’s knowledge, this is the first research of its type that investigates the relationship between digital enabled transformation of government and citizens’ trust & confidence in government. The proposed conceptual model also makes a ... Read more

$49.99 USD

This research contributes to the growing body of knowledge as well as offers significant theoretical contributions and policy implications. As far as the researcher’s knowledge, this is the first research of its type that investigates the relationship between digital enabled transformation of government and citizens’ trust & confidence in government. The proposed conceptual model also makes a
... Read more
Development of a Decision Support System for Groundwater Pollution Assessment

by N. Kukuric ...

This book discusses the development of the decision support system for groundwater pollution assessment, one of the first integrated information systems in the field of hydrogeology, reflecting the purpose of knowledge encapsulation in the field of groundwater quality management. ... Read more

$171.99 USD

This book discusses the development of the decision support system for groundwater pollution assessment, one of the first integrated information systems in the field of hydrogeology, reflecting the purpose of knowledge encapsulation in the field of groundwater quality management.
... Read more
Cross-Cultural Design. User Experience of Products, Services, and Intelligent Environments

12th International Conference, CCD 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I

Edited by Pei-Luen Patrick Rau ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 12192 and 12193 constitutes the refereed proceedings of the 12th International Conference on Cross-Cultural Design, CCD 2020, held as part of HCI International 2020 in Copenhagen, Denmark in July 2020.The conference was held virtually due to the corona pandemic.The total of 1439 papers and 238 posters included in the 40 HCII 2020 proceedings volumes was carefully reviewed ... Read more

$49.99 USD

This two-volume set LNCS 12192 and 12193 constitutes the refereed proceedings of the 12th International Conference on Cross-Cultural Design, CCD 2020, held as part of HCI International 2020 in Copenhagen, Denmark in July 2020.The conference was held virtually due to the corona pandemic.The total of 1439 papers and 238 posters included in the 40 HCII 2020 proceedings volumes was carefully reviewed
... Read more
Human Interface and the Management of Information

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

Edited by Hirohiko Mori, Yumi Asahi ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 14015 - 14016 constitutes the thoroughly refereed proceedings of the thematic area Human Interface and the Management of Information, HIMI 2023, which was held as part of HCI International 2023 which took place in Copenhagen, Denmark, during July 23-28, 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings from a total ... Read more

$89.99 USD

This two-volume set LNCS 14015 - 14016 constitutes the thoroughly refereed proceedings of the thematic area Human Interface and the Management of Information, HIMI 2023, which was held as part of HCI International 2023 which took place in Copenhagen, Denmark, during July 23-28, 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings from a total
... Read more
User Engagement Research and Practice

by Heather O'Brien ...

Series series Synthesis Collection of Technology (R0)
This book presents a holistic overview of user engagement, which has become an increasingly important subject for a variety of industry and academic fields, including engineering, computer science, and information science. The author begins with a definition of user engagement and an explanation of the theoretical background of the topic. The book then covers methodological approaches and examines ... Read more

$40.99 USD

This book presents a holistic overview of user engagement, which has become an increasingly important subject for a variety of industry and academic fields, including engineering, computer science, and information science. The author begins with a definition of user engagement and an explanation of the theoretical background of the topic. The book then covers methodological approaches and examines
... Read more
Multilingual Entity Linking

by Chen-Tse Tsai, Shyam Upadhyay, Dan Roth ...

Series series Synthesis Collection of Technology (R0)
This book focuses on Entity Discovery and Linking (EDL), which is the problem of identifying concepts and entities, disambiguating them, and grounding them to one or more knowledge bases (KBs). The authors first provide background on the topic and emphasize why it is a crucial step toward understanding natural language text. As most of the content on the internet is not in English, the book also ... Read more

$40.99 USD

This book focuses on Entity Discovery and Linking (EDL), which is the problem of identifying concepts and entities, disambiguating them, and grounding them to one or more knowledge bases (KBs). The authors first provide background on the topic and emphasize why it is a crucial step toward understanding natural language text. As most of the content on the internet is not in English, the book also
... Read more
Intelligent Systems

11th Brazilian Conference, BRACIS 2022, Campinas, Brazil, November 28 – December 1, 2022, Proceedings, Part II

Edited by João Carlos Xavier-Junior, Ricardo Araújo Rios ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 13653 and 13654 constitutes the refereed proceedings of the 11th Brazilian Conference on Intelligent Systems, BRACIS 2022, which took place in Campinas, Brazil, in November/December 2022.The 89 papers presented in the proceedings were carefully reviewed and selected from 225 submissions. The conference deals with theoretical aspects and applications of artificial and ... Read more

$89.99 USD

The two-volume set LNAI 13653 and 13654 constitutes the refereed proceedings of the 11th Brazilian Conference on Intelligent Systems, BRACIS 2022, which took place in Campinas, Brazil, in November/December 2022.The 89 papers presented in the proceedings were carefully reviewed and selected from 225 submissions. The conference deals with theoretical aspects and applications of artificial 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: