Βαθμίδα
Ομότιμος Καθηγητής
Ίδρυμα
Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Ε.Μ.Π.
Προσωπική ιστοσελίδα
Όνομα | Έτος | Εξάμηνο Sort ascending |
---|---|---|
Ειδικά Θέματα Αλγορίθμων | 2016-2017 | Εαρινό |
Μοντέλα υπολογισμού, Τυπικές Γλώσσες και Αυτόματα | 2022-2023 | Εαρινό |
Μοντέλα υπολογισμού, Τυπικές Γλώσσες και Αυτόματα | 2018-2019 | Εαρινό |
Ειδικά Θέματα Λογικής: Δυναμική Επιστημική Λογική | 2020-2021 | Εαρινό |
Ειδικά Θέματα Λογικής | 2016-2017 | Εαρινό |
Ειδικά Θέματα Λογικής: Περιγραφική Πολυπλοκότητα | 2022-2023 | Εαρινό |
Τροπική Λογική | 2018-2019 | Εαρινό |
Μοντέλα υπολογισμού, Τυπικές Γλώσσες και Αυτόματα | 2020-2021 | Εαρινό |
Ειδικά Θέματα Αλγορίθμων | 2018-2019 | Εαρινό |
Ειδικά Θέματα Αλγορίθμων | 2017-2018 | Εαρινό |