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 35 to 54 of 77 < previous   next >
Issue DateTitleAuthor(s)Supervisor
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 ως ΥπηρεσίαΓαδ, ΝικόλαοςΠαπασπύρου Νικόλαος
20-Sep-2019Μετασχηματισμός Συναρτήσεων Haskell σε Μοναδιαία ΜορφήΤερζιδάκη, ΑλεξάνδραΠαπασπύρου Νικόλαος
13-Dec-2007Μεταφραση Απο Τη Γλωσσα Κβαντικου Προγραμματισμου Nqml Σε Κβαντικα ΚυκλωματαΙωάννης ΡουσελάκηςΠαπασπύρου Νικόλαος
21-Jul-2009Μηχανική Επαλήθευση Προστακτικών ΠρογραμμάτωνΒασίλειος ΠαπαβασιλείουΠαπασπύρου Νικόλαος
28-Jul-2022Μηχανική κατασκευή συνεπαγωγικών (coinductive) αποδείξεων στη Liquid HaskellΜαστόρου, ΛυκούργοςΠαπασπύρου Νικόλαος
16-Jul-2014Ο Νοηματικός Μετασχηματισμός Ως Τεχνική Υλοποίησης Συναρτησιακών Γλωσσών ΠρογραμματισμούΓεώργιος ΦουρτούνηςΠαπασπύρου Νικόλαος
30-Dec-2021Ομοτοπική Θεωρία Τύπων και η Θεμελιώδης Ομάδα ενός Bouquet από ΚύκλουςΜαγκαφώσης, ΓιώργοςΠαπασπύρου Νικόλαος
19-Oct-2004Πλαίσιο Εργασίας Ανάπτυξης Κατανεμημένων Ετερογενών Συστημάτων Προσφοράς Βασισμένων Στην Τοποθεσία Υπηρεσιών Και Χρήση Του Για Την Δημιουργία Ενός Ολοκληρωμένου ΣυστήματοςΑναστάσιος ΓεωργούλιαςΠαπασπύρου Νικόλαος
28-Jun-2021Πρακτική Στατική Ανάλυση για Προγράμματα PythonΣαλής, ΒιτάλιοςΠαπασπύρου Νικόλαος
4-Dec-2012Στατική Ανάλυση Για Έλεγχο Λαθών Στη Γλώσσα RubyΝικόλαος ΒάθηςΠαπασπύρου Νικόλαος
15-Nov-2011Συλλογή Σκουπιδιών Σε Συστήματα Πιστοποιημένου ΚώδικαΕυθύμιος ΒερβαινιώτηςΠαπασπύρου Νικόλαος
27-Oct-2010Συστήματα Τύπων Με Γραμμικά Δικαιώματα ΠρόσβασηςΒάζου ΝίκηΠαπασπύρου Νικόλαος
27-Mar-2018Σχεδίαση Και Επέκταση Ενός Συστήματος Αυτόματης Αξιολόγησης Προγραμματιστικών ΑσκήσεωνΑντώνιος ΑγγελάκηςΠαπασπύρου Νικόλαος