Search
Lexile Level
AR Level
AR Level
Foundational Principles of AI Governance and Policy 9783032055873 by
Fitz-Gerald, Ann -
Springer,
-2026
N/A
Automated Technology for Verification and Analysis: 19th International Symposium, Atva 2021, Gold Coast, Qld, Australia, October 18-22, 2021, Proceedi 9783030888848 by
Hou, Zhe -
Springer,
-2021
N/A
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part I (2024) 9783031656262 by
Gurfinkel, Arie -
Springer,
-2024
N/A
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part II (2024) 9783031656293 by
Gurfinkel, Arie -
Springer,
-2024
N/A
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part III (2024) 9783031656323 by
Gurfinkel, Arie -
Springer,
-2024
N/A