












Principles of Blockchain Systems
674,-

Science Fiction Prototyping
233,-

Storing Clocked Programs Inside DNA
305,-

Introduction to Logic, Third Edition
584,-

Blockchain Platforms
611,-

Automated Verification of Concurrent Search Structures
611,-

Safe Autonomy with Control Barrier Functions
674,-

Adaptive and Learning-Based Control of Safety-Critical Systems
674,-

Metareasoning for Robots
674,-

Advances in Human Activity Detection and Recognition (HADR) Systems
431,-

Principles of Blockchain Systems
674,-

Science Fiction Prototyping
233,-

Storing Clocked Programs Inside DNA
305,-

Introduction to Logic, Third Edition
584,-

Blockchain Platforms
611,-

Automated Verification of Concurrent Search Structures
611,-

Safe Autonomy with Control Barrier Functions
674,-

Adaptive and Learning-Based Control of Safety-Critical Systems
674,-

Metareasoning for Robots
674,-

Advances in Human Activity Detection and Recognition (HADR) Systems
431,-