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 23 to 42 of 77 < previous   next >
Issue DateTitleAuthor(s)Supervisor
20-Jul-2005Γλώσσες Κβαντικού Προγραμματισμού Θεωρία Και ΥλοποίησηΜιχαήλ ΛαμπήςΠαπασπύρου Νικόλαος
11-Nov-2011Γραμμικοί Τύποι Και Μετασχηματισμός Περάσματος ΣυνεχειώνΠαναγιώτης ΘεοφιλόπουλοςΠαπασπύρου Νικόλαος
22-Jul-2009Δημιουργία Περιγραφών Simple Sequencing Σε Υψηλό ΕπίπεδοΧρήστος ΓίτσηςΠαπασπύρου Νικόλαος
22-Jul-2019ΔΗΜΙΟΥΡΓΙΑ ΜΙΑΣ ΑΠΟΚΕΝΤΡΩΜΕΝΗΣ ΕΦΑΡΜΟΓΗΣ ΒΑΣΙΣΜΕΝΗΣ ΣΤΟ ETHEREUM BLOCKCHAINΑθανασόπουλος, Αλέξανδρος, MEΠαπασπύρου Νικόλαος
5-Nov-2019Έλεγχος Ορθότητας ΜεταγλωττιστώνΚαράκος, ΓεώργιοςΠαπασπύρου Νικόλαος
13-Jan-2014Εξαντλητικότητα Ταιριάσματος Προτύπων Για Γενικευμένους Αλγεβρικούς Τύπους ΔεδομένωνΚαραχάλιας ΓεώργιοςΠαπασπύρου Νικόλαος
26-Mar-2021Επαλήθευση Ιδιοτήτων Πολυπλοκότητας Δυαδικών Δέντρων Αναζήτησης σε Liquid HaskellΟικονόμου, ΧρυσούλαΠαπασπύρου Νικόλαος
27-Dec-2018Επαλήθευση κατά την εκτέλεση σε κατανεμημένα συστήματαΚαλιμάντζαλης-Λιανας, ΕυάγγελοςΠαπασπύρου Νικόλαος
13-Oct-2021Επαλήθευση πολυπλοκότητας αλγορίθμων σε LiquidHaskellΔιαμαντάκης, ΠαναγιώτηςΠαπασπύρου Νικόλαος
16-Jul-2018ΕΠΑΛΗΘΕΥΣΗ ΙΔΙΟΤΗΤΩΝ ΑΛΓΟΡΙΘΜΩΝ ΣΕ LIQUID HASKELLΠέτρου, ΓεώργιοςΠαπασπύρου Νικόλαος
22-Mar-2006Επέκταση Ενός Συστήματος Διαχείρισης Μάθησης Που Βασίζεται Στο Μαθησιακό Σχέδιο Με Μια Μηχανή ΑξιολόγησηςΜιχάλης ΔημητρίουΠαπασπύρου Νικόλαος
26-Nov-2020Εφαρμογή Μηχανικής Μάθησης για την Πρόβλεψη Επιτάχυνσης Μετασχηματισμών σε ΜεταγλωττιστέςΠλάκας, ΙωάννηςΠαπασπύρου Νικόλαος
11-Jul-2005Θέματα Ασφάλειας Στις Γλώσσες Προγραμματισμού: Βιομηχανική Και Ακαδημαϊκή ΠροσεγγισήΒαρδουλάκης ΔημήτρηςΠαπασπύρου Νικόλαος
11-Jul-2014Κβαντικοί Υπολογισμοί Και Κβαντικός ΠρογραμματισμόςΒρεττός Ε. ΜουλόςΠαπασπύρου Νικόλαος
3-Jul-2020Μελέτη και βελτίωση της επίδοσης του συντακτικού αναλυτή PackratΜαυρογεώργης, ΝικόλαοςΠαπασπύρου Νικόλαος
20-Jul-2017Μελέτη Και Κατασκευή Μοντέλων Για Πρόβλεψη Του Ρυθμού Εγκατάλειψης Σε Πρόγραμμα ΑποταμιεύσεωνΠαναγιώτης ΓεωργακόπουλοςΠαπασπύρου Νικόλαος
19-Dec-2006Μερική Αποτίμηση Και Εφαρμογή Στην Κατασκευή ΜεταγλωττιστώνΠροκοπίου ΠαναγιώτηςΠαπασπύρου Νικόλαος
26-Mar-2019Μεταγλώττιση αμοιβαία αναδρομικών τύπων σε μία συναρτησιακή γλώσσα έξυπνων συμβολαίων στο blockchainGkoumas, VasilisΠαπασπύρου Νικόλαος
31-Oct-2005Μεταγλώττιση Αυτομεταβαλλόμενου Κώδικα Υψηλού ΕπιπέδουΟρέστης ΑλεβίζοςΠαπασπύρου Νικόλαος
6-Oct-2020Μεταγλώττιση σε WebAssembly ως ΥπηρεσίαΓαδ, ΝικόλαοςΠαπασπύρου Νικόλαος