Rakuten Kobo

Functional Data Structures and Algorithms

A Proof Assistant Approach

by Tobias Nipkow ...

Series series ACM Books
This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph ... Read more

$48.99 CAD

This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph
... Read more
Modern CSS

Master the Key Concepts of CSS for Modern Web Development

by Joe Attardi ...

Series series Professional and Applied Computing (R0)
Come on a tour of modern CSS. This example-driven book demonstrates the concepts by showing code examples, screenshots, and diagrams to help clearly communicate the information.You'll start with the very basics of CSS: box model, colors, selectors and combinators, and specificity. Then gradually move through more intermediate topics - styling text, positioning, Z-index and stacking contexts, ... Read more

$75.99 CAD

Come on a tour of modern CSS. This example-driven book demonstrates the concepts by showing code examples, screenshots, and diagrams to help clearly communicate the information.You'll start with the very basics of CSS: box model, colors, selectors and combinators, and specificity. Then gradually move through more intermediate topics - styling text, positioning, Z-index and stacking contexts,
... Read more
Social Robotics + AI

17th International Conference, ICSR+AI 2025, Naples, Italy, September 10–12, 2025, Proceedings, Part III

Edited by Mariacarla Staffa, John-John Cabibihan, Bruno Siciliano, Shuzhi Sam Ge, Leon Bodenhagen, Adriana Tapus, Silvia Rossi, Filippo Cavallo, Laura Fiorini, Marco Matarese, Hongsheng He ...

Series Book 3 - Springer Nature Proceedings Computer Science
The 3-volume set LNAI 16131 -16133 constitutes the refereed proceedings of the 17th International Conference, ICSR+AI 2025, held in Naples, Italy, during September 10–12, 2025.The 117 full papers and 57 short papers included in the proceedings were carefully reviewed and selected from 276 submissions.They focus on the topical sections:Part 1 Emotion & Affective Interaction; Applications in Real ... Read more

$93.99 CAD

The 3-volume set LNAI 16131 -16133 constitutes the refereed proceedings of the 17th International Conference, ICSR+AI 2025, held in Naples, Italy, during September 10–12, 2025.The 117 full papers and 57 short papers included in the proceedings were carefully reviewed and selected from 276 submissions.They focus on the topical sections:Part 1 Emotion & Affective Interaction; Applications in Real
... Read more
The Comprehensive Guide to Machine Learning Algorithms and Techniques

by Mohammed Ahmed ...

Machine Learning has rapidly grown into a pivotal technology, transforming various industries by enabling data-driven decision-making and predictive analytics. As the volume and complexity of data grows, the ability to leverage sophisticated ML algorithms becomes primary for researchers, practitioners, and enthusiasts alike. This book aims to serve as a rich resource, addressing most algorithms, ... Read more

$7.99 CAD or Free with Kobo Plus

Machine Learning has rapidly grown into a pivotal technology, transforming various industries by enabling data-driven decision-making and predictive analytics. As the volume and complexity of data grows, the ability to leverage sophisticated ML algorithms becomes primary for researchers, practitioners, and enthusiasts alike. This book aims to serve as a rich resource, addressing most algorithms,
... Read more
Engineering Psychology and Cognitive Ergonomics

23rd International Conference, EPCE 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26–31, 2026, Proceedings, Part II

Edited by Wen-Chin Li, Anastasios Plioutsias ...

The 23rd International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2026, held as part of the 28th International Conference on Human-Computer Interaction, HCI International 2026 (HCII 2026), took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted ... Read more

$83.99 CAD

The 23rd International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2026, held as part of the 28th International Conference on Human-Computer Interaction, HCI International 2026 (HCII 2026), took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted
... Read more
MDX with Microsoft SQL Server 2016 Analysis Services Cookbook

Over 70 practical recipes to analyze multi-dimensional data in SQL Server 2016 Analysis Services cubes

by Tomislav Piasevoli, Sherry Li ...

Over 70 practical recipes to analyze multi-dimensional data in SQL Server 2016 Analysis Services cubesKey Features\[\*\]Updated for SQL Server 2016, this book helps you take advantage of the new MDX commands and the new features introduced in SSAS\[\*\]Perform time-related, context-aware, and business related-calculations with ease to enrich your Business Intelligence solutions\[\*\]Collection of ... Read more

$51.99 CAD or Free with Kobo Plus

Over 70 practical recipes to analyze multi-dimensional data in SQL Server 2016 Analysis Services cubesKey Features\[\*\]Updated for SQL Server 2016, this book helps you take advantage of the new MDX commands and the new features introduced in SSAS\[\*\]Perform time-related, context-aware, and business related-calculations with ease to enrich your Business Intelligence solutions\[\*\]Collection of
... Read more
The Official Guide to Mermaid.js

Create complex diagrams and beautiful flowcharts easily using text and code

by Knut Sveidqvist, Ashish Jain ...

Get up to speed with using Mermaid diagrams to facilitate a seamless development workflow with the help of real-world examples and expert tips from the creators of the toolKey FeaturesLearn how to use and customize the different diagram types in MermaidDiscover examples of how to add Mermaid to a documentation systemUse Mermaid with various tools available such as editors, wiki, and moreBook ... Read more

$37.99 CAD or Free with Kobo Plus

Get up to speed with using Mermaid diagrams to facilitate a seamless development workflow with the help of real-world examples and expert tips from the creators of the toolKey FeaturesLearn how to use and customize the different diagram types in MermaidDiscover examples of how to add Mermaid to a documentation systemUse Mermaid with various tools available such as editors, wiki, and moreBook
... Read more
Guia do Usuário iPhone 17 Pro Max

O Manual Essencial para Dominar a Tela de 6,9 Polegadas, Sistema de Câmera Pro, Desempenho A19 e Fluxos de Trabalho Profissionais

by Ryan Matthews ...

Liberte Todo o Poder do Seu iPhone 17 Pro MaxSeu iPhone 17 Pro Max representa o ápice da tecnologia móvel, mas você está realmente maximizando suas incríveis capacidades? Este guia abrangente transforma recursos complexos em passos claros e executáveis que ajudam você a dominar cada aspecto do smartphone mais avançado da Apple.O que Você Descobrirá:Estratégias completas de configuração e ... Read more

$12.99 CAD or Free with Kobo Plus

Liberte Todo o Poder do Seu iPhone 17 Pro MaxSeu iPhone 17 Pro Max representa o ápice da tecnologia móvel, mas você está realmente maximizando suas incríveis capacidades? Este guia abrangente transforma recursos complexos em passos claros e executáveis que ajudam você a dominar cada aspecto do smartphone mais avançado da Apple.O que Você Descobrirá:Estratégias completas de configuração e
... Read more
Conversing With ChatGPT

by Kevin Klein ...

In this captivating exploration of conversational AI, Kevin Klein, an esteemed AI engineer, takes readers on a journey into the world of ChatGPT and its transformative potential. Drawing on his extensive experience and groundbreaking experiments with ChatGPT, Klein provides invaluable insights, practical guidance, and thought-provoking perspectives for readers interested in understanding and ... Read more

$0.99 CAD or Free with Kobo Plus

In this captivating exploration of conversational AI, Kevin Klein, an esteemed AI engineer, takes readers on a journey into the world of ChatGPT and its transformative potential. Drawing on his extensive experience and groundbreaking experiments with ChatGPT, Klein provides invaluable insights, practical guidance, and thought-provoking perspectives for readers interested in understanding and
... Read more
Proceedings of the Fourth European Conference on Computer-Supported Cooperative Work ECSCW ’95

10–14 September, 1995, Stockholm, Sweden

Edited by H. Marmolin, Y. Sundblad, K. Schmidt ...

Series series Computer Science (R0)
Computer Supported Cooperative Work (CSCW) is an interdisciplinary research area devoted to exploring the issues of designing computer-based systems that enhance the abilities to cooperate and integrate activities in an efficient and flexible manner for people in cooperative work situations.This volume is a rigorous selection of papers that represent both practical and theoretical approaches to ... Read more

$115.99 CAD

Computer Supported Cooperative Work (CSCW) is an interdisciplinary research area devoted to exploring the issues of designing computer-based systems that enhance the abilities to cooperate and integrate activities in an efficient and flexible manner for people in cooperative work situations.This volume is a rigorous selection of papers that represent both practical and theoretical approaches to
... Read more
Practical Java Machine Learning

Projects with Google Cloud Platform and Amazon Web Services

by Mark Wickham ...

Series series Professional and Applied Computing (R0)
Build machine learning (ML) solutions for Java development. This book shows you that when designing ML apps, data is the key driver and must be considered throughout all phases of the project life cycle. Practical Java Machine Learning helps you understand the importance of data and how to organize it for use within your ML project. You will be introduced to tools which can help you identify and ... Read more

$63.99 CAD

Build machine learning (ML) solutions for Java development. This book shows you that when designing ML apps, data is the key driver and must be considered throughout all phases of the project life cycle. Practical Java Machine Learning helps you understand the importance of data and how to organize it for use within your ML project. You will be introduced to tools which can help you identify and
... Read more
Reinforcement Learning Algorithms with Python

Learn, understand, and develop smart algorithms for addressing AI challenges

by Andrea Lonza ...

Develop self-learning algorithms and agents using TensorFlow and other Python tools, frameworks, and librariesKey FeaturesLearn, develop, and deploy advanced reinforcement learning algorithms to solve a variety of tasksUnderstand and develop model-free and model-based algorithms for building self-learning agentsWork with advanced Reinforcement Learning concepts and algorithms such as imitation ... Read more

$33.99 CAD or Free with Kobo Plus

Develop self-learning algorithms and agents using TensorFlow and other Python tools, frameworks, and librariesKey FeaturesLearn, develop, and deploy advanced reinforcement learning algorithms to solve a variety of tasksUnderstand and develop model-free and model-based algorithms for building self-learning agentsWork with advanced Reinforcement Learning concepts and algorithms such as imitation
... Read more
Quick Start Guide to Verilog

by Brock J. LaMeres ...

Series series Engineering (R0)
This textbook provides a starter’s guide to Verilog, to be used in conjunction with a one-semester course in Digital Systems Design, or on its own for readers who only need an introduction to the language. This book is designed to match the way the material is actually taught in the classroom. Topics are presented in a manner which builds foundational knowledge before moving onto advanced topics. ... Read more

$102.99 CAD

This textbook provides a starter’s guide to Verilog, to be used in conjunction with a one-semester course in Digital Systems Design, or on its own for readers who only need an introduction to the language. This book is designed to match the way the material is actually taught in the classroom. Topics are presented in a manner which builds foundational knowledge before moving onto advanced topics.
... Read more
Big Data Analytics and Knowledge Discovery

21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings

Edited by Carlos Ordonez, Il-Yeol Song, Gabriele Anderst-Kotsis, A Min Tjoa, Ismail Khalil ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Conference on Big Data Analytics and Knowledge Discovery, DaWaK 2019, held in Linz, Austria, in September 2019.The 12 full papers and 10 short papers presented were carefully reviewed and selected from 61 submissions. The papers are organized in the following topical sections: Applications; patterns; RDF and streams; big data ... Read more

$64.99 CAD

This book constitutes the refereed proceedings of the 21st International Conference on Big Data Analytics and Knowledge Discovery, DaWaK 2019, held in Linz, Austria, in September 2019.The 12 full papers and 10 short papers presented were carefully reviewed and selected from 61 submissions. The papers are organized in the following topical sections: Applications; patterns; RDF and streams; big data
... Read more
PIC® Micro Principles Teachers Pack V11

by Clive W. Humphris ...

An enhanced eBook published in full colour. Now including extensive interactive content enabling exploration by inserting any values that would occur in a real situation whereby the graphics are redrawn to reflect those changes.Calculations can be also tested against any standard subject textbook to compare the results.Interactive Technology when used in the classroom can motivate passive students ... Read more

$4.99 CAD

An enhanced eBook published in full colour. Now including extensive interactive content enabling exploration by inserting any values that would occur in a real situation whereby the graphics are redrawn to reflect those changes.Calculations can be also tested against any standard subject textbook to compare the results.Interactive Technology when used in the classroom can motivate passive students
... Read more
Modern Programming Made Easy

Using Java, Scala, Groovy, and JavaScript

by Adam L. Davis ...

Series series Professional and Applied Computing (R0)
Get up and running fast with the basics of programming using Java as an example language. This short book gets you thinking like a programmer in an easy and entertaining way. Modern Programming Made Easy teaches you basic coding principles, including working with lists, sets, arrays, and maps; coding in the object-oriented style; and writing a web application.This book is largely language agnostic ... Read more

$44.99 CAD

Get up and running fast with the basics of programming using Java as an example language. This short book gets you thinking like a programmer in an easy and entertaining way. Modern Programming Made Easy teaches you basic coding principles, including working with lists, sets, arrays, and maps; coding in the object-oriented style; and writing a web application.This book is largely language agnostic
... Read more
Complete Guide to Test Automation

Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects

by Arnon Axelrod ...

Series series Professional and Applied Computing (R0)
Rely on this robust and thorough guide to build and maintain successful test automation. As the software industry shifts from traditional waterfall paradigms into more agile ones, test automation becomes a highly important tool that allows your development teams to deliver software at an ever-increasing pace without compromising quality.Even though it may seem trivial to automate the repetitive ... Read more

$75.99 CAD

Rely on this robust and thorough guide to build and maintain successful test automation. As the software industry shifts from traditional waterfall paradigms into more agile ones, test automation becomes a highly important tool that allows your development teams to deliver software at an ever-increasing pace without compromising quality.Even though it may seem trivial to automate the repetitive
... Read more
The Semantic Web: ESWC 2019 Satellite Events

ESWC 2019 Satellite Events, Portorož, Slovenia, June 2–6, 2019, Revised Selected Papers

Edited by Pascal Hitzler, Sabrina Kirrane, Olaf Hartig, Victor de Boer, Maria-Esther Vidal, Maria Maleshkova, Stefan Schlobach, Karl Hammar, Nelia Lasierra, Steffen Stadtmüller, Katja Hose, Ruben Verborgh ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 16th Extended Semantic Web Conference, ESWC 2019, held in Portorož, Slovenia, in June 2019.The volume contains 38 poster and demonstration papers, 2 workshop papers,5 PhD symposium papers, and 3 industry track papers, selected out of a total of 68 submissions. They deal with all areas of ... Read more

$64.99 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 16th Extended Semantic Web Conference, ESWC 2019, held in Portorož, Slovenia, in June 2019.The volume contains 38 poster and demonstration papers, 2 workshop papers,5 PhD symposium papers, and 3 industry track papers, selected out of a total of 68 submissions. They deal with all areas of
... Read more
Mastering Ethereum

Implement advanced blockchain applications using Ethereum-supported tools, services, and protocols

by Merunas Grincalaitis ...

An expert guide to implementing fast, secure, and scalable decentralized applications that work with thousands of users in real timeKey FeaturesImplement advanced features of the Ethereum network to build powerful decentralized applicationsBuild smart contracts on different domains using the programming techniques of Solidity and VyperExplore the architecture of Ethereum network to understand ... Read more

$33.99 CAD or Free with Kobo Plus

An expert guide to implementing fast, secure, and scalable decentralized applications that work with thousands of users in real timeKey FeaturesImplement advanced features of the Ethereum network to build powerful decentralized applicationsBuild smart contracts on different domains using the programming techniques of Solidity and VyperExplore the architecture of Ethereum network to understand
... Read more
Human Aspects of IT for the Aged Population

10th International Conference, ITAP 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 Qin Gao, Jia Zhou ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 14725-14726 constitutes the thoroughly refereed proceedings of the 10th International Conference on Human Aspects of IT for the Aged Population (ITAP 2024), held as part of the 26th International Conference on Human-Computer Interaction, HCI International 2024 (HCII 2024), was held as a hybrid event in Washington DC, USA, during June/July 2024.The total of 1271 papers and ... Read more

$153.99 CAD

This two-volume set LNCS 14725-14726 constitutes the thoroughly refereed proceedings of the 10th International Conference on Human Aspects of IT for the Aged Population (ITAP 2024), held as part of the 26th International Conference on Human-Computer Interaction, HCI International 2024 (HCII 2024), was held as a hybrid event in Washington DC, USA, during June/July 2024.The total of 1271 papers and
... Read more
Requirements Engineering

by Jeremy Dick, Elizabeth Hull, Ken Jackson ...

Series series Computer Science (R0)
Updated with new developments, ideas and thinking, as well as new tool descriptions, the fourth edition of this popular book is driven by practical experience from industry. It provides invaluable information on how to write and structure requirements, whilst explaining the importance of Systems Engineering and the creation of effective solutions to problems.This edition contains an expanded ... Read more

$64.99 CAD

Updated with new developments, ideas and thinking, as well as new tool descriptions, the fourth edition of this popular book is driven by practical experience from industry. It provides invaluable information on how to write and structure requirements, whilst explaining the importance of Systems Engineering and the creation of effective solutions to problems.This edition contains an expanded
... Read more
Computer Science – Theory and Applications

14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

Edited by René van Bevern, Gregory Kucherov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Computer Science Symposium in Russia, CSR 2019, held in Novosibirsk, Russia, in July 2019.The 31 full papers were carefully reviewed and selected from 71 submissions. The papers cover a wide range of topics such as algorithms and data structures; computational complexity; randomness in computing; approximation algorithms; ... Read more

$64.99 CAD

This book constitutes the proceedings of the 14th International Computer Science Symposium in Russia, CSR 2019, held in Novosibirsk, Russia, in July 2019.The 31 full papers were carefully reviewed and selected from 71 submissions. The papers cover a wide range of topics such as algorithms and data structures; computational complexity; randomness in computing; approximation algorithms;
... Read more
Reliable Software Technologies – Ada-Europe 2017

22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Edited by Johann Blieberger, Markus Bader ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the ... Read more

$70.99 CAD

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the
... Read more
Human Aspects of IT for the Aged Population. Applications, Services and Contexts

Third International Conference, ITAP 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

Edited by Gavriel Salvendy, Jia Zhou ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10297 + 10298 constitutes the refereed proceedings of the Third International Conference on Human Aspects of IT for the Aged Population, ITAP 2017, held as part of HCI International 2017 in Vancouver, BC, Canada.HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process.The 83 papers presented in the ... Read more

$64.99 CAD

The two-volume set LNCS 10297 + 10298 constitutes the refereed proceedings of the Third International Conference on Human Aspects of IT for the Aged Population, ITAP 2017, held as part of HCI International 2017 in Vancouver, BC, Canada.HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process.The 83 papers presented in the
... 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: