Suchergebnisse - Baier, Christel
Christel Baier
mini|Christel Baier, 2004
Christel Baier (* 26. September 1965 in Karlsruhe) ist eine deutsche theoretische Informatikerin. Sie ist Inhaberin der Professur für algebraische und logische Grundlagen der Informatik an der TU Dresden.
Veröffentlicht in Wikipedia
-
1
-
2
-
3Theoretische Informatik: eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 BeispielenVeröffentlicht 2003Online lesen
Elektronisch E-Book -
4
-
5
-
6Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer ScienceVeröffentlicht 2022Elektronisch E-Book
-
7Theoretische Informatik: Einführung in Berechenbarkeit, Komplexität und formale SprachenVeröffentlicht 2002Elektronisch E-Book
-
8
-
9Formal techniques for distributed objects, components, and systems: 38th IFIP WG 6.1 International Conference, FORTE 2018 : held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedingsVeröffentlicht 2018Weitere beteiligte Personen: “… Baier, Christel …”
Online lesen
Elektronisch Tagungsbericht E-Book -
10Foundations of software science and computation structures: 21st International Conference, FOSSACS 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018 : proceedingsVeröffentlicht 2018Weitere beteiligte Personen: “… Baier, Christel …”
Online lesen (frei zugänglich)
Elektronisch Tagungsbericht E-Book -
1129th EACSL Annual Conference on Computer Science Logic: CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)Veröffentlicht 2021Weitere beteiligte Personen: “… Baier, Christel …”
Elektronisch Tagungsbericht E-Book -
1246th International Colloquium on Automata, Languages, and Programming: ICALP 2019, July 9–12, 2019, Patras, GreeceVeröffentlicht 2019Weitere beteiligte Personen: “… Baier, Christel …”
Online lesen (frei zugänglich)
Elektronisch Tagungsbericht E-Book -
13Foundations of software science and computation structures: 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedingsVeröffentlicht 2018Weitere beteiligte Personen: “… Baier, Christel …”
Tagungsbericht Buch -
14Formal techniques for distributed objects, components, and systems: 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedingsVeröffentlicht 2018Weitere beteiligte Personen: “… Baier, Christel …”
Tagungsbericht Buch