Stochastic transition systems: bisimulation, logic, and composition
- Datum
- 27.03.2018
- Zeit
- 15:15 - 16:15
- Sprecher
- M. Sc. Daniel Gburek
- Zugehörigkeit
- Institut für Theoretische Informatik, Algebraische und logische Grundlagen der Informatik
- Sprache
- en
- Hauptthema
- Informatik
- Andere Themen
- Informatik
Letztmalig verändert: 27.03.2018, 09:47:59
Veranstaltungsort
TUD Andreas-Pfitzmann-Bau (Informatik) (APB 3027)Nöthnitzer Straße4601069Dresden
- Homepage
- https://navigator.tu-dresden.de/etplan/apb/00
Veranstalter
TUD InformatikNöthnitzer Straße4601069Dresden
- Telefon
- +49 (0) 351 463-38465
- Fax
- +49 (0) 351 463-38221
- Homepage
- http://www.inf.tu-dresden.de
Scannen Sie diesen Code mit Ihrem Smartphone and bekommen Sie die Veranstaltung direkt in Ihren Kalender. Sollten Sie Probleme beim Scannen haben, vergrößern Sie den Code durch Klicken darauf.
Legende
- Ausgründung/Transfer
- Bauing., Architektur
- Biologie
- Chemie
- Elektro- u. Informationstechnik
- für Schüler:innen
- Gesellschaft, Philos., Erzieh.
- Informatik
- Jura
- Maschinenwesen
- Materialien
- Mathematik
- Medizin
- Physik
- Psychologie
- Sprache, Literatur und Kultur
- Umwelt
- Verkehr
- Weiterbildung
- Willkommen
- Wirtschaft