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)