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
Introduction to Logic Circuits & Logic Design with Verilog

by Brock J. LaMeres ...

Series series Engineering (R0)
This textbook for courses in Digital Systems Design introduces students to the fundamental hardware used in modern computers. Coverage includes both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL) design approach (computer-based). Using this textbook enables readers to design digital systems using the modern HDL ... Read more

$49.49 USD

This textbook for courses in Digital Systems Design introduces students to the fundamental hardware used in modern computers. Coverage includes both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL) design approach (computer-based). Using this textbook enables readers to design digital systems using the modern HDL
... Read more
The AI Dilemma

7 Principles for Responsible Technology

by Juliette Powell, Art Kleiner ...

The misuse of AI has led to wrongful arrests, denial of medical care, even genocide-this book offers 7 powerful principles that business can use now to end the harm.AI holds incredible promise to improve virtually every aspect of our lives, but we can't ignore its risks, mishaps and misuses. Juliette Powell and Art Kleiner offer seven principles for ensuring that machine learning supports human ... Read more

$16.59 USD

The misuse of AI has led to wrongful arrests, denial of medical care, even genocide-this book offers 7 powerful principles that business can use now to end the harm.AI holds incredible promise to improve virtually every aspect of our lives, but we can't ignore its risks, mishaps and misuses. Juliette Powell and Art Kleiner offer seven principles for ensuring that machine learning supports human
... Read more
JavaScript Object Programming

by Martin Rinehart ...

Series series Professional and Applied Computing (R0)
This brief book explains the advantages of the object model, inheritance, both classical and prototypical, and shows how these concepts can be implemented in JavaScript. It also shows how object programming (OP) opens a new world of design possibilities that go far beyond inheritance.This book will help the intermediate JavaScript programmer learn to use both types of inheritance. For classical ... Read more

$28.49 USD

This brief book explains the advantages of the object model, inheritance, both classical and prototypical, and shows how these concepts can be implemented in JavaScript. It also shows how object programming (OP) opens a new world of design possibilities that go far beyond inheritance.This book will help the intermediate JavaScript programmer learn to use both types of inheritance. For classical
... Read more
Learning PostgreSQL 10

A beginner's guide to building high-performance PostgreSQL database solutions

by Salahaldin Juba, Andrey Volkov, Sheldon Strauch, Isabel Maria Duarte Rosa ...

Leverage the power of PostgreSQL 10 to build powerful database and data warehousing applications.Key FeaturesBe introduced to the concept of relational databases and PostgreSQL, one of the fastest growing open source databases in the worldLearn client-side and server-side programming in PostgreSQL, and how to administer PostgreSQL databasesDiscover tips on implementing efficient database solutions ... Read more

$27.89 USD or Free with Kobo Plus

Leverage the power of PostgreSQL 10 to build powerful database and data warehousing applications.Key FeaturesBe introduced to the concept of relational databases and PostgreSQL, one of the fastest growing open source databases in the worldLearn client-side and server-side programming in PostgreSQL, and how to administer PostgreSQL databasesDiscover tips on implementing efficient database solutions
... Read more
Programming with Qt

Writing Portable GUI applications on Unix and Win32

by Matthias Kalle Dalheimer ...

The popular open source KDE desktop environment for Unix was built with Qt, a C++ class library for writing GUI applications that run on Unix, Linux, Windows 95/98, Windows 2000, and Windows NT platforms. Qt emulates the look and feel of Motif, but is much easier to use. Best of all, after you have written an application with Qt, all you have to do is recompile it to have a version that works on ... Read more

$25.99 USD

The popular open source KDE desktop environment for Unix was built with Qt, a C++ class library for writing GUI applications that run on Unix, Linux, Windows 95/98, Windows 2000, and Windows NT platforms. Qt emulates the look and feel of Motif, but is much easier to use. Best of all, after you have written an application with Qt, all you have to do is recompile it to have a version that works on
... Read more
Build Your Own Programming Language

A programmer's guide to designing compilers, interpreters, and DSLs for modern computing problems

by Clinton L. Jeffery ...

Learn to design your own programming language in a hands-on way by building compilers, using preprocessors, transpilers, and more, in this fully-refreshed second edition, written by the creator of the Unicon programming language. Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesTakes a hands-on approach; learn by building the Jzero language, a subset of Java, with example ... Read more

$37.79 USD or Free with Kobo Plus

Learn to design your own programming language in a hands-on way by building compilers, using preprocessors, transpilers, and more, in this fully-refreshed second edition, written by the creator of the Unicon programming language. Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesTakes a hands-on approach; learn by building the Jzero language, a subset of Java, with example
... Read more
Microsoft 365 Excel: The Only App That Matters

Calculations, Analytics, Modeling, Data Analysis and Dashboard Reporting for the New Era of Dynamic Data Driven Decision Making & Insight

by Mike ExcelisFun Girvin ...

Unlock the Power of Data with Microsoft 365 Excel. Master data analysis, modeling, and dashboard reporting with this comprehensive guide to Excel 365. Transform your business with data-driven decisions and gain actionable insights.This book is for anyone who wants to leverage the full potential of Microsoft 365 Excel. From beginners to advanced users, learn how to solve calculation-based problems, ... Read more

$19.99 USD or Free with Kobo Plus

Unlock the Power of Data with Microsoft 365 Excel. Master data analysis, modeling, and dashboard reporting with this comprehensive guide to Excel 365. Transform your business with data-driven decisions and gain actionable insights.This book is for anyone who wants to leverage the full potential of Microsoft 365 Excel. From beginners to advanced users, learn how to solve calculation-based problems,
... Read more
Java Database Best Practices

Persistence Models and Techniques for Java Database Programming

by George Reese ...

When creating complex Java enterprise applications, do you spend a lot of time thumbing through a myriad of books and other resources searching for what you hope will be the API that's right for the project at hand?Java Database Best Practices rescues you from having to wade through books on each of the various APIs before figuring out which method to use! This comprehensive guide introduces each ... Read more

$23.09 USD

When creating complex Java enterprise applications, do you spend a lot of time thumbing through a myriad of books and other resources searching for what you hope will be the API that's right for the project at hand?Java Database Best Practices rescues you from having to wade through books on each of the various APIs before figuring out which method to use! This comprehensive guide introduces each
... Read more
Smart Technologies for Precision Assembly

9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14–15, 2020, Revised Selected Papers

Edited by Svetan Ratchev ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the refereed post-conference proceedings of the 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, held virtually in December 2020.The 16 revised full papers and 10 revised short papers presented together with 1 keynote paper were carefully reviewed and selected from numerous submissions. The papers address topics such as assembly design and ... Read more

Free

This open access book constitutes the refereed post-conference proceedings of the 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, held virtually in December 2020.The 16 revised full papers and 10 revised short papers presented together with 1 keynote paper were carefully reviewed and selected from numerous submissions. The papers address topics such as assembly design and
... Read more
Data Science with SQL Server Quick Start Guide

Integrate SQL Server with data science

by Dejan Sarka ...

Get unique insights from your data by combining the power of SQL Server, R and PythonKey FeaturesUse the features of SQL Server 2017 to implement the data science project life cycleLeverage the power of R and Python to design and develop efficient data modelsfind unique insights from your data with powerful techniques for data preprocessing and analysisBook DescriptionSQL Server only started to ... Read more

$28.79 USD or Free with Kobo Plus

Get unique insights from your data by combining the power of SQL Server, R and PythonKey FeaturesUse the features of SQL Server 2017 to implement the data science project life cycleLeverage the power of R and Python to design and develop efficient data modelsfind unique insights from your data with powerful techniques for data preprocessing and analysisBook DescriptionSQL Server only started to
... Read more
Polynomial Theory of Error Correcting Codes

by Giovanni Cancellieri ...

Series series Engineering (R0)
The book offers an original view on channel coding, based on a unitary approach to block and convolutional codes for error correction. It presents both new concepts and new families of codes. For example, lengthened and modified lengthened cyclic codes are introduced as a bridge towards time-invariant convolutional codes and their extension to time-varying versions. The novel families of codes ... Read more

$143.09 USD

The book offers an original view on channel coding, based on a unitary approach to block and convolutional codes for error correction. It presents both new concepts and new families of codes. For example, lengthened and modified lengthened cyclic codes are introduced as a bridge towards time-invariant convolutional codes and their extension to time-varying versions. The novel families of codes
... Read more
ETL with Azure Cookbook

Practical recipes for building modern ETL solutions to load and transform data from any source

by Matija Lah, Madina Saitakhmetova, Christian Cote ...

Explore the latest Azure ETL techniques both on-premises and in the cloud using Azure services such as SQL Server Integration Services (SSIS), Azure Data Factory, and Azure DatabricksKey FeaturesUnderstand the key components of an ETL solution using Azure Integration ServicesDiscover the common and not-so-common challenges faced while creating modern and scalable ETL solutionsProgram and extend ... Read more

$34.19 USD or Free with Kobo Plus

Explore the latest Azure ETL techniques both on-premises and in the cloud using Azure services such as SQL Server Integration Services (SSIS), Azure Data Factory, and Azure DatabricksKey FeaturesUnderstand the key components of an ETL solution using Azure Integration ServicesDiscover the common and not-so-common challenges faced while creating modern and scalable ETL solutionsProgram and extend
... Read more
Text Analytics with Python

A Practical Real-World Approach to Gaining Actionable Insights from your Data

by Dipanjan Sarkar ...

Series series Professional and Applied Computing (R0)
Derive useful insights from your data using Python. You will learn both basic and advanced concepts, including text and language syntax, structure, and semantics. You will focus on algorithms and techniques, such as text classification, clustering, topic modeling, and text summarization.Text Analytics with Python teaches you the techniques related to natural language processing and text analytics, ... Read more

$40.49 USD

Derive useful insights from your data using Python. You will learn both basic and advanced concepts, including text and language syntax, structure, and semantics. You will focus on algorithms and techniques, such as text classification, clustering, topic modeling, and text summarization.Text Analytics with Python teaches you the techniques related to natural language processing and text analytics,
... Read more
Swift Game Programming for Absolute Beginners

by Arjan Egges ...

Series series Professional and Applied Computing (R0)
"Concepts of game programming are explained well, and no prior knowledge of Swift language programming is required. ... The images and audio provided are professional and clean." William Fahle, Computing Review, May 31, 2016Swift Game Programming for Absolute Beginners teaches Apple’s Swift language in the context of four, fun and colorful games. Learn the Swift 2.0 language, and learn to create ... Read more

$40.49 USD

"Concepts of game programming are explained well, and no prior knowledge of Swift language programming is required. ... The images and audio provided are professional and clean." William Fahle, Computing Review, May 31, 2016Swift Game Programming for Absolute Beginners teaches Apple’s Swift language in the context of four, fun and colorful games. Learn the Swift 2.0 language, and learn to create
... Read more
Mastering ROS for Robotics Programming

Design, build, and simulate complex robots using the Robot Operating System

by Jonathan Cacace, Lentin Joseph ...

Discover best practices and troubleshooting solutions when working on ROSKey FeaturesDevelop complex robotic applications using ROS to interface robot manipulators and mobile robotsGain insight into autonomous navigation in mobile robots and motion planning in robot manipulatorsDiscover best practices and troubleshooting solutionsBook DescriptionIn this day and age, robotics has been gaining a lot ... Read more

$60.29 USD or Free with Kobo Plus

Discover best practices and troubleshooting solutions when working on ROSKey FeaturesDevelop complex robotic applications using ROS to interface robot manipulators and mobile robotsGain insight into autonomous navigation in mobile robots and motion planning in robot manipulatorsDiscover best practices and troubleshooting solutionsBook DescriptionIn this day and age, robotics has been gaining a lot
... Read more
PySpark Recipes

A Problem-Solution Approach with PySpark2

by Raju Kumar Mishra ...

Series series Professional and Applied Computing (R0)
Quickly find solutions to common programming problems encountered while processing big data. Content is presented in the popular problem-solution format. Look up the programming problem that you want to solve. Read the solution. Apply the solution directly in your own code. Problem solved!PySpark Recipes covers Hadoop and its shortcomings. The architecture of Spark, PySpark, and RDD are presented. ... Read more

$53.99 USD

Quickly find solutions to common programming problems encountered while processing big data. Content is presented in the popular problem-solution format. Look up the programming problem that you want to solve. Read the solution. Apply the solution directly in your own code. Problem solved!PySpark Recipes covers Hadoop and its shortcomings. The architecture of Spark, PySpark, and RDD are presented.
... 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
Measuring the User Experience

Collecting, Analyzing, and Presenting Usability Metrics

by Thomas Tullis, William Albert ...

Series series Interactive Technologies
Effectively measuring the usability of any product requires choosing the right metric, applying it, and effectively using the information it reveals. Measuring the User Experience provides the first single source of practical information to enable usability professionals and product developers to do just that. Authors Tullis and Albert organize dozens of metrics into six categories: performance, ... Read more

$50.39 USD

Effectively measuring the usability of any product requires choosing the right metric, applying it, and effectively using the information it reveals. Measuring the User Experience provides the first single source of practical information to enable usability professionals and product developers to do just that. Authors Tullis and Albert organize dozens of metrics into six categories: performance,
... Read more
Knowledge Cartography for Young Thinkers

Sustainability Issues, Mapping Techniques and AI Tools

by Alexandra Okada ...

Series series Advanced Information and Knowledge Processing
Discover the transformative power of knowledge mapping with this revolutionary book. You will have access to a rich collection of mapping techniques, technologies, and real-life applications designed for learners of all ages and across disciplines. This book aims to help learners create knowledge with the support of artificial intelligence mapping apps and engage them deeply with sustainable ... Read more

Free

Discover the transformative power of knowledge mapping with this revolutionary book. You will have access to a rich collection of mapping techniques, technologies, and real-life applications designed for learners of all ages and across disciplines. This book aims to help learners create knowledge with the support of artificial intelligence mapping apps and engage them deeply with sustainable
... Read more
The Instant AI Agency: How to Cash 6 & 7 Figure Checks in the New Digital Gold Rush Without Being A Tech Nerd

by Dan Wardrope ...

Today's businesses are struggling because costs are going up and profits are getting smaller. Many of them don't know how to fix this problem, and the bigger they are, the bigger the problem. This is a trillion-dollar problem. That's why the one who can provide a viable solution will be paid a king's ransom.This book shows how anyone can easily start an online business that helps companies solve ... Read more

$26.00 USD or Free with Kobo Plus

Today's businesses are struggling because costs are going up and profits are getting smaller. Many of them don't know how to fix this problem, and the bigger they are, the bigger the problem. This is a trillion-dollar problem. That's why the one who can provide a viable solution will be paid a king's ransom.This book shows how anyone can easily start an online business that helps companies solve
... Read more
AI 2027: The Future We Choose: The Truth About Artificial Intelligence, AGI, and the AI Singularity—From the Dark Scenarios to the Breakthroughs That Could Save Humanity

by Himanshoo Jaiswal ...

AI 2027: The Future We Choose is a powerful, future-focused AI book that explores the next phase of artificial intelligence and its impact on society, business, and human survival. Perfect for beginners, futurists, entrepreneurs, and business leaders, this essential guide explains AI in education, healthcare, governance, ethics, and generative AI technologies in simple, engaging language.Author ... Read more

$3.49 USD or Free with Kobo Plus

AI 2027: The Future We Choose is a powerful, future-focused AI book that explores the next phase of artificial intelligence and its impact on society, business, and human survival. Perfect for beginners, futurists, entrepreneurs, and business leaders, this essential guide explains AI in education, healthcare, governance, ethics, and generative AI technologies in simple, engaging language.Author
... Read more
Google Gemini For Dummies

by Bonaventura Di Bello ...

Tap into the power of AI right where you already workWith AI tools popping up everywhere, finding the right one for your workflow can be a little intimidating. Google Gemini For Dummies makes it easy by showing you how to use AI directly from the apps you already rely on every day. Discover how to craft effective prompts, summarize long email threads, generate presentation content, and draft ideas ... Read more

$18.00 USD

Tap into the power of AI right where you already workWith AI tools popping up everywhere, finding the right one for your workflow can be a little intimidating. Google Gemini For Dummies makes it easy by showing you how to use AI directly from the apps you already rely on every day. Discover how to craft effective prompts, summarize long email threads, generate presentation content, and draft ideas
... Read more
Python: Data Analytics and Visualization

by Phuong Vo.T.H, Martin Czygan, Ashish Kumar, Kirthi Raman ...

Understand, evaluate, and visualize dataAbout This BookLearn basic steps of data analysis and how to use Python and its packagesA step-by-step guide to predictive modeling including tips, tricks, and best practicesEffectively visualize a broad set of analyzed data and generate effective resultsWho This Book Is ForThis book is for Python Developers who are keen to get into data analysis and wish to ... Read more

$71.99 USD or Free with Kobo Plus

Understand, evaluate, and visualize dataAbout This BookLearn basic steps of data analysis and how to use Python and its packagesA step-by-step guide to predictive modeling including tips, tricks, and best practicesEffectively visualize a broad set of analyzed data and generate effective resultsWho This Book Is ForThis book is for Python Developers who are keen to get into data analysis and wish to
... 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: