Rakuten Kobo

Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Edited by Dimitra Giannakopoulou, Daniel Kroening ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully ... Read more

$60.99 CAD

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully
... Read more
QlikView 11 para Desarrolladores

by Barry Harmsen, Miguel Angel Garcia ...

Los ejercicios de este libro tienen un enfoque de tutorial paso a paso y en los que al mismo tiempo se van presentando mejores practicas de desarrollo. El libro esta estructurado de forma que puede ser leido de inicio a fin o leer solamente partes del mismo.Este libro va dirigido a desarrolladores y usuarios que quieren aprender a crear aplicaciones de Inteligencia de Negocios con QlikView. ... Read more

$41.99 CAD or Free with Kobo Plus

Los ejercicios de este libro tienen un enfoque de tutorial paso a paso y en los que al mismo tiempo se van presentando mejores practicas de desarrollo. El libro esta estructurado de forma que puede ser leido de inicio a fin o leer solamente partes del mismo.Este libro va dirigido a desarrolladores y usuarios que quieren aprender a crear aplicaciones de Inteligencia de Negocios con QlikView.
... 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

$107.99 CAD

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
Exploring the Metaverse

Challenges and Applications

Edited by Deepika Koundal, Naveen Kumar ...

Exploring the Metaverse: Challenges and Applications explores the various applications and challenges facing the metaverse, from privacy and security concerns to questions about the economy and ethical considerations. Drawing on insights from experts in technology, ethics, and economics, the book's authors provide a comprehensive overview of the metaverse and its potential implications. Through a ... Read more

$198.99 CAD

Exploring the Metaverse: Challenges and Applications explores the various applications and challenges facing the metaverse, from privacy and security concerns to questions about the economy and ethical considerations. Drawing on insights from experts in technology, ethics, and economics, the book's authors provide a comprehensive overview of the metaverse and its potential implications. Through a
... Read more
Revolutionizing Education with Digital Ink

The Impact of Pen and Touch Technology on Education

Edited by Tracy Hammond, Stephanie Valentine, Aaron Adler ...

Series series Computer Science (R0)
Derived from contributions to the Workshop on Pen and Touch Technology on Education (WIPTTE) in 2015, this edited volume highlights recent developments for pen and tablet research within the education system with a particular focus on hardware and software developments, comprising the perspectives of teachers, school and university administrators, and researchers for educators at every level.Split ... Read more

$115.99 CAD

Derived from contributions to the Workshop on Pen and Touch Technology on Education (WIPTTE) in 2015, this edited volume highlights recent developments for pen and tablet research within the education system with a particular focus on hardware and software developments, comprising the perspectives of teachers, school and university administrators, and researchers for educators at every level.Split
... Read more
Unity 3D Game Development

Designed for passionate game developers—Engineered to build professional games

by Anthony Davis, Travis Baptiste, Russell Craig, Ryan Stunkel ...

Create ready-to-play 3D games with reactive environments, sound, dynamic effects, and more!Key FeaturesBuild a solid foundation for game design and game developmentUnderstand the fundamentals of 3D such as coordinates, spaces, vectors, and camerasGet to grips with essential Unity concepts including characters, scenes, terrains, objects and moreBook DescriptionThis book, written by a team of ... Read more

$31.99 CAD or Free with Kobo Plus

Create ready-to-play 3D games with reactive environments, sound, dynamic effects, and more!Key FeaturesBuild a solid foundation for game design and game developmentUnderstand the fundamentals of 3D such as coordinates, spaces, vectors, and camerasGet to grips with essential Unity concepts including characters, scenes, terrains, objects and moreBook DescriptionThis book, written by a team of
... Read more
HCI in Mobility, Transport, and Automotive Systems

7th International Conference, MobiTAS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I

Edited by Heidi Krömker ...

Series Book 1 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2025, held as part of the 27th HCI International Conference, HCII 2025, which took place in Gothenburg, Sweden, during June 22–27, 2025.A total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully reviewed and selected from ... Read more

$115.99 CAD

This book constitutes the refereed proceedings of the 7th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2025, held as part of the 27th HCI International Conference, HCII 2025, which took place in Gothenburg, Sweden, during June 22–27, 2025.A total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully reviewed and selected from
... Read more
Algorithms

Computer Science Unveiled

by Rob Botwright ...

Introducing "ALGORITHMS: COMPUTER SCIENCE UNVEILED" - Your Path to Algorithmic Mastery!Are you fascinated by the world of computer science and the magic of algorithms? Do you want to unlock the power of algorithmic thinking and take your skills to expert levels? Look no further! This exclusive book bundle is your comprehensive guide to mastering the art of algorithms and conquering the exciting ... Read more

$6.99 CAD or Free with Kobo Plus

Introducing "ALGORITHMS: COMPUTER SCIENCE UNVEILED" - Your Path to Algorithmic Mastery!Are you fascinated by the world of computer science and the magic of algorithms? Do you want to unlock the power of algorithmic thinking and take your skills to expert levels? Look no further! This exclusive book bundle is your comprehensive guide to mastering the art of algorithms and conquering the exciting
... Read more
Structural Pattern Recognition using Graph Matching

Approximate and Error-Tolerant Algorithms

by Shri Prakash Dwivedi, Ravi Shankar Singh ...

This book presents a comprehensive exploration of structural pattern recognition with a clear understanding of graph representation and manipulation. It explains graph matching techniques, unearthing the core principles of graph similarity measures, subgraph isomorphism, and advanced algorithms tailored to various pattern recognition tasks. It bridges the gap between theory and application by ... Read more

$107.99 CAD

This book presents a comprehensive exploration of structural pattern recognition with a clear understanding of graph representation and manipulation. It explains graph matching techniques, unearthing the core principles of graph similarity measures, subgraph isomorphism, and advanced algorithms tailored to various pattern recognition tasks. It bridges the gap between theory and application by
... Read more
The Future of Business and Society

Integrating Sustainable Technologies with Data-Driven Solutions

Edited by Nidhi Sehgal, Balamurugan Balusamy, Rachel Sheffield, Umer Zaman ...

ICISAS 2025 is the signature research conference of Curtin University Dubai. It brings together leading experts to discuss how innovation, sustainability, and applied sciences can shape the future of business and society. The conference provides a strong platform for sharing ideas that address global challenges through advanced and responsible technologies.The main purpose of the conference is to ... Read more

$100.99 CAD

ICISAS 2025 is the signature research conference of Curtin University Dubai. It brings together leading experts to discuss how innovation, sustainability, and applied sciences can shape the future of business and society. The conference provides a strong platform for sharing ideas that address global challenges through advanced and responsible technologies.The main purpose of the conference is to
... Read more
Apache Spark 2.x Cookbook

Over 70 cloud-ready recipes for distributed Big Data processing and analytics

by Rishi Yadav ...

Perform lightning-fast Big Data processing using Apache Spark 2.x with help of this practical guideKey Features\[\*\]Contains quick solutions to solving even the most complex Big Data processing problems using Apache Spark\[\*\]Leverage the power of Apache Spark as a unified compute engine and perform streaming analytics, machine learning and graph processing with ease\[\*\]From installing and ... Read more

$47.99 CAD or Free with Kobo Plus

Perform lightning-fast Big Data processing using Apache Spark 2.x with help of this practical guideKey Features\[\*\]Contains quick solutions to solving even the most complex Big Data processing problems using Apache Spark\[\*\]Leverage the power of Apache Spark as a unified compute engine and perform streaming analytics, machine learning and graph processing with ease\[\*\]From installing and
... Read more
The Ultimate Guide to Snowpark

Design and deploy Snowflake Snowpark with Python for efficient data workloads

by Shankar Narayanan SGS, Vivekanandan SS ...

Develop robust data pipelines, deploy mature machine learning models, and build secure data apps with Snowflake Snowpark using PythonKey FeaturesGet to grips with Snowflake Snowpark’s basic and advanced featuresImplement workloads in domains like data engineering, data science, and data applications using Snowpark with PythonDeploy Snowpark in production with practical examples and best ... Read more

$35.99 CAD or Free with Kobo Plus

Develop robust data pipelines, deploy mature machine learning models, and build secure data apps with Snowflake Snowpark using PythonKey FeaturesGet to grips with Snowflake Snowpark’s basic and advanced featuresImplement workloads in domains like data engineering, data science, and data applications using Snowpark with PythonDeploy Snowpark in production with practical examples and best
... Read more
Bayesian Analysis with Python

Unleash the power and flexibility of the Bayesian framework

by Osvaldo Martin ...

Unleash the power and flexibility of the Bayesian frameworkKey FeaturesSimplify the Bayes process for solving complex statistical problems using Python;Tutorial guide that will take the you through the journey of Bayesian analysis with the help of sample problems and practice exercises;Learn how and when to use Bayesian analysis in your applications with this guide.Book DescriptionThe purpose of ... Read more

$47.99 CAD or Free with Kobo Plus

Unleash the power and flexibility of the Bayesian frameworkKey FeaturesSimplify the Bayes process for solving complex statistical problems using Python;Tutorial guide that will take the you through the journey of Bayesian analysis with the help of sample problems and practice exercises;Learn how and when to use Bayesian analysis in your applications with this guide.Book DescriptionThe purpose of
... Read more
Mastering AI Game Development with Unreal

by Hrishikesh Andurlekar ...

Elevate your Unreal Engine skills with This Essential Guide to AI-Driven Game Development!Key Features● Comprehensive coverage of AI techniques and their Unreal Engine implementation● Practical hands-on exercises and real-world examples for seamless AI integration● Covers all important AI workflows in Unreal EngineBook DescriptionIn the rapidly evolving world of game development, integrating ... Read more

$32.99 CAD or Free with Kobo Plus

Elevate your Unreal Engine skills with This Essential Guide to AI-Driven Game Development!Key Features● Comprehensive coverage of AI techniques and their Unreal Engine implementation● Practical hands-on exercises and real-world examples for seamless AI integration● Covers all important AI workflows in Unreal EngineBook DescriptionIn the rapidly evolving world of game development, integrating
... Read more
Mastering MATLAB: A Comprehensive Journey Through Coding and Analysis

by Kameron Hussain, Frahaan Hussain ...

Dive into the world of MATLAB with "Mastering MATLAB: A Comprehensive Journey Through Coding and Analysis," a definitive guide designed for both beginners and experienced users. This book serves as an invaluable resource for engineers, scientists, and anyone interested in harnessing the power of MATLAB for numerical computation, data analysis, and algorithm development.Starting with the basics, ... Read more

$13.99 CAD or Free with Kobo Plus

Dive into the world of MATLAB with "Mastering MATLAB: A Comprehensive Journey Through Coding and Analysis," a definitive guide designed for both beginners and experienced users. This book serves as an invaluable resource for engineers, scientists, and anyone interested in harnessing the power of MATLAB for numerical computation, data analysis, and algorithm development.Starting with the basics,
... Read more
User Experience Design

An Introduction to Creating Interactive Digital Spaces

by Mark Wells ...

'A great introduction to the subject and a fascinating read.'- James Friedlander-Boss, Brand Experience Manager, vvast'An accessible but comprehensive introduction to UX Design.'- Dave Watson, Norwich University of the ArtsWe all engage with digital user experience design and user interfaces every day - if you are reading this on an e-commerce platform then you are doing it r... ... Read more

Was $24.99 CAD Now $4.99 CAD

'A great introduction to the subject and a fascinating read.'- James Friedlander-Boss, Brand Experience Manager, vvast'An accessible but comprehensive introduction to UX Design.'- Dave Watson, Norwich University of the ArtsWe all engage with digital user experience design and user interfaces every day - if you are reading this on an e-commerce platform then you are doing it r...
... Read more
Artificial Intelligence and Soft Computing

20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II

Edited by Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2021, held in Zakopane, Poland, in June 2021. Due to COVID 19, the conference was held virtually.The 89 full papers presented were carefully reviewed and selected from 195 submissions. The papers included both traditional artificial ... Read more

$140.99 CAD

The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2021, held in Zakopane, Poland, in June 2021. Due to COVID 19, the conference was held virtually.The 89 full papers presented were carefully reviewed and selected from 195 submissions. The papers included both traditional artificial
... Read more
Interactive C#

Fundamentals, Core Concepts and Patterns

by Vaskaran Sarcar ...

Series series Professional and Applied Computing (R0)
Discover object-oriented programming with core concepts of C# in this unique tutorial. The book consists of four major sections which cover 15 core topics - nine of them are dedicated to object-oriented programming, five of them are dedicated to advanced concepts of C#, and one of them is dedicated to design patterns, with coverage of three Gang of Four design patterns with C# implementations. ... Read more

$38.49 CAD

Discover object-oriented programming with core concepts of C# in this unique tutorial. The book consists of four major sections which cover 15 core topics - nine of them are dedicated to object-oriented programming, five of them are dedicated to advanced concepts of C#, and one of them is dedicated to design patterns, with coverage of three Gang of Four design patterns with C# implementations.
... Read more
Data Warehouse Designs

Achieving ROI with Market Basket Analysis and Time Variance

by Fon Silvers ...

Market Basket Analysis (MBA) provides the ability to continually monitor the affinities of a business and can help an organization achieve a key competitive advantage. Time Variant data enables data warehouses to directly associate events in the past with the participants in each individual event. In the past however, the use of these powerful tools in tandem led to performance degradation and ... Read more

$111.30 CAD

Market Basket Analysis (MBA) provides the ability to continually monitor the affinities of a business and can help an organization achieve a key competitive advantage. Time Variant data enables data warehouses to directly associate events in the past with the participants in each individual event. In the past however, the use of these powerful tools in tandem led to performance degradation and
... Read more
Evolutionary Psychology and Information Systems Research

A New Approach to Studying the Effects of Modern Technologies on Human Behavior

Edited by Ned Kock ...

Series series Computer Science (R0)
This book is a compilation of chapters written by leading researchers from all over the world. Those researchers’ common characteristic is that they have investigated issues at the intersection of the elds of information systems (IS) and evoluti- ary psychology (EP). The main goal of this book is to serve as a reference for IS research building on EP concepts and theories (in short, IS-EP research ... Read more

$256.19 CAD

This book is a compilation of chapters written by leading researchers from all over the world. Those researchers’ common characteristic is that they have investigated issues at the intersection of the elds of information systems (IS) and evoluti- ary psychology (EP). The main goal of this book is to serve as a reference for IS research building on EP concepts and theories (in short, IS-EP research
... Read more
A Programmer's Companion to Algorithm Analysis

by Ernst L. Leiss ...

Until now, no other book examined the gap between the theory of algorithms and the production of software programs. Focusing on practical issues, A Programmer's Companion to Algorithm Analysis carefully details the transition from the design and analysis of an algorithm to the resulting software program. Consisting of two main complementary ... Read more

$148.40 CAD

Until now, no other book examined the gap between the theory of algorithms and the production of software programs. Focusing on practical issues, A Programmer's Companion to Algorithm Analysis carefully details the transition from the design and analysis of an algorithm to the resulting software program. Consisting of two main complementary
... Read more
Managing Information Centers

Core Principles

by Kavita Deshmukh ...

Managing Information Centers: Core Principles presents essential management frameworks for organizing and operating effective information centers across library and corporate environments. This resource explores operational management, resource allocation, and service delivery optimization. Coverage addresses collection management, staff supervision, budget administration, and facilities ... Read more

$42.55 CAD or Free with Kobo Plus

Managing Information Centers: Core Principles presents essential management frameworks for organizing and operating effective information centers across library and corporate environments. This resource explores operational management, resource allocation, and service delivery optimization. Coverage addresses collection management, staff supervision, budget administration, and facilities
... Read more
Mastering Redis

Take your knowledge of Redis to the next level to build enthralling applications with ease

by Jeremy Nelson ...

Take your knowledge of Redis to the next level to build enthralling applications with easeKey Features\[\*\]Detailed explanation on Data structure server with powerful strings, lists, sets, sorted-sets, and hashes\[\*\]Learn to Scale your data with Redis Cluster’s distributed setup\[\*\] This is a fast paced practical guide full of screenshots and real work examples to help you get to grips with ... Read more

$51.99 CAD or Free with Kobo Plus

Take your knowledge of Redis to the next level to build enthralling applications with easeKey Features\[\*\]Detailed explanation on Data structure server with powerful strings, lists, sets, sorted-sets, and hashes\[\*\]Learn to Scale your data with Redis Cluster’s distributed setup\[\*\] This is a fast paced practical guide full of screenshots and real work examples to help you get to grips with
... Read more
Clean Ruby

A Guide to Crafting Better Code for Rubyists

by Carleton DiLeo ...

Series series Professional and Applied Computing (R0)
Learn how to make better decisions and write cleaner Ruby code. This book shows you how to avoid messy code that is hard to test and which cripples productivity. Author Carleton DiLeo shares hard-learned lessons gained from years of experience across numerous codebases both large and small. Each chapter covers the topics you need to know to make better decisions and optimize your productivity. ... Read more

$56.99 CAD

Learn how to make better decisions and write cleaner Ruby code. This book shows you how to avoid messy code that is hard to test and which cripples productivity. Author Carleton DiLeo shares hard-learned lessons gained from years of experience across numerous codebases both large and small. Each chapter covers the topics you need to know to make better decisions and optimize your productivity.
... 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: