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 47 to 66 of 77 < previous   next >
Issue DateTitleAuthor(s)Supervisor
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Σχεδίαση Και Επέκταση Ενός Συστήματος Αυτόματης Αξιολόγησης Προγραμματιστικών ΑσκήσεωνΑντώνιος ΑγγελάκηςΠαπασπύρου Νικόλαος
12-Jul-2006Σχεδίαση Και Υλοποίηση Γλώσσας Υψηλού Επιπέδου Για Προγραμματισμό Με ΑποδείξειςΑντώνης ΣταμπούληςΠαπασπύρου Νικόλαος
21-Oct-2019Σχεδίαση και Υλοποίηση ενός Στατικού Συστήματος Τύπων για Επικοινωνούσες ΔιεργασίεςΜπενετόπουλος, ΑχιλλέαςΠαπασπύρου Νικόλαος
9-Jul-2015Σχεδίαση Και Υλοποίηση Κατανεμημένου Συστήματος Για Την Αυτόματη Αξιολόγηση Προγραμματιστικών ΑσκήσεωνΤσιαμήτρος ΝικόλαοςΠαπασπύρου Νικόλαος
8-Jul-2020Σχεδίαση και Υλοποίηση μιας Εικονικής Μηχανής για WebAssemblyΙωαννου, ΑλεξανδροςΠαπασπύρου Νικόλαος
25-Jul-2003Σχεδίαση, Σημασιολογική Περιγραφή Και Υλοποίηση Της Γλώσσας Προγραμματισμού CantorΚυριάκος Γ. ΓκίνηςΠαπασπύρου Νικόλαος
11-Jul-2005Σχεδιασμός Και Υλοποίηση Ενός Συστήματος Βασισμένου Σε Πρότυπα Για Τη Δυναμική Παρουσίαση Μαθησιακού ΠεριεχομένουΜιχάλης ΠαπαδόπουλοςΠαπασπύρου Νικόλαος
26-Jul-2006Τεχνικές Συλλογής Σκουπιδιών Στη Διαχείριση ΜνήμηςΙωάννης ΖούλιαςΠαπασπύρου Νικόλαος
1-Jul-2023Το πρόβλημα της σύνθεσης προγραμμάτωνΤσιβρά, ΑικατερίνηΠαπασπύρου Νικόλαος
9-Sep-2014Τυπική Επαλήθευση Επιβολής Ακεραιότητας Ροής-ελέγχου Με ΕτικέτεςΝικόλαος ΓιανναράκηςΠαπασπύρου Νικόλαος
31-Jan-2006Τυποποίηση Διαδικασίας Ανάπτυξης Πολυμεσικών ΕφαρμογώνΠαναγιώτης Ν. ΤσουγκριάνηςΠαπασπύρου Νικόλαος
22-Jul-2009Τυποποίηση Των Principia Metaphysica Σε Isabelle/holΚωνσταντίνος ΠουλιάσηςΠαπασπύρου Νικόλαος
2-Nov-2015Υλοποίηση Βιβλιοθήκης Ημερομηνίας Και Ώρας Για Την Γλώσσα Προγραμματισμού RustΑλφρέδος ΔαμκαλήςΠαπασπύρου Νικόλαος