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 1 to 20 of 63  next >
Issue DateTitleAuthor(s)Supervisor
15-Jul-2013A Higher-order Extension Of Prolog With Polymorphic Type InferenceΕμμανουήλ ΚουκουτόςΠαπασπύρου Νικόλαος
29-Aug-2018Destructive Update με γραμμικούς τύπουςΜόσχος, Αλέξανδρος-ΠέτροςΠαπασπύρου Νικόλαος
8-Apr-2015Αλγόριθμοι Συλλογής Απορριμάτων Για Αυτόματη Διαχείριση ΜνήμηςΚονόμης ΔημήτρηςΠαπασπύρου Νικόλαος
8-Apr-2015Αλγόριθμοι Συλλογής Σκουπιδιών Για Αυτόματη Διαχείριση ΜνήμηςΚονόμης ΔημήτρηςΠαπασπύρου Νικόλαος
10-Feb-2020Ανάλυση Πρωτοκόλλων Ηλεκτρονικής Ψηφοφορίας με την ProVerifΧίου, ΧρυσόστομοςΠαπασπύρου Νικόλαος
9-Sep-2014Ανάπτυξη Εργαλείου Για Την Επαλήθευση Δοκιμών Βασισμένων Σε ΠροδιαγραφέςΖωή ΠαρασκευοπούλουΠαπασπύρου Νικόλαος
21-Jan-2009Ανάπτυξη Εφαρμογής Διαχείρισης Μαθημάτων Με Χρήση Τεχνολογιών Java 2 Enterprise Edition (j2ee)Κουρης ΝικολαοςΠαπασπύρου Νικόλαος
21-Oct-2019Ανάπτυξη εφαρμογής ιστού για τη διαχείριση των χρηστών του Εργαστηρίου Τεχνολογίας ΛογισμικούΚαζελίδης, ΓεώργιοςΠαπασπύρου Νικόλαος
27-Jul-2007Αναδρομικοί Τύποι Στον Προγραμματισμό Με ΑποδείξειςΧρήστος ΣτεργίουΠαπασπύρου Νικόλαος
20-Jul-2018Αναζητώντας παρεμποδίσεις k-απόγειων γραφημάτων για κλάσεις με φραγμένο βαθμόΠαληός, ΚοσμάςΠαπασπύρου Νικόλαος
21-Oct-2005Αναπτυξη Βιβλιοθηκης Θεωριων Για Την Αποδειξη Ιδιοτητων Πιστοποιημενου Κωδικα.Τσοκος ΘεοδωροςΠαπασπύρου Νικόλαος
25-Jul-2006Αναφορές Και Ανάθεση Στον Προγραμματισμό Με ΑποδείξειςΔημουλάς ΧρήστοςΠαπασπύρου Νικόλαος
23-Jul-2009Απόδειξη Ορθότητας Μίας Υλοποίησης Του Αλγορίθμου Των Ford-fulkerson Για Την Εύρεση Της Ελάχιστης Τομής Γράφου Χωρίς ΒάρηΜιχαήλ ΓιακκούπηςΠαπασπύρου Νικόλαος
28-Jan-2009Απόδειξη Ορθότητας Του Μετασχηματισμού Διακλαδιζόμενων Διαστάσεων Στο CoqΔημήτρης ΒεκρήςΠαπασπύρου Νικόλαος
28-Jan-2012Αποδειξη Ορθοτητας Συλλεκτη Σκουπιδιων ΑντιγραφηςΑλεξανδρος - Ηροδοτος ΧαριτατοςΠαπασπύρου Νικόλαος
7-May-2019Ασφάλεια σε Συστήματα Τύπων με Τύπους Τομής και ΆρνησηςΑρώνης, ΠαναγιώτηςΠαπασπύρου Νικόλαος
22-Jun-2009Αυξητική Λεκτική Και Συντακτική ΑνάλυσηΣπύρος ΧατζηχριστοδούλουΠαπασπύρου Νικόλαος
28-Aug-2019Βελτιστοποίηση κλήσεων αναδρομής ουράς σε συναρτησιακές γλώσσες με πολλαπλά είδη αποτίμησηςΜπουγουλιάς, ΠαναγιώτηςΠαπασπύρου Νικόλαος
20-Jul-2005Γλώσσες Κβαντικού Προγραμματισμού Θεωρία Και ΥλοποίησηΜιχαήλ ΛαμπήςΠαπασπύρου Νικόλαος
11-Nov-2011Γραμμικοί Τύποι Και Μετασχηματισμός Περάσματος ΣυνεχειώνΠαναγιώτης ΘεοφιλόπουλοςΠαπασπύρου Νικόλαος