Sprachmenü
en
Suche
Intern
Hauptnavigation
Personen
Professoren
Prof. Dr. Uwe M. Borghoff
Prof. Dr. Wolfgang Hommel
Prof. Dr. Michael Koch
Prof. Dr.-Ing. Mark Minas
Professoren i. R.
Prof. em. Dr. Gunther Schmidt
apl. Prof. Dr. Lothar Schmitz
Wissenschaftliche Mitarbeiter
Johann Altgenug
Mandy Balthasar
Julian Fietkau
Alexander Frank
Buket Garthoff
Christina Glückler
Michael Grabatin
Cem Gündogan
Kim Mönch
Florian Ott
Daniela Pöhn
Peter Rödig
Lothar Schmitz
Jannis Schopp
Mario Silaci
Michael Steinke
Lars Stiemert
Laura Stojko
Peter Weinert
Sekretariat
Christina Bereuter
Administratoren
Franz Schmalhofer
Ehemalige Institutsmitglieder
Forschung
Veröffentlichungen INF2
Professur für Informationsmanagement
datArena
Langzeitarchivierung
Professur für IT-Sicherheit von Software und Daten
Design, Implementierung und Betrieb sicherer vernetzter Anwendungen
Professur für Mensch-Computer-Interaktion
Professur für Programmiersysteme
DiaGen
Grappa
Ausgelaufene und sonstige Projekte
CDET - Das Consistent Document Engineering Toolkit
GROOM - GRundlagen Objekt-Orientierter Programmierung
GXL - Graph eXchange Language
HOPS - The Higher Object Programming System
JACCIE - Java-basierte Compiler-Compiler
mediaTUM - Medienserver der TU Bibliothek in München
RelMiCS - Relational Methods in Computer Science
RALF - ein Beweis-Assistent
PROGRES - Graph rewriting System
SIC - Smalltalk-basierter Interaktiver Compiler-Compiler
TARSKI - Theory and Applications of Relational Structures as Knowledge Instruments
TituRel - eine relationale Referenzsprache mit Interpreter
WebPoint - Ein Framework zur Erstellung von webbasierten Verkaufsanwendungen
Lehre
Frühjahrstrimester 2024
Abschlussarbeiten
Frühere Lehrveranstaltungen
Alte Klausuraufgaben
Universität der Bundeswehr München
Breadcrumbs
Startseite
Personen
Professoren
Mark Minas
files
mip.pdf
mip.pdf
— 928.7 KB
Zum Seitenanfang springen
mip.pdf
— 928.7 KB
mip.pdf
— 928.7 KB