Νικόλαος Παπασπύρου
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
-
Επίκουρος Καθηγητής,
Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΕΜΠ, NTUA
| Website: | http://www.softlab.ntua.gr/~nickie/ |
|---|
courses given
| Course | Semester | |
|---|---|---|
| Π03Γ. | Συστήματα τύπων των γλωσσών προγραμματισμού | 2016-2017, χειμερινό εξάμηνο |
| Π03Γ. | Συστήματα τύπων των γλωσσών προγραμματισμού | 2014-2015, χειμερινό εξάμηνο |
| Π03Γ. | Συστήματα τύπων των γλωσσών προγραμματισμού | 2013-2014, χειμερινό εξάμηνο |
| Π03Γ. | Συστήματα τύπων των γλωσσών προγραμματισμού | 2012-2013, χειμερινό εξάμηνο |
| Π03Γ. | Συστήματα τύπων των γλωσσών προγραμματισμού | 2009-2010, χειμερινό εξάμηνο |
| Π03Γ. | Συστήματα τύπων των γλωσσών προγραμματισμού | 2008-2009, χειμερινό εξάμηνο |
| Π03Γ. | Συστήματα τύπων των γλωσσών προγραμματισμού | 2007-2008, χειμερινό εξάμηνο |
| Π03Γ. | Συστήματα τύπων των γλωσσών προγραμματισμού | 2006-2007, χειμερινό εξάμηνο |
| Π03Γ. | Συστήματα τύπων των γλωσσών προγραμματισμού | 2005-2006, χειμερινό εξάμηνο |
| Π03Γ. | Συστήματα τύπων των γλωσσών προγραμματισμού | 2004-2005, χειμερινό εξάμηνο |
| Π03Γ. | Συστήματα τύπων των γλωσσών προγραμματισμού | 2003-2004, εαρινό εξάμηνο |
| 11 courses. | ||
seminars given
| ημερομηνία | τίτλος | |
|---|---|---|
| 2004/06/04 | Programming with proofs: Type systems based on logic ... and other frightening stories .. | |
| 1 seminar. | ||