Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
S
tartseite
A
nmelden
WiSe 2020/21
/
Sitemap
Studentisches Leben
Veranstaltungen
Hochschulstruktur
Räume und Gebäude
Personen
Sie sind hier:
Startseite
Model Checking: Techniques and Applications - Einzelansicht
Zurück
Funktionen:
Seiteninhalt:
Grunddaten
Zugeordnete Person
Studiengänge
Hochschulstruktur
Strukturbaum
Grunddaten
Veranstaltungsart
Proseminar
Langtext
Veranstaltungsnummer
127184
Kurztext
Semester
WiSe 2020/21
SWS
Erwartete Teilnehmer/-innen
Max. Teilnehmer/-innen
Turnus
Veranstaltungsanmeldung
Keine Veranstaltungsbelegung im LSF
Credits
Weitere Links
https://seminars.cs.uni-saarland.de/proseminars2021
Zugeordnete Person
Zugeordnete Person
Zuständigkeit
Jacobs, Swen , Dr.
Studiengänge
Abschluss
Studiengang
Semester
Prüfungsversion
Kommentar
LP
BP
ECTS
Bachelor (KB)
Medieninformatik
-
20201
5
5
Bachelor (KB)
Mathematik und Informatik
-
20201
5
5
Bachelor (KB)
Informatik
-
20201
5
5
Bachelor (KB)
Mathematik und Informatik
-
20161
5
5
Bachelor (KB)
Cybersicherheit
-
20141
5
5
Bachelor (KB)
CuK Eing. Sys.
-
20131
5
5
Bachelor (KB)
Medieninformatik
-
20131
5
5
Bachelor (KB)
Eingebettete Systeme
-
20161
5
5
Bachelor (KB)
Informatik
-
20151
5
5
Bachelor (KB)
Cybersicherheit
-
20201
5
5
Zuordnung zu Einrichtungen
Informatik
Strukturbaum
Die Veranstaltung wurde
22
mal im Vorlesungsverzeichnis WiSe 2020/21 gefunden:
Vorlesungsverzeichnis
Bachelor (inkl. Optionalbereich)
Medieninformatik
Bachelor, StO 2013
Pflichtbereich aus dem Fachbereich Informatik
Proseminare
- - - 1
Bachelor, StO 2020
Proseminare
- - - 2
Computer- und Kommunikationstechnik (KB)
Computer- und Kommunikationstechnik (PO 2013)
Pflichtbereich für die Vertiefung "Elektro- und Informationstechnik"
Proseminare der Informatik
- - - 3
Pflichtbereich für die Vertiefung "Eingebettete Systerme"
Proseminare der Informatik
- - - 4
Eingebettete Systeme
Pflichtbereich
Proseminare
- - - 5
Informatik (KB)
Bachelor, StO 2015
Proseminare
- - - 6
Bachelor, StO 2020
Proseminare
- - - 7
Cybersicherheit (KB)
Bachelor, StO 2020
Proseminare
- - - 8
Bachelor, StO 2016
Pflichtbereich
Proseminare
- - - 9
Mathematik und Informatik
Proseminare der Informatik
- - - 10
MI Fakultät für Mathematik und Informatik
Informatik
Studiengang Medieninformatik
Bachelor, StO 2013
Pflichtbereich aus dem Fachbereich Informatik
Proseminare
- - - 11
Bachelor, StO 2020
Proseminare
- - - 12
Studiengang Computer- und Kommunikationstechnik
Bachelor Computer- und Kommunikationstechn (PO 2013)
Pflichtbereich für die Vertiefung "Eingebettete Systeme"
Proseminare der Informatik
- - - 13
Pflichtbereich für die Vertiefung "Elektro- und Informationstechnik"
Proseminare der Informatik
- - - 14
Studiengänge Cybersicherheit / Entrepreneurial Cybersecurity
Bachelor Cybersicherheit, StO 2016
Pflichtbereich
Proseminare
- - - 15
Bachelor Cybersicherheit, StO 2020
Proseminare
- - - 16
Studiengang Eingebettete Systeme/Embedded Systems
Bachelor Eingebettete Systeme
Pflichtbereich
Proseminare
- - - 17
Studiengang Informatik
Bachelor, StO 2015
Proseminare
- - - 18
Bachelor, StO 2020
Proseminare
- - - 19
Mathematik
Studiengang Bachelor Mathematik und Informatik
Proseminare der Informatik
- - - 20
NT Naturwissenschaftlich-Technische Fakultät
Systems Engineering
Bachelor Studiengang Computer- und Kommunikationstechn (PO 2013)
Pflichtbereich für die Vertiefung "Eingebettete Systeme"
Proseminare der Informatik
- - - 21
Pflichtbereich für die Vertiefung "Elektro- und Informationstechnik"
Proseminare der Informatik
- - - 22
Impressum
Service & Support
Bei Fragen, Fehlermeldungen oder Verbesserungsvorschlägen
nutzen Sie bitte unsere
zentrale Service-Kontaktestelle
.