Advances in Cultural Tourism Research

Gepubliceerd in Advances in Digital and Cultural Tourism Management (2025)

Computer Aided Verification

Gepubliceerd in Lecture Notes in Computer Science (2024)

Computer Aided Verification

Gepubliceerd in Lecture Notes in Computer Science (2024)

Computer Aided Verification

Gepubliceerd in Lecture Notes in Computer Science (2024)

First Working Conference on Artificial Intelligence Development for a Resilient and Sustainable Tomorrow

Gepubliceerd in Informatik aktuell (2024)

Foundations of Software Science and Computation Structures

Gepubliceerd in Lecture Notes in Computer Science (2023)

Fundamental Approaches to Software Engineering

Gepubliceerd in Lecture Notes in Computer Science (2023)

Novel Approaches to the Analysis of Family Data in Genetic Epidemiology

door Robert C. Elston, Nathan Morris, Jill S. Barnholtz-Sloan, Xiangqing Sun
Gepubliceerd in Frontiers Research Topics (2016)

Proceedings of the 2nd International Conference on Innovative Solutions in Hydropower Engineering and Civil Engineering

Gepubliceerd in Lecture Notes in Civil Engineering (2023)

Programming Languages and Systems

Gepubliceerd in Lecture Notes in Computer Science (2023)

Tools and Algorithms for the Construction and Analysis of Systems

Gepubliceerd in Lecture Notes in Computer Science (2023)

Tools and Algorithms for the Construction and Analysis of Systems

Gepubliceerd in Lecture Notes in Computer Science (2023)

xxAI - Beyond Explainable AI

Gepubliceerd in Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2022)