The AI Act and The Agile Safety Plan

অনুযায়ী Myklebust, Thor, Stålhane, Tor, Vatn, Dorthea Mathilde Kristin
প্রকাশিত SpringerBriefs in Computer Science (2025)

AI, Data, and Digitalization

প্রকাশিত Communications in Computer and Information Science (2024)

Automated Reasoning

প্রকাশিত Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2024)

Automated Reasoning

প্রকাশিত Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2024)

Biological Computing

অনুযায়ী Xu, Jin
প্রকাশিত 2025

Computer Aided Verification

প্রকাশিত Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Computer Aided Verification

প্রকাশিত Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Data Parallel C++

অনুযায়ী Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin
প্রকাশিত 2021

Formal Methods

প্রকাশিত Lecture Notes in Computer Science (2025)

Formal Methods

প্রকাশিত Lecture Notes in Computer Science (2025)

Fundamental Approaches to Software Engineering

প্রকাশিত Lecture Notes in Computer Science (2024)

Machine Learning for Cyber-Physical Systems

প্রকাশিত Technologien für die intelligente Automation (2024)

Scalable Data Management for Future Hardware

প্রকাশিত 2025

Special Topics in Information Technology

প্রকাশিত SpringerBriefs in Applied Sciences and Technology; PoliMI SpringerBriefs (2025)

Tools and Algorithms for the Construction and Analysis of Systems

প্রকাশিত Lecture Notes in Computer Science (2024)

Tools and Algorithms for the Construction and Analysis of Systems

প্রকাশিত Lecture Notes in Computer Science (2024)