Lehrveranstaltungen

Informationssystem der Universität Kiel

© Config eG

Christine - Pax optima rerum

Sammlung/Stundenplan

Home | Kontakt | Hilfe

Suche:

Semester:

Lehr-
veranstaltungen

Personen/
Einrichtungen

Forschungs-
bericht

Publi-
kationen

Telefon &
E-Mail



	Darstellung
		kurz ausführlich Druckansicht


		Stundenplan



	Extras
		alle markieren alle Markierungen löschen Ausgabe als XML



	Außerdem im UnivIS
		Vorlesungsverzeichnis


		Veranstaltungskalender

Organisation >> Technische Fakultät >> Institut für Informatik >> Arbeitsgruppen >>

Zuverlässige Systeme

	080278	Inf-AlgSeq: Algorithms on Sequences V; 2 SWS; ECTS: 4; Mi, 14:15 - 15:45, CAP4 - R.1306; vom 27.10.2014 bis zum 7.2.2015					Manea, F.
	080282	Übung zu: Algorithms on Sequences UE; 1 SWS; Do, 14:15 - 15:00, CAP4 - R.1306					Manea, F.
	080013	Inf-GSoZu: Grundlagen der Softwarezuverlässigkeit V; 4 SWS; ECTS: 8; Mo, Di, 14:15 - 15:45, CAP4 - R.1304 a; vom 27.10.2014 bis zum 7.2.2015					Nowotka, D.
	080014	Übung zu: Grundlagen der Softwarezuverlässigkeit UE; 2 SWS; Mo, 16:15 - 17:45, CAP4 - R.1304 a; vom 27.10.2014 bis zum 7.2.2015					Nowotka, D.
	080048	Inf-MS-Sem-FSV: Formale Softwareverifikation S; ECTS: 4; Einzeltermin am 30.1.2015, 8:00 - 18:00, CAP4 - R.1304 b					Nowotka, D.
	080050	Inf-Sem-FSV: Formale Softwareverifikation S; 2 SWS; ECTS: 4; Einzeltermin am 30.1.2015, 8:00 - 18:00, Raum n.V.; vom 27.10.2014 bis zum 7.2.2015					Nowotka, D.



	UnivIS ist ein Produkt der Config eG, Buckenhof