Cyberspace Safety and Security

13th International Symposium, CSS 2021, Virtual Event, November 9–11, 2021, Proceedings

Verification, Model Checking, and Abstract Interpretation

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

Firmware Development

A Guide to Specialized Systemic Knowledge

Technologies and Applications for Big Data Value

The Absolute Beginner's Guide to Python Programming

A Step-by-Step Guide with Examples and Lab Exercises