Inhalt des Dokuments
zur Navigation
Begutachtete Bachelorarbeiten
-
Eine Repräsentation von Ausdrücken, Differential- und Differenzgleichungen in MATLAB/Simulink
To, Minh Triet
-
Modellgetriebene Entwicklung einer selbstadaptiven Web-Anwendung mit Timed CSP und CSP++
Pahlke, Tony
-
Implementierung eines Checkers zum Nachweis der Korrektheit von Refactorings auf diskreten und kontinuierlichen Simulink Modellen
Basler, Johannes Fabian
-
Optimistische Replikation mit Java Script
Witte, Leonard
-
Implementierung einer operationalen Semantik für MATLAB Simulink
Wortmann, Johannes
Begutachtete Masterarbeiten
-
Developing security guidelines for deploying database systems in Afghanistan by example of the Ministry of Higher Education
Azizi, Mohammad Fahim
-
Discussion of Challenges and Possible Solutions in Pastho Natural Language Processing
Waseeb, Shakirullah
-
GIS for Disaster Management. Response Phase in Afghanistan, Herat
Barakzay, Morsal
Begutachtete Diplomarbeiten
-
Width Parameters for Splitting DAGs
Weberstädt, Grischa