Rakuten Kobo

Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Edited by Dragan Bošnački, Anton Wijs ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools,
... Read more
Static Analysis

23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Edited by Xavier Rival ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow
... Read more
Apprendre Claude IA

by Daniel Parker ...

Vous avez déjà ouvert Claude AI, posé une question, reçu une réponse correcte… et refermé l'onglet sans vraiment savoir quoi en faire ensuite ?C'est exactement le point de départ de ce livre. Pas de discours sur « l'IA qui va tout changer », pas de jargon technique — juste une méthode claire pour transformer Claude en un véritable assistant du quotidien, que vous soyez complètement débutant ou ... Read more

$45.99 CAD or Free with Kobo Plus

Vous avez déjà ouvert Claude AI, posé une question, reçu une réponse correcte… et refermé l'onglet sans vraiment savoir quoi en faire ensuite ?C'est exactement le point de départ de ce livre. Pas de discours sur « l'IA qui va tout changer », pas de jargon technique — juste une méthode claire pour transformer Claude en un véritable assistant du quotidien, que vous soyez complètement débutant ou
... Read more
HCI in Business, Government and Organizations

11th International Conference, HCIBGO 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part I

Edited by Fiona Fui-Hoon Nah, Keng Leng Siau ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set of HCIBGO 2024 constitutes the refereed proceedings of the 11h International Conference on HCI in Business, Government and Organizations, held as part of the 26th International Conference, HCI International 2024, which took place in from June 29 - July 4, 2024 in Washington DC, USA.Two volumes of the HCII 2024 proceedings are dedicated to this year’s edition of the HCIBGO ... Read more

$280.49 CAD

This two-volume set of HCIBGO 2024 constitutes the refereed proceedings of the 11h International Conference on HCI in Business, Government and Organizations, held as part of the 26th International Conference, HCI International 2024, which took place in from June 29 - July 4, 2024 in Washington DC, USA.Two volumes of the HCII 2024 proceedings are dedicated to this year’s edition of the HCIBGO
... Read more
Platform Thinking

Read the past. Write the future.

by Daniel Trabucchi, Tommaso Buganza ...

What does platform thinking mean? It is the ability to put platform-based mechanisms at the core of digital business transformations in business.Digital platforms like Uber, Spotify, Airbnb, Booking.com, and many others completely re-shaped the daily life of millions of users. However, many innovation leaders struggle to conceive the significance of their impact. Platform-based business models are ... Read more

$18.69 CAD

What does platform thinking mean? It is the ability to put platform-based mechanisms at the core of digital business transformations in business.Digital platforms like Uber, Spotify, Airbnb, Booking.com, and many others completely re-shaped the daily life of millions of users. However, many innovation leaders struggle to conceive the significance of their impact. Platform-based business models are
... Read more
The Ethical Code

by Paragon Papers ...

Navigating the intricate world of artificial intelligence, this book delves deeply into the ethical, social, and philosophical dimensions shaping the future of AI. With comprehensive discussions that span from the transformation of human identity to the crafting of global ethical frameworks, the manuscript offers a multidisciplinary perspective that is as thought-provoking as it is enlightening. ... Read more

$4.99 CAD or Free with Kobo Plus

Navigating the intricate world of artificial intelligence, this book delves deeply into the ethical, social, and philosophical dimensions shaping the future of AI. With comprehensive discussions that span from the transformation of human identity to the crafting of global ethical frameworks, the manuscript offers a multidisciplinary perspective that is as thought-provoking as it is enlightening.
... Read more
Quality of Experience

Advanced Concepts, Applications and Methods

Edited by Alexander Raake, Sebastian Möller ...

Series series Engineering (R0)
This pioneering book develops definitions and concepts related to Quality of Experience in the context of multimedia- and telecommunications-related applications, systems and services and applies these to various fields of communication and media technologies. The editors bring together numerous key-protagonists of the new discipline “Quality of Experience” and combine the state-of-the-art ... Read more

$115.29 CAD

This pioneering book develops definitions and concepts related to Quality of Experience in the context of multimedia- and telecommunications-related applications, systems and services and applies these to various fields of communication and media technologies. The editors bring together numerous key-protagonists of the new discipline “Quality of Experience” and combine the state-of-the-art
... Read more
Java for Data Science

Examine the techniques and Java tools supporting the growing field of data science

by Richard M. Reese, Jennifer L. Reese, Shilpi Saxena ...

Examine the techniques and Java tools supporting the growing field of data scienceKey FeaturesYour entry ticket to the world of data science with the stability and power of JavaExplore, analyse, and visualize your data effectively using easy-to-follow examplesMake your Java applications more capable using machine learningBook Descriptionpara 1: Get the lowdown on Java and explore big data ... Read more

$47.19 CAD or Free with Kobo Plus

Examine the techniques and Java tools supporting the growing field of data scienceKey FeaturesYour entry ticket to the world of data science with the stability and power of JavaExplore, analyse, and visualize your data effectively using easy-to-follow examplesMake your Java applications more capable using machine learningBook Descriptionpara 1: Get the lowdown on Java and explore big data
... Read more
Personalized Task Recommendation in Crowdsourcing Systems

by David Geiger ...

Series series Business and Management (R0)
This book examines the principles of and advances in personalized task recommendation in crowdsourcing systems, with the aim of improving their overall efficiency. It discusses the challenges faced by personalized task recommendation when crowdsourcing systems channel human workforces, knowledge, skills and perspectives beyond traditional organizational boundaries. The solutions presented help ... Read more

$64.09 CAD

This book examines the principles of and advances in personalized task recommendation in crowdsourcing systems, with the aim of improving their overall efficiency. It discusses the challenges faced by personalized task recommendation when crowdsourcing systems channel human workforces, knowledge, skills and perspectives beyond traditional organizational boundaries. The solutions presented help
... Read more
Advanced HDL Synthesis and SOC Prototyping

RTL Design Using Verilog

by Vaibbhav Taraate ...

Series series Engineering (R0)
This book describes RTL design using Verilog, synthesis and timing closure for System On Chip (SOC) design blocks. It covers the complex RTL design scenarios and challenges for SOC designs and provides practical information on performance improvements in SOC, as well as Application Specific Integrated Circuit (ASIC) designs. Prototyping using modern high density Field Programmable Gate Arrays ... Read more

$204.99 CAD

This book describes RTL design using Verilog, synthesis and timing closure for System On Chip (SOC) design blocks. It covers the complex RTL design scenarios and challenges for SOC designs and provides practical information on performance improvements in SOC, as well as Application Specific Integrated Circuit (ASIC) designs. Prototyping using modern high density Field Programmable Gate Arrays
... Read more
Beginning C++ Compilers

An Introductory Guide to Microsoft C/C++ and MinGW Compilers

by Berik I. Tuleuov, Ademi B. Ospanova ...

Series series Professional and Applied Computing (R0)
This book focuses on how to install C/C++ compilers on Linux and Windows platforms in a timely and efficient way. Installing C/C++ compilers, especially Microsoft compilers, typically takes quite a lot of time because it comes with Microsoft Visual Studio for the vast majority of users. Installing Visual Studio requires usually about 40 GB of disk space and a large amount of RAM, so it is ... Read more

$65.89 CAD

This book focuses on how to install C/C++ compilers on Linux and Windows platforms in a timely and efficient way. Installing C/C++ compilers, especially Microsoft compilers, typically takes quite a lot of time because it comes with Microsoft Visual Studio for the vast majority of users. Installing Visual Studio requires usually about 40 GB of disk space and a large amount of RAM, so it is
... Read more
Model Risk Management with SAS

by SAS ...

Cut through the complexity of model risk management with a guide to solutions from SAS!There is an increasing demand for more model governance and model risk awareness. At the same time, high-performing models are expected to be deployed faster than ever. SAS Model Risk Management is a user-friendly, web-based application that facilitates the capture and life cycle management of statistical model ... Read more

$22.39 CAD

Cut through the complexity of model risk management with a guide to solutions from SAS!There is an increasing demand for more model governance and model risk awareness. At the same time, high-performing models are expected to be deployed faster than ever. SAS Model Risk Management is a user-friendly, web-based application that facilitates the capture and life cycle management of statistical model
... Read more
Advances in Human Factors in Cybersecurity

AHFE 2020 Virtual Conference on Human Factors in Cybersecurity, July 16–20, 2020, USA

Edited by Isabella Corradini, Enrico Nardelli, Tareq Ahram ...

Series series Springer Nature Proceedings excluding Computer Science
This book reports on the latest research and developments in the field of human factors in cybersecurity. It analyzes how the human vulnerabilities can be exploited by cybercriminals and proposes methods and tools to increase cybersecurity awareness. The chapters cover the social, economic and behavioral aspects of the cyberspace, providing a comprehensive perspective to manage cybersecurity risks ... Read more

$166.49 CAD

This book reports on the latest research and developments in the field of human factors in cybersecurity. It analyzes how the human vulnerabilities can be exploited by cybercriminals and proposes methods and tools to increase cybersecurity awareness. The chapters cover the social, economic and behavioral aspects of the cyberspace, providing a comprehensive perspective to manage cybersecurity risks
... Read more
Neural Information Processing

25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV

Edited by Long Cheng, Andrew Chi Sing Leung, Seiichi Ozawa ...

Series Book 4 - Springer Nature Proceedings Computer Science
The seven-volume set of LNCS 11301-11307, constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018.The 401 full papers presented were carefully reviewed and selected from 575 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural ... Read more

$64.09 CAD

The seven-volume set of LNCS 11301-11307, constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018.The 401 full papers presented were carefully reviewed and selected from 575 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural
... Read more
Design, User Experience, and Usability. Design for Contemporary Interactive Environments

9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II

Edited by Aaron Marcus, Elizabeth Rosenzweig ...

Series Book 2 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Design, User Experience, and Usability, DUXU 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 9th International Conference on Design, User Experience, and Usability, DUXU 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238
... Read more
Advanced Python Development

Using Powerful Language Features in Real-World Applications

by Matthew Wilkes ...

Series series Professional and Applied Computing (R0)
This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking ... Read more

$68.29 CAD

This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking
... Read more
Platform and Model Design for Responsible AI

Design and build resilient, private, fair, and transparent machine learning models

by Amita Kapoor, Sharmistha Chatterjee ...

Craft ethical AI projects with privacy, fairness, and risk assessment features for scalable and distributed systems while maintaining explainability and sustainability Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesLearn risk assessment for machine learning frameworks in a global landscapeDiscover patterns for next-generation AI ecosystems for successful product ... Read more

$51.19 CAD or Free with Kobo Plus

Craft ethical AI projects with privacy, fairness, and risk assessment features for scalable and distributed systems while maintaining explainability and sustainability Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesLearn risk assessment for machine learning frameworks in a global landscapeDiscover patterns for next-generation AI ecosystems for successful product
... Read more
Elon Musk

by Mackendy Bouquet, Mombrun Theronome ...

Le parcours d'Elon Musk trouve ses racines dans une jeunesse marquée par une soif insatiable de connaissances et une propension à défier les conventions. Né en 1971 à Pretoria, en Afrique du Sud, Musk a montré des signes précoces de son génie, plongeant dans la science-fiction, la programmation informatique, et révélant un esprit intrépide.Son parcours académique a débuté à l'Université de ... Read more

$4.99 CAD or Free with Kobo Plus

Le parcours d'Elon Musk trouve ses racines dans une jeunesse marquée par une soif insatiable de connaissances et une propension à défier les conventions. Né en 1971 à Pretoria, en Afrique du Sud, Musk a montré des signes précoces de son génie, plongeant dans la science-fiction, la programmation informatique, et révélant un esprit intrépide.Son parcours académique a débuté à l'Université de
... Read more
AI Chatbots

The Good, The Bad, and The Ugly

by James Crowder, John Carbone ...

Series series Synthesis Collection of Technology (R0)
This book explores the subject of artificial psychology from the standpoint of how online Chatbots have infiltrated and affected societies and the world in general. The book explores the psychological effects of depending on an online entity for our needs – even if it’s a reminder of scheduled events. The author provides insight into the notion of human-Chatbot exchanges, understanding, and false ... Read more

$76.89 CAD

This book explores the subject of artificial psychology from the standpoint of how online Chatbots have infiltrated and affected societies and the world in general. The book explores the psychological effects of depending on an online entity for our needs – even if it’s a reminder of scheduled events. The author provides insight into the notion of human-Chatbot exchanges, understanding, and false
... Read more
Computer Vision, Imaging and Computer Graphics Theory and Applications

17th International Joint Conference, VISIGRAPP 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers

Edited by A. Augusto de Sousa, Kurt Debattista, Alexis Paljic, Mounia Ziat, Christophe Hurter, Helen Purchase, Giovanni Maria Farinella, Petia Radeva, Kadi Bouatouch ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the referred proceedings of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2022, Virtual Event, February 6–8, 2022.The 15 full papers included in this book were carefully reviewed and selected from 392 submissions. The purpose of VISIGRAPP is to bring together researchers and practitioners ... Read more

$102.49 CAD

This book constitutes the referred proceedings of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2022, Virtual Event, February 6–8, 2022.The 15 full papers included in this book were carefully reviewed and selected from 392 submissions. The purpose of VISIGRAPP is to bring together researchers and practitioners
... Read more
The Absolute Beginner's Guide to HTML and CSS

A Step-by-Step Guide with Examples and Lab Exercises

by Kevin Wilson ...

Series series Professional and Applied Computing (R0)
Written as an illustrated, step-by-step guide for beginners, this book will introduce you to HTML and CSS with lab exercises and examples of code.You'll begin by setting up the development environment such as local web server and html editor. The next few chapters cover web servers, the basics of HTML such as language syntax, tags, and how to write a program. Next, you'll learn how to put together ... Read more

$41.89 CAD

Written as an illustrated, step-by-step guide for beginners, this book will introduce you to HTML and CSS with lab exercises and examples of code.You'll begin by setting up the development environment such as local web server and html editor. The next few chapters cover web servers, the basics of HTML such as language syntax, tags, and how to write a program. Next, you'll learn how to put together
... Read more
HCI International 2020 - Late Breaking Papers: User Experience Design and Case Studies

22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings

Edited by Constantine Stephanidis, Aaron Marcus, Elizabeth Rosenzweig, Pei-Luen Patrick Rau, Abbas Moallem, Matthias Rauterberg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes late breaking papers from the 22nd International Conference on Human-Computer Interaction, HCII 2020, which was held in July 2020. The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for ... Read more

$115.29 CAD

This book constitutes late breaking papers from the 22nd International Conference on Human-Computer Interaction, HCII 2020, which was held in July 2020. The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for
... Read more
Clinical Image-Based Procedures

11th Workshop, CLIP 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings

Edited by Yufei Chen, Marius George Linguraru, Raj Shekhar, Stefan Wesarg, Marius Erdt, Klaus Drechsler, Cristina Oyarzun Laura ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th Workshop on Clinical Image-Based Procedures, CLIP 2022, which was held in conjunction with MICCAI 2022, in Singapore in September 2022.The 9 full papers included in this book were carefully reviewed and selected from 12 submissions. They focus on the applicability of basic research methods in the clinical practice by creating holistic patient ... Read more

$70.49 CAD

This book constitutes the proceedings of the 11th Workshop on Clinical Image-Based Procedures, CLIP 2022, which was held in conjunction with MICCAI 2022, in Singapore in September 2022.The 9 full papers included in this book were carefully reviewed and selected from 12 submissions. They focus on the applicability of basic research methods in the clinical practice by creating holistic patient
... Read more
Java Design Patterns

by Vaskaran Sarcar ...

Series series Professional and Applied Computing (R0)
Learn how to implement design patterns in Java: each pattern in Java Design Patterns is a complete implementation and the output is generated using Eclipse, making the code accessible to all. The examples are chosen so you will be able to absorb the core concepts easily and quickly.This book presents the topic of design patterns in Java in such a way that anyone can grasp the idea. By giving easy ... Read more

$32.39 CAD

Learn how to implement design patterns in Java: each pattern in Java Design Patterns is a complete implementation and the output is generated using Eclipse, making the code accessible to all. The examples are chosen so you will be able to absorb the core concepts easily and quickly.This book presents the topic of design patterns in Java in such a way that anyone can grasp the idea. By giving easy
... 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: