1. Artemis

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 17 to 36 of 78 < previous   next >
Issue DateTitleAuthor(s)Supervisor
28-Jan-2012Αποδειξη Ορθοτητας Συλλεκτη Σκουπιδιων ΑντιγραφηςΑλεξανδρος - Ηροδοτος ΧαριτατοςΠαπασπύρου Νικόλαος
7-May-2019Ασφάλεια σε Συστήματα Τύπων με Τύπους Τομής και ΆρνησηςΑρώνης, ΠαναγιώτηςΠαπασπύρου Νικόλαος
22-Jun-2009Αυξητική Λεκτική Και Συντακτική ΑνάλυσηΣπύρος ΧατζηχριστοδούλουΠαπασπύρου Νικόλαος
8-Feb-2021Αυτόματη παραγωγή σεναρίων ελέγχου για προγραμματιστικές διεπαφές τύπου REST (RESTful APIs)Σταθόπουλος, ΠαύλοςΠαπασπύρου Νικόλαος
19-Oct-2023Αυτόματη σύνθεση προγραμμάτων με χρήση τεχνητής νοημοσύνηςΚυτέας, ΑπόστολοςΠαπασπύρου Νικόλαος
14-Jul-2021Αυτόματος Έλεγχος Λεκτικών ΑναλυτώνΙωακειμίδη, ΑθηνάΠαπασπύρου Νικόλαος
28-Aug-2019Βελτιστοποίηση κλήσεων αναδρομής ουράς σε συναρτησιακές γλώσσες με πολλαπλά είδη αποτίμησηςΜπουγουλιάς, ΠαναγιώτηςΠαπασπύρου Νικόλαος
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Θέματα Ασφάλειας Στις Γλώσσες Προγραμματισμού: Βιομηχανική Και Ακαδημαϊκή ΠροσεγγισήΒαρδουλάκης ΔημήτρηςΠαπασπύρου Νικόλαος
Showing results 17 to 36 of 78 < previous   next >