Rakuten Kobo

Functional Data Structures and Algorithms

A Proof Assistant Approach

par Tobias Nipkow ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Modern CSS

Master the Key Concepts of CSS for Modern Web Development

par Joe Attardi ...

Collections 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, ... En savoir plus

$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,
... En savoir plus
Social Robotics + AI

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

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

Collections Livre 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 ... En savoir plus

$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
... En savoir plus
The Comprehensive Guide to Machine Learning Algorithms and Techniques

par 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, ... En savoir plus

$7.99 CAD ou Gratuit avec 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,
... En savoir plus
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

Modifié par 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 ... En savoir plus

$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
... En savoir plus
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

par 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 ... En savoir plus

$51.99 CAD ou Gratuit avec 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
... En savoir plus
The Official Guide to Mermaid.js

Create complex diagrams and beautiful flowcharts easily using text and code

par 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 ... En savoir plus

$37.99 CAD ou Gratuit avec 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
... En savoir plus
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

par 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 ... En savoir plus

$12.99 CAD ou Gratuit avec 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
... En savoir plus
Conversing With ChatGPT

par 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 ... En savoir plus

$0.99 CAD ou Gratuit avec 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
... En savoir plus
Proceedings of the Fourth European Conference on Computer-Supported Cooperative Work ECSCW ’95

10–14 September, 1995, Stockholm, Sweden

Modifié par H. Marmolin, Y. Sundblad, K. Schmidt ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Practical Java Machine Learning

Projects with Google Cloud Platform and Amazon Web Services

par Mark Wickham ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Reinforcement Learning Algorithms with Python

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

par 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 ... En savoir plus

$33.99 CAD ou Gratuit avec 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
... En savoir plus
Quick Start Guide to Verilog

par Brock J. LaMeres ...

Collections 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. ... En savoir plus

$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.
... En savoir plus
Big Data Analytics and Knowledge Discovery

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

Modifié par Carlos Ordonez, Il-Yeol Song, Gabriele Anderst-Kotsis, A Min Tjoa, Ismail Khalil ...

Collections 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 ... En savoir plus

$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
... En savoir plus
PIC® Micro Principles Teachers Pack V11

par 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 ... En savoir plus

$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
... En savoir plus
Modern Programming Made Easy

Using Java, Scala, Groovy, and JavaScript

par Adam L. Davis ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Complete Guide to Test Automation

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

par Arnon Axelrod ...

Collections 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 ... En savoir plus

$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
... En savoir plus
The Semantic Web: ESWC 2019 Satellite Events

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

Modifié par 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 ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Mastering Ethereum

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

par 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 ... En savoir plus

$33.99 CAD ou Gratuit avec 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
... En savoir plus
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

Modifié par Qin Gao, Jia Zhou ...

Collections Livre 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 ... En savoir plus

$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
... En savoir plus
Requirements Engineering

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

Collections 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 ... En savoir plus

$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
... En savoir plus
Computer Science – Theory and Applications

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

Modifié par René van Bevern, Gregory Kucherov ...

Collections 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; ... En savoir plus

$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;
... En savoir plus
Reliable Software Technologies – Ada-Europe 2017

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

Modifié par Johann Blieberger, Markus Bader ...

Collections 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 ... En savoir plus

$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
... En savoir plus
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

Modifié par Gavriel Salvendy, Jia Zhou ...

Collections Livre 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 ... En savoir plus

$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
... En savoir plus

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

eBooks Programmation

Afficher :