Synthesis Lectures on Computer Science

Science Fiction Prototyping

Designing the Future with Science Fiction

Storing Clocked Programs Inside DNA

A Simplifying Framework for Nanocomputing

Introduction to Logic, Third Edition

Analytical Performance Modeling for Computer Systems, Third Edition

Blockchain Platforms

A Look at the Underbelly of Distributed Platforms

Creating Autonomous Vehicle Systems, Second Edition

Automated Verification of Concurrent Search Structures

Principles of Blockchain Systems

Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments

Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments

Safe Autonomy with Control Barrier Functions

Theory and Applications

Safe Autonomy with Control Barrier Functions

Theory and Applications

Adaptive and Learning-Based Control of Safety-Critical Systems

Adaptive and Learning-Based Control of Safety-Critical Systems

Introduction to the Development of Web Applications Using ASP .Net (Core) MVC

Introduction to the Development of Web Applications Using ASP .Net (Core) MVC

Metareasoning for Robots

Adapting in Dynamic and Uncertain Environments

Metareasoning for Robots

Adapting in Dynamic and Uncertain Environments

Dynamic Graph Learning for Dimension Reduction and Data Clustering

Dynamic Graph Learning for Dimension Reduction and Data Clustering

Advances in Human Activity Detection and Recognition (HADR) Systems

Advances in Human Activity Detection and Recognition (HADR) Systems

Societal Impacts of Artificial Intelligence and Machine Learning

Societal Impacts of Artificial Intelligence and Machine Learning

Coding Examples from Simple to Complex

Applications in MATLAB®

Coding Examples from Simple to Complex

Applications in MATLAB®

Coding Examples from Simple to Complex

Applications in Python™

Coding Examples from Simple to Complex

Applications in Python™

Coding Examples from Simple to Complex

Applications in JavaScript™