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 15 to 34 of 78 < previous   next >
Issue DateTitleAuthor(s)Supervisor
23-Jul-2009Απόδειξη Ορθότητας Μίας Υλοποίησης Του Αλγορίθμου Των Ford-fulkerson Για Την Εύρεση Της Ελάχιστης Τομής Γράφου Χωρίς ΒάρηΜιχαήλ ΓιακκούπηςΠαπασπύρου Νικόλαος
28-Jan-2009Απόδειξη Ορθότητας Του Μετασχηματισμού Διακλαδιζόμενων Διαστάσεων Στο CoqΔημήτρης ΒεκρήςΠαπασπύρου Νικόλαος
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Επέκταση Ενός Συστήματος Διαχείρισης Μάθησης Που Βασίζεται Στο Μαθησιακό Σχέδιο Με Μια Μηχανή ΑξιολόγησηςΜιχάλης ΔημητρίουΠαπασπύρου Νικόλαος
Showing results 15 to 34 of 78 < previous   next >