Rakuten Kobo

Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Edited by Rupak Majumdar, Viktor Kunčak ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.The CAV conference series is ... Read more

$58.04 CAD

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.The CAV conference series is
... Read more
Design, User Experience, and Usability: Theory, Methodology, and Management

6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

Edited by Aaron Marcus, Wentao Wang ...

Series Book 1 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 10288, 10289, and 10290 constitutes the proceedings of the 6th International Conference on Design, User Experience, and Usability, DUXU 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at the ... Read more

$104.48 CAD

The three-volume set LNCS 10288, 10289, and 10290 constitutes the proceedings of the 6th International Conference on Design, User Experience, and Usability, DUXU 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at the
... Read more
Software Engineering for Resilient Systems

9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Edited by Alexander Romanovsky, Elena A. Troubitsyna ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, ... Read more

$58.04 CAD

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance,
... Read more
Persuasive Technology

21st International Conference, PERSUASIVE 2026, Hakodate, Japan, March 10–13, 2026, Proceedings

Edited by Kaoru Sumi, Raian Ali, Roberto Legaspi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Conference on Persuasive Technology, PERSUASIVE 2026, held in Hakodate, Japan, during March 11–13, 2026.The 25 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 104 submissions.They focus on all aspects of design, development, and evaluation of interactive systems aimed ... Read more

$75.50 CAD

This book constitutes the refereed proceedings of the 21st International Conference on Persuasive Technology, PERSUASIVE 2026, held in Hakodate, Japan, during March 11–13, 2026.The 25 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 104 submissions.They focus on all aspects of design, development, and evaluation of interactive systems aimed
... Read more
The Cloud Puzzle Solved: Azure Design Patterns

by Kameron Hussain, Frahaan Hussain ...

Unravel the complexities of cloud architecture with The Cloud Puzzle Solved: Azure Design Patterns, a comprehensive guide crafted for modern developers, architects, and tech leaders looking to master Microsoft Azure. This book demystifies the vast landscape of Azure by breaking it down into proven design patterns that solve real-world problems with clarity and precision.Whether you're designing ... Read more

$13.99 CAD or Free with Kobo Plus

Unravel the complexities of cloud architecture with The Cloud Puzzle Solved: Azure Design Patterns, a comprehensive guide crafted for modern developers, architects, and tech leaders looking to master Microsoft Azure. This book demystifies the vast landscape of Azure by breaking it down into proven design patterns that solve real-world problems with clarity and precision.Whether you're designing
... Read more
PHP Mastery: Crafting Dynamic Web Solutions

by Kameron Hussain, Frahaan Hussain ...

"PHP Mastery: Crafting Dynamic Web Solutions" is an authoritative guide that delves into the intricate world of PHP, a dominant server-side scripting language pivotal in web development. This comprehensive resource is tailored for both novice and experienced programmers looking to deepen their understanding of PHP and its powerful capabilities in creating dynamic, robust web applications.Starting ... Read more

$13.99 CAD or Free with Kobo Plus

"PHP Mastery: Crafting Dynamic Web Solutions" is an authoritative guide that delves into the intricate world of PHP, a dominant server-side scripting language pivotal in web development. This comprehensive resource is tailored for both novice and experienced programmers looking to deepen their understanding of PHP and its powerful capabilities in creating dynamic, robust web applications.Starting
... Read more
Navigating the Digital Frontier: Mastering Social Media, SEO, and Paid Traffic Strategies

by Shaibaz S Dafedar ...

Navigating the Digital FrontierMastering Social Media, SEO, and Paid Traffic Strategies ... Read more

$9.99 CAD or Free with Kobo Plus

Navigating the Digital FrontierMastering Social Media, SEO, and Paid Traffic Strategies
... Read more
How to Use AI to Write Professional Emails in Under a Minute: A Practical Tutorial Guide

by siyabonga hadebe ...

Discover the power of Artificial Intelligence without needing coding skills! The Beginner's AI Blueprint is your ultimate guide to understanding and using AI tools like ChatGPT, Midjourney, and more to save time, create digital products, and even start earning online.Inside, you'll learn how to:• Master AI tools in just hours• Use AI for content creation, business, and productivity• Create your ... Read more

$19.99 CAD or Free with Kobo Plus

Discover the power of Artificial Intelligence without needing coding skills! The Beginner's AI Blueprint is your ultimate guide to understanding and using AI tools like ChatGPT, Midjourney, and more to save time, create digital products, and even start earning online.Inside, you'll learn how to:• Master AI tools in just hours• Use AI for content creation, business, and productivity• Create your
... Read more
Beyond Human: The Rise of Artificial Intelligence

by Master Bart ...

Beyond Human: The Rise of Artificial IntelligenceStep into the future with "Beyond Human: The Rise of Artificial Intelligence," a comprehensive guide to understanding how AI is transforming our world. From healthcare and business to creativity and beyond, this eBook explores the groundbreaking advancements, ethical challenges, and limitless possibilities of AI.Inside, you'll discover:The evolution ... Read more

$14.99 CAD or Free with Kobo Plus

Beyond Human: The Rise of Artificial IntelligenceStep into the future with "Beyond Human: The Rise of Artificial Intelligence," a comprehensive guide to understanding how AI is transforming our world. From healthcare and business to creativity and beyond, this eBook explores the groundbreaking advancements, ethical challenges, and limitless possibilities of AI.Inside, you'll discover:The evolution
... Read more
El Futuro de la Inteligencia Artificial: Innovaciones, Impactos y Desafíos.

by Ian Turing ...

En este libro, Ian Turing explora el fascinante y complejo mundo de la inteligencia artificial. Desde los primeros conceptos y desarrollos históricos hasta las innovaciones más avanzadas y los desafíos futuros, este libro proporciona una visión integral de cómo la IA está transformando nuestro mundo.A través de ejemplos prácticos y estudios de caso, se examina cómo la IA está siendo utilizada en ... Read more

$10.99 CAD or Free with Kobo Plus

En este libro, Ian Turing explora el fascinante y complejo mundo de la inteligencia artificial. Desde los primeros conceptos y desarrollos históricos hasta las innovaciones más avanzadas y los desafíos futuros, este libro proporciona una visión integral de cómo la IA está transformando nuestro mundo.A través de ejemplos prácticos y estudios de caso, se examina cómo la IA está siendo utilizada en
... Read more
The Truth About the 396-Matrix

by Luc De Smet ...

147 Pages of pure amazement about the Truth of our reality: everything is information. The author is an old-school developer who stumbled upon the computer code which steers the Solid 3-D Hologram artificial Matrix we are all living in.This book included most of his mathematical work and reveals the ultimate split between Good and Evil. The AI which controls the Matrix uses this 'Tree of Knowledge ... Read more

$1.99 CAD or Free with Kobo Plus

147 Pages of pure amazement about the Truth of our reality: everything is information. The author is an old-school developer who stumbled upon the computer code which steers the Solid 3-D Hologram artificial Matrix we are all living in.This book included most of his mathematical work and reveals the ultimate split between Good and Evil. The AI which controls the Matrix uses this 'Tree of Knowledge
... Read more
Data Analytics

Data Analytics

by shiva ...

Series series Data Analytics
Data Analytics: A Comprehensive Guide provides an in-depth exploration of the methods and tools used to analyze and interpret data. The guide covers the full data analytics process, from collection and cleaning to advanced analysis and visualization. It delves into different types of analytics, including descriptive, diagnostic, predictive, and prescriptive, offering insights into their ... Read more

$6.99 CAD or Free with Kobo Plus

Data Analytics: A Comprehensive Guide provides an in-depth exploration of the methods and tools used to analyze and interpret data. The guide covers the full data analytics process, from collection and cleaning to advanced analysis and visualization. It delves into different types of analytics, including descriptive, diagnostic, predictive, and prescriptive, offering insights into their
... Read more
The AI Threat Updated 2025

by Jasmine Winterbourne ...

The AI Threat: Navigating Progress in a World Transformed by IntelligenceBetween 2023 and 2025, artificial intelligence leapt from the fringes of innovation into the centre of global infrastructure—redefining work, creativity, governance, and human interaction. As generative models create art, write code, diagnose disease, and influence political discourse, society stands at a crossroads: Will AI ... Read more

$0.99 CAD or Free with Kobo Plus

The AI Threat: Navigating Progress in a World Transformed by IntelligenceBetween 2023 and 2025, artificial intelligence leapt from the fringes of innovation into the centre of global infrastructure—redefining work, creativity, governance, and human interaction. As generative models create art, write code, diagnose disease, and influence political discourse, society stands at a crossroads: Will AI
... Read more
Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018)

Volume X: Auditory and Vocal Ergonomics, Visual Ergonomics, Psychophysiology in Ergonomics, Ergonomics in Advanced Imaging

Edited by Sebastiano Bagnara, Riccardo Tartaglia, Sara Albolino, Thomas Alexander, Yushi Fujita ...

Series series Springer Nature Proceedings excluding Computer Science
This book presents the proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018), held on August 26-30, 2018, in Florence, Italy. By highlighting the latest theories and models, as well as cutting-edge technologies and applications, and by combining findings from a range of disciplines including engineering, design, robotics, healthcare, management, computer science, ... Read more

$162.62 CAD

This book presents the proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018), held on August 26-30, 2018, in Florence, Italy. By highlighting the latest theories and models, as well as cutting-edge technologies and applications, and by combining findings from a range of disciplines including engineering, design, robotics, healthcare, management, computer science,
... Read more
Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018)

Volume VIII: Ergonomics and Human Factors in Manufacturing, Agriculture, Building and Construction, Sustainable Development and Mining

Edited by Sebastiano Bagnara, Riccardo Tartaglia, Sara Albolino, Thomas Alexander, Yushi Fujita ...

Series series Springer Nature Proceedings excluding Computer Science
This book presents the proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018), held on August 26-30, 2018, in Florence, Italy. By highlighting the latest theories and models, as well as cutting-edge technologies and applications, and by combining findings from a range of disciplines including engineering, design, robotics, healthcare, management, computer science, ... Read more

$232.28 CAD

This book presents the proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018), held on August 26-30, 2018, in Florence, Italy. By highlighting the latest theories and models, as well as cutting-edge technologies and applications, and by combining findings from a range of disciplines including engineering, design, robotics, healthcare, management, computer science,
... Read more
MAITRISER AWS: Guide Complet Pour Apprendre Le Cloud Et Réussir La Certification Developer Associate DVA-C02

by Eloic Marceau ...

Découvrez Maîtriser AWS – Guide Complet Pour Apprendre le Cloud et Réussir la Certification AWS Developer Associate DVA-C02 ! Ce guide de référence, rédigé par Eloic Marceau, est spécialement conçu pour les débutants qui désirent plonger dans l'univers passionnant du cloud, sans aucune connaissance technique préalable. Grâce à un langage clair et accessible, vous découvrirez les concepts ... Read more

$6.99 CAD or Free with Kobo Plus

Découvrez Maîtriser AWS – Guide Complet Pour Apprendre le Cloud et Réussir la Certification AWS Developer Associate DVA-C02 ! Ce guide de référence, rédigé par Eloic Marceau, est spécialement conçu pour les débutants qui désirent plonger dans l'univers passionnant du cloud, sans aucune connaissance technique préalable. Grâce à un langage clair et accessible, vous découvrirez les concepts
... Read more
Exploring the Possibilities: A Guide to Artificial Intelligence in K-12 Education

AI in K-12 Education

by Adam Smith ...

Series series AI in K-12 Education
In "Exploring the Possibilities: A Guide to Artificial Intelligence in K-12 Education," renowned AI researcher and educator, Adam Smith, offers an eye-opening tour into the transformative role artificial intelligence can play in modern education.Artificial Intelligence has revolutionized countless sectors of society, and education is poised to join the list. With his comprehensive, yet accessible ... Read more

$6.99 CAD or Free with Kobo Plus

In "Exploring the Possibilities: A Guide to Artificial Intelligence in K-12 Education," renowned AI researcher and educator, Adam Smith, offers an eye-opening tour into the transformative role artificial intelligence can play in modern education.Artificial Intelligence has revolutionized countless sectors of society, and education is poised to join the list. With his comprehensive, yet accessible
... Read more
AI Sidekick — Your New Digital Teammate

by Frank Zanish ...

Welcome to the new world of work — a world where your most reliable teammate doesn't clock in, take breaks, or sleep. It's fast, adaptable, and infinitely scalable. Meet your AI sidekick — your digital partner in productivity, creativity, and innovation.In AI Sidekick – Your New Digital Teammate, you'll explore how artificial intelligence is reshaping every corner of the workplace. From creative ... Read more

$12.99 CAD or Free with Kobo Plus

Welcome to the new world of work — a world where your most reliable teammate doesn't clock in, take breaks, or sleep. It's fast, adaptable, and infinitely scalable. Meet your AI sidekick — your digital partner in productivity, creativity, and innovation.In AI Sidekick – Your New Digital Teammate, you'll explore how artificial intelligence is reshaping every corner of the workplace. From creative
... Read more
Creating Maintainable APIs

A Practical, Case-Study Approach

by Ervin Varga ...

Series series Professional and Applied Computing (R0)
Build straightforward and maintainable APIs to create services that are usable and maintainable. Although this book focuses on distributed services, it also emphasizes how the core principles apply even to pure OOD and OOP constructs.The overall context of Creating Maintainable APIs is to classify the topics into four main areas: classes and interfaces, HTTP REST APIs, messaging APIs, and message ... Read more

$52.28 CAD

Build straightforward and maintainable APIs to create services that are usable and maintainable. Although this book focuses on distributed services, it also emphasizes how the core principles apply even to pure OOD and OOP constructs.The overall context of Creating Maintainable APIs is to classify the topics into four main areas: classes and interfaces, HTTP REST APIs, messaging APIs, and message
... Read more
Erlang and Elixir for Imperative Programmers

by Wolfgang Loder ...

Series series Professional and Applied Computing (R0)
Learn and understand Erlang and Elixir and develop a working knowledge of the concepts of functional programming that underpin them. This book takes the author’s experience of taking on a project that required functional programming and real-time systems, breaks it down, and organizes it. You will get the necessary knowledge about differences to the languages you know, where to start, and where to ... Read more

$43.46 CAD

Learn and understand Erlang and Elixir and develop a working knowledge of the concepts of functional programming that underpin them. This book takes the author’s experience of taking on a project that required functional programming and real-time systems, breaks it down, and organizes it. You will get the necessary knowledge about differences to the languages you know, where to start, and where to
... Read more
ES6 for Humans

The Latest Standard of JavaScript: ES2015 and Beyond

by Deepak Grover, Hanu Prateek Kunduru ...

Series series Professional and Applied Computing (R0)
Learn ES6 best practices for code optimization and organization and walk through practical, common examples of how to implement complete components of your applications. While this book covers the basic concepts of modern JavaScript, it primarily focuses on the new syntax, data-types, functionalities, and everything else that's new in ES6, the latest standard of JavaScript.You'll examine how to ... Read more

$61.91 CAD

Learn ES6 best practices for code optimization and organization and walk through practical, common examples of how to implement complete components of your applications. While this book covers the basic concepts of modern JavaScript, it primarily focuses on the new syntax, data-types, functionalities, and everything else that's new in ES6, the latest standard of JavaScript.You'll examine how to
... Read more
Designing Microservices with Django

An Overview of Tools and Practices

by Akos Hochrein ...

Series series Professional and Applied Computing (R0)
Explore microservices using the Python-based Django framework and review the benefits and drawbacks of them. This book will examine what microservices look like, how they talk to each other, and how they are crafted using the Python programming language and the Django web framework.You’ll start by understanding what the key differences are between microservices and monolithic architectures. The ... Read more

$61.91 CAD

Explore microservices using the Python-based Django framework and review the benefits and drawbacks of them. This book will examine what microservices look like, how they talk to each other, and how they are crafted using the Python programming language and the Django web framework.You’ll start by understanding what the key differences are between microservices and monolithic architectures. The
... Read more
Envisioning Holograms

Design Breakthrough Experiences for Mixed Reality

by M. Pell ...

Series series Professional and Applied Computing (R0)
Explore the approach, techniques, and mindshift needed to design truly breakthrough experiences for the Microsoft HoloLens and Windows Mixed Reality platform. Learn what’s so different about working with holograms, how to think spatially, and where to start designing your own holographic projects. You’ll move rapidly from initial concept to persuasive prototype—all without the need for expensive ... Read more

$86.84 CAD

Explore the approach, techniques, and mindshift needed to design truly breakthrough experiences for the Microsoft HoloLens and Windows Mixed Reality platform. Learn what’s so different about working with holograms, how to think spatially, and where to start designing your own holographic projects. You’ll move rapidly from initial concept to persuasive prototype—all without the need for expensive
... Read more
Disruptive Technologies: The Convergence of New Paradigms in Architecture

Edited by Philippe Morel, Henriette Bier ...

Series series Computer Science (R0)
Through a series of highly speculative contributions by both leading and highly acclaimed practitioners and theorists, this book gives a new comprehensive overview of architectures’ most recent practical and theoretical developments.While a few chapters are mostly dedicated to a historical analysis of how we got to experience a new technological reality in architecture and beyond, all chapters ... Read more

$127.70 CAD

Through a series of highly speculative contributions by both leading and highly acclaimed practitioners and theorists, this book gives a new comprehensive overview of architectures’ most recent practical and theoretical developments.While a few chapters are mostly dedicated to a historical analysis of how we got to experience a new technological reality in architecture and beyond, all chapters
... 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: