Part of the Cyber Physical Systems Series, this is the second edition of a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth. Author Edmund M. Clark, Jr was one of the developers of the technique, in which algorithms are used to work out whether an abstract model―representing, for example, a hardware or software design―satisfies a formal specification expressed as a temporal logic formula.  

<ASIN:0262038838>

This book is a collection of fun and educational projects designed to entertain programmers while enhancing their Python skills. Author Lee Vaughan picks up where the complete beginner books leave off, expanding on existing concepts and introducing useful new tools. To keep things interesting, each project includes a zany twist featuring historical incidents, pop culture references, and literary allusions. 

<ASIN:159327890X>

This book starts by showing you the fundamentals of the Robot Operating System (ROS) robotics software framework to illustrate the basics of differential robots. Author Lentin Joseph then covers robot modeling and how to design and simulate it using ROS. He then looks at how to design robot hardware and interfacing actuators, and how to configure and program depth sensors and LIDARs using ROS. Finally, instructions are given on creating a GUI for a robot using the Qt framework.

<ASIN:1788623312>

This is a collection of interviews with more than two dozen data professionals aimed at giving a picture of what it’s like to work in the industry managing and analyzing data. Author Malathi Mahadevanhas interviewed database administrators, database programmers, data architects, business intelligence professionals, and analytics professionals. The interviewees work across industry sectors ranging from healthcare to banking, finance,  transportation and beyond, and they have shared what helped them get to the top, and what skills and attitudes combine to make them successful in their respective fields.

<ASIN:1484239660>

In this new edition, author V. Scott Gordon provides step-by-step instruction on modern 3D graphics shader programming in OpenGL, along with its theoretical foundations. It has been designed in a four-color, “teach-yourself” format with numerous examples that the reader can run just as presented.New sections have been added covering soft shadows, performance optimization, Nsight debugging, as well as updated industry-standard libraries and steps for running the examples on a Macintosh.

<ASIN:1683922190>

This book shows how to integrate Redux into your React application and development environment. Authors Marc Garreau and Will Faurot show how to effectively managing state in web applications. Built around common use cases, this practical book starts with a simple task-management application built in React. It book then moves on showing how to use the app to learn the Redux workflow, handle asynchronous actions, and get your hands on the Redux developer tools. Each step illustrates more about Redux and the benefits of centralized state management.

<ASIN: 1617294977>

Reinforcement learning, one of the most active research areas in artificial intelligence, is a computational approach to learning whereby an agent tries to maximize the total amount of reward it receives while interacting with a complex, uncertain environment. In the new edition of this classic book, authors Richard Sutton and Andrew Barto provide a clear and simple account of the field's key ideas and algorithms. This second edition has been significantly expanded and updated, presenting new topics and updating coverage of other topics. It focuses on core online learning algorithms, with the more mathematical material set off in shaded boxes

<ASIN: 0262039249>

This book covers both classical and modern models in deep learning. The primary focus is on the theory and algorithms of deep learning. Author Charu C. Aggarwal looks at why neural networks work, and when they work better than off-the-shelf machine-learning models. He also considers when depth is useful, why training neural networks is so hard, and what the pitfalls are. The book also looks at different applications to give a flavor of how neural architectures are designed for different types of problems such as recommender systems, machine translation, image captioning, image classification, reinforcement-learning based gaming, and text analytics.

<ASIN:3319944622>

This book walks you through installing and configuring SQL Server on the Linux platform. Author Bob Ward is one of the principal architects of SQL Server for Linux, and brings a corresponding depth of knowledge. Throughout this book are internals of how SQL Server on Linux works including an in depth look at the architecture. It covers day-to-day management and troubleshooting, including diagnostics and monitoring, the use of containers to manage deployments, and the use of self-tuning and the in-memory capabilities.It also covers performance capabilities, high availability, and disaster recovery along with security and encryption.

<ASIN:1484241274>

This book is aimed at anyone who wants to produce graphic visualizations to gain insights from gathered data. Author Mike McGrath begins by explaining core programming principles of the R programming language including the storing of data in vectors from which simple graphs can be plotted. Next he describes how to create matrices to store and manipulate data from which graphs can be plotted to provide better insights and then demonstrates how to create data frames from imported data sets, and how to produce advanced visualizations.

<ASIN:1840787953>

This book shows how to use Julia to tackle numerical and data problems. Author Ivo Balbaert starts from how to set up a running Julia platform, before exploring its various built-in types. With the help of practical examples, this book walks you through two important collection types: arrays and matrices. In addition to this, you will be taken through how type conversions and promotions work, be introduced to the concepts of homoiconicity (ability to manipulate a program written in Julia as data) and metaprogramming in Julia.

<ASIN:1788999096>

With a subtitle of 'A Multimodal Approach to Product Design', this book looks at how to use different interaction modes to connect speech, touch, haptic, and gestural interfaces into products that engage several human senses at once. Authors Christine Park and John Alderman explain the basic principles behind multimodal interaction and introduce the tools you need to root your design in the ways our senses shape experience. The book explores examples from current designers and devices to describe how these products blend multiple interface modes together into a cohesive user experience.

<ASIN:1491954248>