Abschlussarbeiten (Diplom- / Master- /Bachelor-)

Aktuell angebotene Abschlussarbeit:

• Masterarbeit: Automatische Beweise für Umformungsregeln der Präferenzalgebra

Wir bieten sowohl theoretische als auch praktische Themen für Abschlussarbeiten in den folgenden Bereichen an:

• Algebraische Systembeschreibung und Systementwicklung
• Automatische Theorembeweiser
• Featureorienterte Software und System Entwicklung
• Graphikprogrammierung
• Hybride und reaktive Systeme
• Modale und temporale Logiken
• Modellverfeinerung
• Multi-Agenten Systeme
• Wissenslogik
• Zeigerstrukturen (im Besonderen Separationslogik)

Sollten Sie Ihre Abschlussarbeit, egal ob Bachelor-, Master- oder Diplomarbeit, in einen dieser Gebiete anfertigen wollen, schauen Sie bei uns vorbei.

Sie haben leider nicht gefunden, was Sie suchten? Kommen Sie einfach mit Ihrer Idee zu uns.

Laufende/abgeschlossene Abschlussabeiten