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 53  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Αλγόριθμοι Συλλογής Σκουπιδιών Για Αυτόματη Διαχείριση ΜνήμηςΚονόμης ΔημήτρηςΠαπασπύρου Νικόλαος
9-Sep-2014Ανάπτυξη Εργαλείου Για Την Επαλήθευση Δοκιμών Βασισμένων Σε ΠροδιαγραφέςΖωή ΠαρασκευοπούλουΠαπασπύρου Νικόλαος
21-Jan-2009Ανάπτυξη Εφαρμογής Διαχείρισης Μαθημάτων Με Χρήση Τεχνολογιών Java 2 Enterprise Edition (j2ee)Κουρης ΝικολαοςΠαπασπύρου Νικόλαος
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Αποδειξη Ορθοτητας Συλλεκτη Σκουπιδιων ΑντιγραφηςΑλεξανδρος - Ηροδοτος ΧαριτατοςΠαπασπύρου Νικόλαος
22-Jun-2009Αυξητική Λεκτική Και Συντακτική ΑνάλυσηΣπύρος ΧατζηχριστοδούλουΠαπασπύρου Νικόλαος
20-Jul-2005Γλώσσες Κβαντικού Προγραμματισμού Θεωρία Και ΥλοποίησηΜιχαήλ ΛαμπήςΠαπασπύρου Νικόλαος
11-Nov-2011Γραμμικοί Τύποι Και Μετασχηματισμός Περάσματος ΣυνεχειώνΠαναγιώτης ΘεοφιλόπουλοςΠαπασπύρου Νικόλαος
22-Jul-2009Δημιουργία Περιγραφών Simple Sequencing Σε Υψηλό ΕπίπεδοΧρήστος ΓίτσηςΠαπασπύρου Νικόλαος
13-Jan-2014Εξαντλητικότητα Ταιριάσματος Προτύπων Για Γενικευμένους Αλγεβρικούς Τύπους ΔεδομένωνΚαραχάλιας ΓεώργιοςΠαπασπύρου Νικόλαος
16-Jul-2018ΕΠΑΛΗΘΕΥΣΗ ΙΔΙΟΤΗΤΩΝ ΑΛΓΟΡΙΘΜΩΝ ΣΕ LIQUID HASKELLΠέτρου, ΓεώργιοςΠαπασπύρου Νικόλαος
22-Mar-2006Επέκταση Ενός Συστήματος Διαχείρισης Μάθησης Που Βασίζεται Στο Μαθησιακό Σχέδιο Με Μια Μηχανή ΑξιολόγησηςΜιχάλης ΔημητρίουΠαπασπύρου Νικόλαος