The AI Act and The Agile Safety Plan

Bằng Myklebust, Thor, Stålhane, Tor, Vatn, Dorthea Mathilde Kristin
Xuất bản năm SpringerBriefs in Computer Science (2025)

AI, Data, and Digitalization

Xuất bản năm Communications in Computer and Information Science (2024)

Automated Reasoning

Xuất bản năm Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2024)

Automated Reasoning

Xuất bản năm Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2024)

Biological Computing

Bằng Xu, Jin
Được phát hành 2025

Computer Aided Verification

Xuất bản năm Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Computer Aided Verification

Xuất bản năm Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Data Parallel C++

Bằng Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin
Được phát hành 2021

Formal Methods

Xuất bản năm Lecture Notes in Computer Science (2025)

Formal Methods

Xuất bản năm Lecture Notes in Computer Science (2025)

Fundamental Approaches to Software Engineering

Xuất bản năm Lecture Notes in Computer Science (2024)

Machine Learning for Cyber-Physical Systems

Xuất bản năm Technologien für die intelligente Automation (2024)

Principle of Architecture, Protocol, and Algorithms for CoG-MIN

Bằng Li, Hui, Bai, He
Được phát hành 2025

Scalable Data Management for Future Hardware

Được phát hành 2025

Special Topics in Information Technology

Xuất bản năm SpringerBriefs in Applied Sciences and Technology; PoliMI SpringerBriefs (2025)

Tools and Algorithms for the Construction and Analysis of Systems

Xuất bản năm Lecture Notes in Computer Science (2024)

Tools and Algorithms for the Construction and Analysis of Systems

Xuất bản năm Lecture Notes in Computer Science (2024)