1. Artemis

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 11-20 of 78 (Search time: 0.011 seconds).
Item hits:
Issue DateTitleAuthor(s)Supervisor
21-Oct-2005Αναπτυξη Βιβλιοθηκης Θεωριων Για Την Αποδειξη Ιδιοτητων Πιστοποιημενου Κωδικα.Τσοκος ΘεοδωροςΠαπασπύρου Νικόλαος
26-Oct-2005Υλοποίηση Μεταγλωττιστή Γλώσσας Προστακτικού Προγραμματισμού Με Στοιχεία ΤαυτοχρονισμούΧρήστος ΓραββάνηςΠαπασπύρου Νικόλαος
31-Oct-2005Μεταγλώττιση Αυτομεταβαλλόμενου Κώδικα Υψηλού ΕπιπέδουΟρέστης ΑλεβίζοςΠαπασπύρου Νικόλαος
7-Dec-2005Υλοποίηση Μιας Γλώσσας Χαμηλού Επιπέδου Με Υποστήριξη Αυτομεταβαλλόμενου ΚώδικαΦουρτούνης ΓιώργοςΠαπασπύρου Νικόλαος
25-Jul-2006Αναφορές Και Ανάθεση Στον Προγραμματισμό Με ΑποδείξειςΔημουλάς ΧρήστοςΠαπασπύρου Νικόλαος
19-Dec-2006Μερική Αποτίμηση Και Εφαρμογή Στην Κατασκευή ΜεταγλωττιστώνΠροκοπίου ΠαναγιώτηςΠαπασπύρου Νικόλαος
27-Jul-2007Αναδρομικοί Τύποι Στον Προγραμματισμό Με ΑποδείξειςΧρήστος ΣτεργίουΠαπασπύρου Νικόλαος
13-Dec-2007Μεταφραση Απο Τη Γλωσσα Κβαντικου Προγραμματισμου Nqml Σε Κβαντικα ΚυκλωματαΙωάννης ΡουσελάκηςΠαπασπύρου Νικόλαος
22-Mar-2006Επέκταση Ενός Συστήματος Διαχείρισης Μάθησης Που Βασίζεται Στο Μαθησιακό Σχέδιο Με Μια Μηχανή ΑξιολόγησηςΜιχάλης ΔημητρίουΠαπασπύρου Νικόλαος
12-Jul-2006Σχεδίαση Και Υλοποίηση Γλώσσας Υψηλού Επιπέδου Για Προγραμματισμό Με ΑποδείξειςΑντώνης ΣταμπούληςΠαπασπύρου Νικόλαος

Discover