Suche - BMSD - TU Dortmund

Suche
Personensuche

1974 Ergebnisse

1. Computer Science
2. Studium
3. Im Studium
4. POen, MHB, etc.
5. BSc_AngInf_MHB_Details
6. Modulhandbuch BSc AngInf
Modulhandbuch Archiv

Studierende mit Nebenfach Elektrotechnik PDF (84 KB) INF-BSc-115: Software-Technik (SWT) PDF (101 KB) INF-BSc-116: Software-Praktikum (SoPra) PDF (109 KB) INF-BSc-117: Betriebssysteme (BS) PDF (102 KB) [...] Systeme (RvS) PDF (102 KB) Wahlpflichtmodule Informatik Katalog "Konzepte für Software" INF-BSc-211: Softwarekonstruktion PDF (114 KB) INF-BSc-212: Übersetzerbau PDF (104 KB) INF-BSc-213: Funktionale [...] INF-BSc-103: Betriebssysteme, Rechnernetze und verteilte Systeme (BSRvS) PDF (107 KB) INF-BSc-108: Software-Entwicklung (SE) PDF (103 KB) INF-BSc-114: Funktionale Programmierung PDF (122 KB) INF-BSc-101: Rechn …
1. Computer Science
2. Studium
3. Im Studium
4. NF-AF
5. Dienstleistungsinformatik
MSc AngInf

INF-MSc-319: Logische Methoden des Software Engineering [b][c] INF-MSc-320: Modellbasierte Softwaretechniken für sichere Systeme [c] INF-MSc-325: Logische Methoden des Software Engineering 1 (LMSE1) [j] INF-MSc-326: [...] Module werden für dieses Modul anerkannt: INF-MSc-310: Software-Architekturen [c] INF-MSc-312: Komponenten- und Service-Orientierte Softwarekonstruktion [b][c] INF-MSc-313: Aspektorientierte Entwicklung komplexer [...] INF-MSc-326: Logische Methoden des Software Engineering 2 (LMSE2) [j] INF-MSc-401: Modellbildung, Simulation und Analyse [c] INF-MSc-402: Modellierung verteilter Algorithmen [g] INF-MSc-503: Datenvisualisierung …
1. ITMC
2. Meldung: 28.11.2023
Probleme in der Softwaretelefonie mit Jabber

Aktuell gibt es Probleme in der Softwaretelefonie (Cisco Jabber). Diese äußern sich in Form eines automatischem Logouts im Homeoffice (ohne VPN). Wir arbeiten mit dem Hersteller an einer Lösung. …
1. DAES
2. Teaching
3. Course
4. Others
REM (Deutsch)

und Ziele Das Modul beginnt mit einer vertieften Behandlung von Modellen für gemischte Hardware/Software-Systeme. Dabei wird ein besonderes Schwergewicht auf SystemC- und VHDL-Modelle gelegt. Für beide [...] zur Modellierung von Hardware in C++ benötigt werden. Damit ist eine einheitliche Modellierung von Software in einer Sprache möglich und die Notwendigkeit der Kopplung unterschiedlicher Simulatoren entfällt [...] Zugang zu "echten" FPGA-Boards. Anschließend werden Verfahren zur Synthese von gemischten Hardware/Software-Systemen vorgestellt. Die Theorie der Syntheseverfahren auf unterschiedlichen Ebenen (System-, …
1. LOGIC-IN
2. Personen
3. Professor:innen
Prof. Dr. Jean Christoph Jung

Informatik Prof. Dr. Jean Christoph Jung Lehre Abschlussarbeiten Publications Community Activities Software Tutorial …
1. STABI
Forschung und Publikationen

Forschung und Publikationen von Christine Müller Forschungsgebiete & Projekte Publikationen Software-Pakete Betreute Doktorarbeiten Forschung und Publikationen von Guido Knapp Publikationen …
1. RIM
Hard- und Software

Hard- und Software Übersicht zu allen Geräten und Programmen am Fachgebiet RIM. Bei Rückfragen kontaktieren Sie bitte die angegebenen Ansprechpartner. ArcGIS Pro ZEB-HORIZON …
1. ITMC
2. Meldung: 10.1.2024
Zoom updaten

Der Windowsclient für Zoom hat eine schlimme Softwareflexibilität. Bitte aktualisieren Sie Ihr Zoom. https://www.zoom.com/en/trust/security-bulletin/ZSB-24001/ …
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). …