Suche - BMSD - TU Dortmund

Suche
Personensuche

1913 Ergebnisse

1. Computer Science
2. Studium
3. Studiengänge
4. Master Informatik
5. Fachliche Schwerpunkte
Logics, Information and Knowledge

automatisierten Umgangs mit Logiken werden ebenso vermittelt wie die Rolle der Logik in der Software-Erstellung. Abgerundet wird der Schwerpunkt durch auf automatischem Lernen basierende Methoden zum au [...] Programmieren Logik und Komplexität Logisch-algebraischer Systementwurf Logische Methoden des Software Engineering Probabilistische Graphische Modelle Spracherkennung Seminare und Studienarbeit Die …
1. HyLeC
2. Veranstaltung: 19.5.2025
Podcast – Easy Start

vertraut machen und die wichtigsten Handgriffe kennenlernen. Dafür wird die benötigte Hard- und Software zur Verfügung gestellt. Dich erwarten kleine Inputs sowie Übungsmaterialien zum direkten Austesten [...] erreicht wird. Onlineteilnehmende benötigen ein Mikrofon, außerdem wird in dem Workshop mit der Software Audacity gearbeitet. Es wird empfholen diese im Vorfeld bereits zu installieren. https://www.au …
1. SSE
2. Teaching
Wintersemester 2021/2022

Wintersemester 2021/2022 Webtechnologien 1 Fachprojekt: Qualitätsmetriken für Software Bibliotheken Type Systems for Correctness and Security Seminar: Replizierbarkeit von Forschungsartefakten …
1. Fakultät Statistik
2. Forschung
3. Abgeschlossene Projekte
4. SFB 823
Dataset Projects

Dataset Projects We provide the SFB-datasets and software using a Sciebo-folder (last updated 2022-02-09). …
1. EC
2. Meldung: 29.4.2025
Deine Chance beim Frauenhofer ISST

aktuellen Themen für Abschlussarbeiten: Flyer Kontakt: Felix Franke Recruiting Fraunhofer-Institut für Software- und Systemtechnik ISST Speicherstraße 6 44147 Dortmund E-Mail …
1. DAES
2. Meldung: 19.7.2024
Christian Hakert successfully defended his Dissertation.

Christian Hakert successfully defended his Dissertation - Software Exploitation of Traditional Interfaces for Modern Technologies - with Distinction (summa cum laude). …
1. SEAL
2. Lehre
3. Lehrveranstaltungen
Sommersemester 2025

Lösungsansätze für das Expression Problem Lehrveranstaltungen Aktuelle Themen im logikbasierten Software Engineering Funktionale Programmierung Modellierung Nebenläufiger Prozesse …
1. MSNat - Fakultät Statistik - TU Dortmund
Forschung

Forschung © Jürgen Huhn/TU Dortmund Forschungsprojekte © Pixabay Software © Nikolas Golsch/TU Dortmund Dissertationen © Oliver Schaper/TU Dortmund Workshops und Konferenzen …
1. Arbeitsgruppe Systemsoftware
2. Lehre
Lehrveranstaltungen

Eine Liste aller Projektgruppen ist auf der entsprechenden Unterseite zu finden. Übersicht Systemsoftwaretechnik …
1. Arbeitsgruppe Systemsoftware
Lehre an der Arbeitsgruppe Systemsoftware

Lehrveranstaltungen Aktuelle Veranstaltungen Systemsoftwaretechnik Archiv Vergangene Veranstaltungen und Klausuren Klausuren Wintersemester 2024/2025 Sommersemester 2024 Wintersemester 2023/2024 Sommersemester …