Artemis: Browsing Artemis

National Technical University of Athens

School of Electrical and Computer Engineering

Artemis is Live!

Welcome to our digital repository! The aim of Artemis is the systematic archiving and dissemination of the scientific work produced in the School of Electrical and Computer Engineering, National Technical University of Athens, Greece, using the technology of digital libraries.

Browsing by Supervisor Παπασπύρου Νικόλαος

Jump to: Α Β Γ Δ Ε Ζ Η Θ Ι Κ Λ Μ Ν Ξ Ο Π Ρ Σ Τ Υ Φ Χ Ψ Ω
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 61 to 77 of 77 < previous

Issue Date	Title	Author(s)	Supervisor
26-Jul-2006	Τεχνικές Συλλογής Σκουπιδιών Στη Διαχείριση Μνήμης	Ιωάννης Ζούλιας	*Παπασπύρου Νικόλαος*
1-Jul-2023	Το πρόβλημα της σύνθεσης προγραμμάτων	Τσιβρά, Αικατερίνη	*Παπασπύρου Νικόλαος*
9-Sep-2014	Τυπική Επαλήθευση Επιβολής Ακεραιότητας Ροής-ελέγχου Με Ετικέτες	Νικόλαος Γιανναράκης	*Παπασπύρου Νικόλαος*
31-Jan-2006	Τυποποίηση Διαδικασίας Ανάπτυξης Πολυμεσικών Εφαρμογών	Παναγιώτης Ν. Τσουγκριάνης	*Παπασπύρου Νικόλαος*
22-Jul-2009	Τυποποίηση Των Principia Metaphysica Σε Isabelle/hol	Κωνσταντίνος Πουλιάσης	*Παπασπύρου Νικόλαος*
2-Nov-2015	Υλοποίηση Βιβλιοθήκης Ημερομηνίας Και Ώρας Για Την Γλώσσα Προγραμματισμού Rust	Αλφρέδος Δαμκαλής	*Παπασπύρου Νικόλαος*
19-Jul-2005	Υλοποίηση Μεταγλωττιστή Για Μια Γλώσσα Αντικειμενοστρεφούς Προγραμματισμού	Αριστοφάνης Τζιάσιος	*Παπασπύρου Νικόλαος*
26-Oct-2005	Υλοποίηση Μεταγλωττιστή Γλώσσας Προστακτικού Προγραμματισμού Με Στοιχεία Ταυτοχρονισμού	Χρήστος Γραββάνης	*Παπασπύρου Νικόλαος*
22-Oct-2004	Υλοποίηση Μιας Γλώσσας Τύπων Με Εφαρμογές Στην Πιστοποίηση Εκτελέσιμου Κώδικα	Μιχάλης Παπακυριάκου	*Παπασπύρου Νικόλαος*
22-Oct-2004	Υλοποίηση Μιας Γλώσσας Τύπων Με Εφαρμογές Στην Πιστοποίηση Εκτελέσιμου Κώδικα	Μιχάλης Παπακυριάκου	*Παπασπύρου Νικόλαος*
25-Oct-2004	Υλοποίηση Μιας Γλώσσας Τύπων Με Εφαρμογές Στην Πιστοποίηση Εκτελέσιμου Κώδικα	Μιχάλης Παπακυριάκου	*Παπασπύρου Νικόλαος*
7-Dec-2005	Υλοποίηση Μιας Γλώσσας Χαμηλού Επιπέδου Με Υποστήριξη Αυτομεταβαλλόμενου Κώδικα	Φουρτούνης Γιώργος	*Παπασπύρου Νικόλαος*
28-Nov-2012	Υλοποίηση Μιας Μεθοδολογίας Αναλλοίωτων Βασισμένη Σε Backpointers	Ελευθέριος Κρητικός	*Παπασπύρου Νικόλαος*
5-Oct-2004	Υλοποίηση Συναρτησιακών Γλωσσών Προγραμματισμού Με Το Μετασχηματισμό Διακλαδιζόμενων Διαστάσεων	Γρίβας Αθανάσιος	*Παπασπύρου Νικόλαος*
19-Jul-2011	Υλοποίηση Συστήματος Τύπων Για Την Αποφυγή Αδιεξόδων Σε C/pthreads	Παναγιώτης Βεκρής	*Παπασπύρου Νικόλαος*
12-Oct-2015	Υλοποίηση Της Γλώσσας Προγραμματισμού Ασυρμάτων Πρωτοκόλλων Ziria Ως Dsl Ενσωματωμένη Στη Haskell	Βλάσση-πανδή Ειρήνη	*Παπασπύρου Νικόλαος*
11-Jul-2015	Υλοποιηση Συστηματος Εκτελεσης Εφαρμογων Σε Υπολογιστικο Νεφος	Κωνσταντίνος Ροντογιάννης	*Παπασπύρου Νικόλαος*

Showing results 61 to 77 of 77 < previous