Jens Knoop
Institut für Computersprachen
Programmiersprachen und Übersetzer

Haben Sie Interesse an einem geförderten Auslandsstudium?

Informationen zu Fördermöglichkeiten finden Sie hier.

Bachelor-Lehrveranstaltungen

Modul "Studieneingangsgespräch"

• Studieneingangsgespräch, 195.039, UE 1.0, ECTS 0.2
         siehe auch TISS/195.039

Modul "Bachelorarbeit"

• Wissenschaftliches Arbeiten, 185.A15, SE 2.0, ECTS 3.0
         siehe auch TISS/185.A15

• Bachelorarbeit für Informatik und Wirtschaftsinformatik, 185.A17, PR 5.0, ECTS 10.0
         siehe auch TISS/185.A17

Modul "Praktikum Technische Informatik"

• Praktikum Technische Informatik, 185.A18, PR 1.0, ECTS 6.0
        siehe auch TISS/185.A18

Master- und Doktoratslehrveranstaltungen

Gastvorlesung

• Prof. Dr. Kokichi Futatsugi, Japan Advanced Institute of Science and Technology (JAIST), Nomi, Ishikawa, Japan:
  Introduction to Specification and Verification in CafeOBJ
  Blocklehrveranstaltung im SS 2012: 18./25.07.2012 - 01./08.08.2012.

Modul "Computersprachen und Programmierung"

• Fortgeschrittene funktionale Programmierung, 185.A05, VU 2.0, ECTS 3.0
        siehe auch TISS/185.A05

• Analyse und Verifikation, 185.276, VU 2.0, ECTS 3.0
         siehe auch TISS/185.276

Modul "Projekt aus Software Engineering & Internet Computing"

• Projekt aus Software Engineering & Internet Computing, 185.A20, PR 6.0, ECTS 12.0
        siehe auch TISS/185.A20

Modul "Projekt Medizinische Informatik"

• Projekt Medizinische Informatik, 185.A30, PR 4.0, ECTS 12.0
        siehe auch TISS/185.A30

Modul "Wahlmodul Embedded Systems Engineering"

• Embedded Systems Engineering Projektarbeit, 185.A31, PR 1.0, ECTS 6.0
        siehe auch TISS/185.A31

• Embedded Systems Engineering Scientific Project, 185.A32, PR 1.0, ECTS 6.0
        siehe auch TISS/185.A32

Modul "Programming Languages and Verification"

• Project in Computer Science 1, 185.A28, PR 4.0, ECTS 6.0
        siehe auch TISS/185.A28

• Project in Computer Science 2, 185.A29, PR 4.0, ECTS 6.0
        siehe auch TISS/185.A29

Allgemeine Basislehrveranstaltungen

• Seminar für DiplomandInnen, 185.198, SE 2.0, ECTS 3.0
        siehe auch TISS/185.198

Forschungsseminar

• Seminar für DissertantInnen, 185.A24 SE 2.0, ECTS 3.0
         siehe auch TISS/185.A24

Übersicht aller E185-Lehrveranstaltungen

Siehe TISS für eine Übersicht über alle aktuell vom Institut E185 angebotenen Lehrveranstaltungen.