The AI Act and The Agile Safety Plan

nork Myklebust, Thor, Stålhane, Tor, Vatn, Dorthea Mathilde Kristin
Argitaratua izan da SpringerBriefs in Computer Science (2025)

AI, Data, and Digitalization

Argitaratua izan da Communications in Computer and Information Science (2024)

Automated Reasoning

Argitaratua izan da Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2024)

Automated Reasoning

Argitaratua izan da Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2024)

Biological Computing

nork Xu, Jin
Argitaratua 2025

Computer Aided Verification

Argitaratua izan da Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Computer Aided Verification

Argitaratua izan da Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Data Parallel C++

nork Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin
Argitaratua 2021

Formal Methods

Argitaratua izan da Lecture Notes in Computer Science (2025)

Formal Methods

Argitaratua izan da Lecture Notes in Computer Science (2025)

Fundamental Approaches to Software Engineering

Argitaratua izan da Lecture Notes in Computer Science (2024)

Machine Learning for Cyber-Physical Systems

Argitaratua izan da Technologien für die intelligente Automation (2024)

Scalable Data Management for Future Hardware

Argitaratua 2025

Special Topics in Information Technology

Argitaratua izan da SpringerBriefs in Applied Sciences and Technology; PoliMI SpringerBriefs (2025)

Tools and Algorithms for the Construction and Analysis of Systems

Argitaratua izan da Lecture Notes in Computer Science (2024)

Tools and Algorithms for the Construction and Analysis of Systems

Argitaratua izan da Lecture Notes in Computer Science (2024)