The AI Act and The Agile Safety Plan

Yazar: Myklebust, Thor, Stålhane, Tor, Vatn, Dorthea Mathilde Kristin
Yayımlandı SpringerBriefs in Computer Science (2025)

AI, Data, and Digitalization

Yayımlandı Communications in Computer and Information Science (2024)

Automated Reasoning

Yayımlandı Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2024)

Automated Reasoning

Yayımlandı Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2024)

Biological Computing

Yazar: Xu, Jin
Baskı/Yayın Bilgisi 2025

Computer Aided Verification

Yayımlandı Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Computer Aided Verification

Yayımlandı Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Data Parallel C++

Yazar: Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin
Baskı/Yayın Bilgisi 2021

Formal Methods

Yayımlandı Lecture Notes in Computer Science (2025)

Formal Methods

Yayımlandı Lecture Notes in Computer Science (2025)

Fundamental Approaches to Software Engineering

Yayımlandı Lecture Notes in Computer Science (2024)

Machine Learning for Cyber-Physical Systems

Yayımlandı Technologien für die intelligente Automation (2024)

Scalable Data Management for Future Hardware

Baskı/Yayın Bilgisi 2025

Special Topics in Information Technology

Yayımlandı SpringerBriefs in Applied Sciences and Technology; PoliMI SpringerBriefs (2025)

Tools and Algorithms for the Construction and Analysis of Systems

Yayımlandı Lecture Notes in Computer Science (2024)

Tools and Algorithms for the Construction and Analysis of Systems

Yayımlandı Lecture Notes in Computer Science (2024)