IT und Informatik

Informatik Leveraging Applications of Formal Methods, Verification, and Validation

Informatik Side Effects in Steering Fragments

Informatik Artificial Neural Networks and Machine Learning - ICANN 2020

Informatik Wunderstoff Graphen

Informatik Requirements-Engineering und -Management

Informatik XAMPP

Informatik Numerical Computation of the Sign of the Determinant

Informatik Intelligent Information Agents

Informatik Post-Market Surveillance for Radiation Therapy Software

Informatik Formal Grammar

Informatik Konsistenz von Software-Modellen

Informatik UNIVAC

Informatik Geo-Informatics in Resource Management and Sustainable Ecosystem

Informatik Cause Effect Pairs in Machine Learning

Informatik Merkmalslistenbasierte Kreuzkorrelationsmethoden

Informatik Ethnic Cleansing (Video Game)

Informatik Bioinformatics Research and Applications

Informatik Computing and Combinatorics

Informatik Desktop CYBER

Informatik The Correctness-by-Construction Approach to Programming