1. Artemis

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 41-50 of 78 (Search time: 0.011 seconds).
Item hits:
Issue DateTitleAuthor(s)Supervisor
28-Jan-2012Αποδειξη Ορθοτητας Συλλεκτη Σκουπιδιων ΑντιγραφηςΑλεξανδρος - Ηροδοτος ΧαριτατοςΠαπασπύρου Νικόλαος
11-Jul-2015Υλοποιηση Συστηματος Εκτελεσης Εφαρμογων Σε Υπολογιστικο ΝεφοςΚωνσταντίνος ΡοντογιάννηςΠαπασπύρου Νικόλαος
19-Jul-2011Υλοποίηση Συστήματος Τύπων Για Την Αποφυγή Αδιεξόδων Σε C/pthreadsΠαναγιώτης ΒεκρήςΠαπασπύρου Νικόλαος
9-Jul-2015Σχεδίαση Και Υλοποίηση Κατανεμημένου Συστήματος Για Την Αυτόματη Αξιολόγηση Προγραμματιστικών ΑσκήσεωνΤσιαμήτρος ΝικόλαοςΠαπασπύρου Νικόλαος
20-Jul-2017Μελέτη Και Κατασκευή Μοντέλων Για Πρόβλεψη Του Ρυθμού Εγκατάλειψης Σε Πρόγραμμα ΑποταμιεύσεωνΠαναγιώτης ΓεωργακόπουλοςΠαπασπύρου Νικόλαος
27-Mar-2018Σχεδίαση Και Επέκταση Ενός Συστήματος Αυτόματης Αξιολόγησης Προγραμματιστικών ΑσκήσεωνΑντώνιος ΑγγελάκηςΠαπασπύρου Νικόλαος
13-Jan-2014Εξαντλητικότητα Ταιριάσματος Προτύπων Για Γενικευμένους Αλγεβρικούς Τύπους ΔεδομένωνΚαραχάλιας ΓεώργιοςΠαπασπύρου Νικόλαος
28-Aug-2019Βελτιστοποίηση κλήσεων αναδρομής ουράς σε συναρτησιακές γλώσσες με πολλαπλά είδη αποτίμησηςΜπουγουλιάς, ΠαναγιώτηςΠαπασπύρου Νικόλαος
20-Sep-2019Μετασχηματισμός Συναρτήσεων Haskell σε Μοναδιαία ΜορφήΤερζιδάκη, ΑλεξάνδραΠαπασπύρου Νικόλαος
21-Oct-2019Ανάπτυξη εφαρμογής ιστού για τη διαχείριση των χρηστών του Εργαστηρίου Τεχνολογίας ΛογισμικούΚαζελίδης, ΓεώργιοςΠαπασπύρου Νικόλαος

Discover