Lehrveranstaltungen

Informationssystem der Otto-Friedrich-Universität Bamberg

© Config eG

Sammlung/Stundenplan

Home | Anmelden | Kontakt | Hilfe

Suche:

Semester:



	Darstellung
		kurz ausführlich Druckansicht


		Stundenplan



	Extras
		alle markieren alle Markierungen löschen Ausgabe als XML



	Außerdem im UnivIS
		Lehrveranstaltungen einzelner Einrichtungen

Vorlesungsverzeichnis >> Fakultät Wirtschaftsinformatik und Angewandte Informatik >> Bachelor-/Master-/Diplomstudiengänge Angewandte Informatik, Computing in the Humanities, International Information Systems Management,Wirtschaftsinformatik, Wirtschaftspädagogik mit Schwerpunkt Wirtschaftsinformatik >> Lehrveranstaltungen für Master >> Informatik >>

Grundlagen der Informatik

	GdI Seminar & Advanced Reading Club: "Formalised Logic and the Interactive Proof Checker Coq" S; Di, 16:00 - 18:00, F21/061				Mendler, M. Sticht, M.
	GdI-CaC-M: Theorie verteilter Systeme V/Ü; 4 SWS; Fr, 8:30 - 10:00, FMA/119; Fr, 12:00 - 14:00, F21/381; Einzeltermin am 25.6.2012, 12:00 - 14:00, F21/380; Einzeltermin am 25.6.2012, 14:00 - 16:00, KÄ7/01/112; Start of Classes: Friday, 27.4.2012, 12:15 hrs in F381				Mendler, M.



	UnivIS ist ein Produkt der Config eG, Buckenhof