Rakuten Kobo

Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Edited by Isil Dillig, Serdar Tasiran ...

Series Book 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... Read more

Free

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical
... Read more
Kafka Connect

Build and Run Data Pipelines

by Mickael Maison, Kate Stanley ...

Used by more than 80% of Fortune 100 companies, Apache Kafka has become the de facto event streaming platform. Kafka Connect is a key component of Kafka that lets you flow data between your existing systems and Kafka to process data in real time.With this practical guide, authors Mickael Maison and Kate Stanley show data engineers, site reliability engineers, and application developers how to ... Read more

$48.99 USD

Used by more than 80% of Fortune 100 companies, Apache Kafka has become the de facto event streaming platform. Kafka Connect is a key component of Kafka that lets you flow data between your existing systems and Kafka to process data in real time.With this practical guide, authors Mickael Maison and Kate Stanley show data engineers, site reliability engineers, and application developers how to
... Read more
The C# Programmer’s Study Guide (MCSD)

Exam: 70-483

by Ali Asad, Hamza Ali ...

Series series Professional and Applied Computing (R0)
Prepare for Microsoft Certification Exam 70-483: Programming in C#. The “What, Why, and How” of each concept is presented along with quick summaries, code challenges, and exam questions to review and practice key concepts.You will learn how to use:Lambda expressions to write LINQ query expressionsAsynchronous programming with the Async and Await keywords to maximize performance of slow ... Read more

$62.99 USD

Prepare for Microsoft Certification Exam 70-483: Programming in C#. The “What, Why, and How” of each concept is presented along with quick summaries, code challenges, and exam questions to review and practice key concepts.You will learn how to use:Lambda expressions to write LINQ query expressionsAsynchronous programming with the Async and Await keywords to maximize performance of slow
... Read more
Lua Unleashed: Revolutionizing Game Design and Development

by Kameron Hussain, Frahaan Hussain ...

Lua Unleashed: Revolutionizing Game Design and Development is an essential guide for both aspiring and seasoned game developers. This comprehensive book dives deep into the world of Lua, a powerful and versatile programming language, and its application in game design and development.Through its pages, readers will embark on a journey exploring the fundamentals of Lua programming. The book ... Read more

$9.99 USD or Free with Kobo Plus

Lua Unleashed: Revolutionizing Game Design and Development is an essential guide for both aspiring and seasoned game developers. This comprehensive book dives deep into the world of Lua, a powerful and versatile programming language, and its application in game design and development.Through its pages, readers will embark on a journey exploring the fundamentals of Lua programming. The book
... Read more
Simple and Usable Web, Mobile, and Interaction Design

by Giles Colborne ...

Series series Voices That Matter
In a chaotic world, we all crave simplicity. We don’t want to waste time reconfiguring our smartphones, fumbling over digital printers, or plodding through online forms while deadlines bear down on us. We want technology that works.Yet the harder we try to create simple user experiences, the more we tie ourselves up in knots. We are undermined by demands to cram in more features, or lured into ... Read more

$24.49 USD

In a chaotic world, we all crave simplicity. We don’t want to waste time reconfiguring our smartphones, fumbling over digital printers, or plodding through online forms while deadlines bear down on us. We want technology that works.Yet the harder we try to create simple user experiences, the more we tie ourselves up in knots. We are undermined by demands to cram in more features, or lured into
... Read more
Python Data Analysis

by Ivan Idris ...

This book is for programmers, scientists, and engineers who have knowledge of the Python language and know the basics of data science. It is for those who wish to learn different data analysis methods using Python and its libraries. This book contains all the basic ingredients you need to become an expert data analyst. ... Read more

$27.99 USD or Free with Kobo Plus

This book is for programmers, scientists, and engineers who have knowledge of the Python language and know the basics of data science. It is for those who wish to learn different data analysis methods using Python and its libraries. This book contains all the basic ingredients you need to become an expert data analyst.
... Read more
Tools and Algorithms for the Construction and Analysis of Systems

25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Edited by Tomáš Vojnar, Lijun Zhang ...

Series Book 2 - Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of ... Read more

Free

This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of
... Read more
Building Interactive Dashboards in Microsoft 365 Excel

Harness the new features and formulae in M365 Excel to create dynamic, automated dashboards

by Michael Olafusi ...

Unleash the full potential of Microsoft Excel's latest version and elevate your data-driven prowess with this comprehensive resourceKey FeaturesCreate robust and automated dashboards in Excel for M365Apply data visualization principles and employ dynamic charts and tables to create constantly updated and informative dashboards for your organizationUncover the best practices for effective dashboard ... Read more

$24.99 USD or Free with Kobo Plus

Unleash the full potential of Microsoft Excel's latest version and elevate your data-driven prowess with this comprehensive resourceKey FeaturesCreate robust and automated dashboards in Excel for M365Apply data visualization principles and employ dynamic charts and tables to create constantly updated and informative dashboards for your organizationUncover the best practices for effective dashboard
... Read more
Technologies and Applications for Big Data Value

Edited by Edward Curry, Sören Auer, Arne J. Berre, Andreas Metzger, Maria S. Perez, Sonja Zillner ...

Series series Computer Science (R0)
This open access book explores cutting-edge solutions and best practices for big data and data-driven AI applications for the data-driven economy. It provides the reader with a basis for understanding how technical issues can be overcome to offer real-world solutions to major industrial areas.The book starts with an introductory chapter that provides an overview of the book by positioning the ... Read more

Free

This open access book explores cutting-edge solutions and best practices for big data and data-driven AI applications for the data-driven economy. It provides the reader with a basis for understanding how technical issues can be overcome to offer real-world solutions to major industrial areas.The book starts with an introductory chapter that provides an overview of the book by positioning the
... Read more
Understanding Compression

Data Compression for Modern Developers

by Colt McAnlis, Aleks Haecky ...

If you want to attract and retain users in the booming mobile services market, you need a quick-loading app that won’t churn through their data plans. The key is to compress multimedia and other data into smaller files, but finding the right method is tricky. This witty book helps you understand how data compression algorithms work—in theory and practice—so you can choose the best solution among ... Read more

$23.99 USD

If you want to attract and retain users in the booming mobile services market, you need a quick-loading app that won’t churn through their data plans. The key is to compress multimedia and other data into smaller files, but finding the right method is tricky. This witty book helps you understand how data compression algorithms work—in theory and practice—so you can choose the best solution among
... Read more
Basic Training for NVDA

by NV Access ...

The Basic Training for NVDA eBook is the first module in the official set of training materials for learning to use the free NVDA screen reader.This eBook is suitable for the new and existing user wishing to improve proficiency.Topics covered include: Getting started with NVDA and Windows, basic configuration, writing and editing text, document formatting, file management, multi-tasking, browsing ... Read more

$25.50 USD

The Basic Training for NVDA eBook is the first module in the official set of training materials for learning to use the free NVDA screen reader.This eBook is suitable for the new and existing user wishing to improve proficiency.Topics covered include: Getting started with NVDA and Windows, basic configuration, writing and editing text, document formatting, file management, multi-tasking, browsing
... Read more
25 Recipes for Getting Started with R

Excerpts from the R Cookbook

by Paul Teetor ...

R is a powerful tool for statistics and graphics, but getting started with this language can be frustrating. This short, concise book provides beginners with a selection of how-to recipes to solve simple problems with R. Each solution gives you just what you need to know to use R for basic statistics, graphics, and regression.You'll find recipes on reading data files, creating data frames, ... Read more

$11.99 USD

R is a powerful tool for statistics and graphics, but getting started with this language can be frustrating. This short, concise book provides beginners with a selection of how-to recipes to solve simple problems with R. Each solution gives you just what you need to know to use R for basic statistics, graphics, and regression.You'll find recipes on reading data files, creating data frames,
... Read more
Designing for Situation Awareness

An Approach to User-Centered Design, Third Edition

by Mica R. Endsley, Debra G. Jones ...

Developed by the leading scientists in the field*, Designing for Situation Awareness: An Approach to User-Centered Design, Third Edition* offers a systematic and successful methodology for supporting the situation awareness (SA) of individuals and teams who work in complex and demanding environments.Newly updated to reflect the latest research on SA, this new edition provides needed background on ... Read more

$134.99 USD

Developed by the leading scientists in the field*, Designing for Situation Awareness: An Approach to User-Centered Design, Third Edition* offers a systematic and successful methodology for supporting the situation awareness (SA) of individuals and teams who work in complex and demanding environments.Newly updated to reflect the latest research on SA, this new edition provides needed background on
... Read more
Mastering Hybrid Cloud with Azure: Seamless Integration of On-Premises and Cloud Workloads

by Kameron Hussain, Frahaan Hussain ...

Unlock the full potential of hybrid cloud with "Mastering Hybrid Cloud with Azure", the definitive guide for IT professionals, architects, and decision-makers looking to integrate on-premises infrastructure with Microsoft Azure. As enterprises embrace the flexibility and scalability of the cloud, the hybrid approach has emerged as the most strategic solution—balancing control, compliance, and ... Read more

$9.99 USD or Free with Kobo Plus

Unlock the full potential of hybrid cloud with "Mastering Hybrid Cloud with Azure", the definitive guide for IT professionals, architects, and decision-makers looking to integrate on-premises infrastructure with Microsoft Azure. As enterprises embrace the flexibility and scalability of the cloud, the hybrid approach has emerged as the most strategic solution—balancing control, compliance, and
... Read more
Virtual Reality Headsets - A Theoretical and Pragmatic Approach

by Philippe Fuchs ...

The purpose of virtual reality is to make possible a sensorimotor and cognitive activity for a user in a digitally created artificial world. Recent advances in computer technology have led to a new generation of VR devices such as VR headsets. Accordingly, virtual reality poses many new scientific challenges for researchers and professionals.The aim of this book, a manual meant for both designers ... Read more

$72.99 USD

The purpose of virtual reality is to make possible a sensorimotor and cognitive activity for a user in a digitally created artificial world. Recent advances in computer technology have led to a new generation of VR devices such as VR headsets. Accordingly, virtual reality poses many new scientific challenges for researchers and professionals.The aim of this book, a manual meant for both designers
... Read more
LaTeX Graphics with TikZ

A practitioner's guide to drawing 2D and 3D images, diagrams, charts, and plots

by Stefan Kottwitz ...

Unleash the power of LaTeX to create professional text, articles, diagrams, and charts using TikZ and its wide range of features for stunning 2D and 3D effects Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesAchieve native construction of images and diagrams in your LaTex theses, articles, or books with enhanced qualityDiscover comprehensive explanations and real-world ... Read more

$34.99 USD or Free with Kobo Plus

Unleash the power of LaTeX to create professional text, articles, diagrams, and charts using TikZ and its wide range of features for stunning 2D and 3D effects Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesAchieve native construction of images and diagrams in your LaTex theses, articles, or books with enhanced qualityDiscover comprehensive explanations and real-world
... Read more
Taming the Machine

Ethically Harness the Power of AI

by Nell Watson ...

WINNER: Choice Reviews - Outstanding Academic Title, 2025WINNER: Goody Business Book Award 2024 - Technology - GeneralAI promises to transform our world, supercharging productivity and driving new innovations. Taming the Machine uncovers how you can responsibly harness the power of AI with confidence.AI has the potential to become a personal assistant, a creative partner, an editor and a re... ... Read more

$15.99 USD

WINNER: Choice Reviews - Outstanding Academic Title, 2025WINNER: Goody Business Book Award 2024 - Technology - GeneralAI promises to transform our world, supercharging productivity and driving new innovations. Taming the Machine uncovers how you can responsibly harness the power of AI with confidence.AI has the potential to become a personal assistant, a creative partner, an editor and a re...
... Read more
Deep Learning With Python

Practical Guide for Beginners

by Mike Krebbs ...

Series series Data Sciences
Are you thinking of learning more about Machine Learning using R?Deep learning is constantly being mentioned today, as organizations cross over their businesses attempts to discover how to utilize progressed computational strategies to discover helpful data that is covered up crosswise over enormous swaths of information. While the field of artificial intelligence is decades old, leaps forward in ... Read more

$18.63 USD

Are you thinking of learning more about Machine Learning using R?Deep learning is constantly being mentioned today, as organizations cross over their businesses attempts to discover how to utilize progressed computational strategies to discover helpful data that is covered up crosswise over enormous swaths of information. While the field of artificial intelligence is decades old, leaps forward in
... Read more
Apache Ignite Quick Start Guide

Distributed data caching and processing made easy

by Sujoy Acharya ...

Build efficient, high-performance & scalable systems to process large volumes of data with Apache IgniteKey FeaturesUnderstand Apache Ignite's in-memory technologyCreate High-Performance app components with IgniteBuild a real-time data streaming and complex event processing systemBook DescriptionApache Ignite is a distributed in-memory platform designed to scale and process large volume of data. ... Read more

$25.99 USD or Free with Kobo Plus

Build efficient, high-performance & scalable systems to process large volumes of data with Apache IgniteKey FeaturesUnderstand Apache Ignite's in-memory technologyCreate High-Performance app components with IgniteBuild a real-time data streaming and complex event processing systemBook DescriptionApache Ignite is a distributed in-memory platform designed to scale and process large volume of data.
... Read more
Data Engineering with AWS

Learn how to design and build cloud-based data transformation pipelines using AWS

by Gareth Eagar ...

The missing expert-led manual for the AWS ecosystem — go from foundations to building data engineering pipelines effortlessly Purchase of the print or Kindle book includes a free eBook in the PDF format.Key FeaturesLearn about common data architectures and modern approaches to generating value from big dataExplore AWS tools for ingesting, transforming, and consuming data, and for orchestrating ... Read more

$46.99 USD or Free with Kobo Plus

The missing expert-led manual for the AWS ecosystem — go from foundations to building data engineering pipelines effortlessly Purchase of the print or Kindle book includes a free eBook in the PDF format.Key FeaturesLearn about common data architectures and modern approaches to generating value from big dataExplore AWS tools for ingesting, transforming, and consuming data, and for orchestrating
... Read more
Parsing with Perl 6 Regexes and Grammars

A Recursive Descent into Parsing

by Moritz Lenz ...

Series series Professional and Applied Computing (R0)
Write good regexes and parsers with the Perl 6 programming language. You’ll see how regexes are used for searching, parsing, and validation: in particular the grammar extension makes them uniquely suitable for parsing, the main focus of this book. Written by Perl 6 expert Moritz Lenz, a core contributor of Rakudo, Parsing with Perl 6 Regexes and Grammars starts from the very basics of regular ... Read more

$31.99 USD

Write good regexes and parsers with the Perl 6 programming language. You’ll see how regexes are used for searching, parsing, and validation: in particular the grammar extension makes them uniquely suitable for parsing, the main focus of this book. Written by Perl 6 expert Moritz Lenz, a core contributor of Rakudo, Parsing with Perl 6 Regexes and Grammars starts from the very basics of regular
... Read more
Sketching User Experiences: The Workbook

by Saul Greenberg, Sheelagh Carpendale, Nicolai Marquardt, Bill Buxton ...

In Sketching User Experiences: The Workbook, you will learn, through step-by-step instructions and exercises, various sketching methods that will let you express your design ideas about user experiences across time. Collectively, these methods will be your sketching repertoire: a toolkit where you can choose the method most appropriate for developing your ideas, which will help you cultivate a ... Read more

$18.99 USD

In Sketching User Experiences: The Workbook, you will learn, through step-by-step instructions and exercises, various sketching methods that will let you express your design ideas about user experiences across time. Collectively, these methods will be your sketching repertoire: a toolkit where you can choose the method most appropriate for developing your ideas, which will help you cultivate a
... Read more
Hybride KI mit Machine Learning und Knowledge Graphs

Innovative Lösungen aus der Praxis

Edited by Knut Hinkelmann, Thomas Hoppe, Bernhard G. Humm ...

Seit den 2010er Jahren hat die Künstliche Intelligenz (KI) durch Erfolge im Machine Learning (ML) einen enormen Schub erfahren. Einerseits durch die stark angewachsene Menge verfügbarer digitaler Daten und andererseits durch Innovationen im Bereich der Künstlichen Neuronalen Netze und des Deep Learning (DL). Wissensbasierte KI umfasst neben traditionellen Expertensystemen und Regelsystemen auch ... Read more

Free

Seit den 2010er Jahren hat die Künstliche Intelligenz (KI) durch Erfolge im Machine Learning (ML) einen enormen Schub erfahren. Einerseits durch die stark angewachsene Menge verfügbarer digitaler Daten und andererseits durch Innovationen im Bereich der Künstlichen Neuronalen Netze und des Deep Learning (DL). Wissensbasierte KI umfasst neben traditionellen Expertensystemen und Regelsystemen auch
... Read more
An Introduction to Python and Computer Programming

by Yue Zhang ...

Series series Engineering (R0)
This book introduces Python programming language and fundamental concepts in algorithms and computing. Its target audience includes students and engineers with little or no background in programming, who need to master a practical programming language and learn the basic thinking in computer science/programming. The main contents come from lecture notes for engineering students from all ... Read more

$107.99 USD

This book introduces Python programming language and fundamental concepts in algorithms and computing. Its target audience includes students and engineers with little or no background in programming, who need to master a practical programming language and learn the basic thinking in computer science/programming. The main contents come from lecture notes for engineering students from all
... 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: