Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-8 of 8 (Search time: 0.011 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)Supervisor
22-Oct-2004Υλοποίηση Μιας Γλώσσας Τύπων Με Εφαρμογές Στην Πιστοποίηση Εκτελέσιμου ΚώδικαΜιχάλης ΠαπακυριάκουΠαπασπύρου Νικόλαος
22-Oct-2004Υλοποίηση Μιας Γλώσσας Τύπων Με Εφαρμογές Στην Πιστοποίηση Εκτελέσιμου ΚώδικαΜιχάλης ΠαπακυριάκουΠαπασπύρου Νικόλαος
25-Oct-2004Υλοποίηση Μιας Γλώσσας Τύπων Με Εφαρμογές Στην Πιστοποίηση Εκτελέσιμου ΚώδικαΜιχάλης ΠαπακυριάκουΠαπασπύρου Νικόλαος
11-Jul-2005Θέματα Ασφάλειας Στις Γλώσσες Προγραμματισμού: Βιομηχανική Και Ακαδημαϊκή ΠροσεγγισήΒαρδουλάκης ΔημήτρηςΠαπασπύρου Νικόλαος
25-Jul-2006Αναφορές Και Ανάθεση Στον Προγραμματισμό Με ΑποδείξειςΔημουλάς ΧρήστοςΠαπασπύρου Νικόλαος
27-Jul-2007Αναδρομικοί Τύποι Στον Προγραμματισμό Με ΑποδείξειςΧρήστος ΣτεργίουΠαπασπύρου Νικόλαος
26-Mar-2019Μεταγλώττιση αμοιβαία αναδρομικών τύπων σε μία συναρτησιακή γλώσσα έξυπνων συμβολαίων στο blockchainGkoumas, VasilisΠαπασπύρου Νικόλαος
21-Oct-2019Σχεδίαση και Υλοποίηση ενός Στατικού Συστήματος Τύπων για Επικοινωνούσες ΔιεργασίεςΜπενετόπουλος, ΑχιλλέαςΠαπασπύρου Νικόλαος