Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

Automation and Robotics

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

AI Superpowers: China, Silicon Valley, and the New World Order

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

AI based Robot Safe Learning and Control

Unreal Development Kit Game Programming with Unrealscript: Beginner's Guide

Formal Methods and Models for System Design: A System Level Perspective

ADAS and Automated Driving: A Practical Approach to Verification and Validation

Safe, Autonomous and Intelligent Vehicles

Mastering ADB: A Comprehensive Guide to Android Control

Rise of the Robots: Technology and the Threat of a Jobless Future

Wind Energy Conversion Systems: Technology and Trends

PLC Controls with Structured Text (ST), V3: IEC 61131-3 and best practice ST programming

The Glass Cage: Where Automation is Taking Us

AI and Building Management Systems

Pinball Machines: How They Work & Troubleshooting

ITI Mechanic Refrigeration and Air Conditioner