1. Artemis

Browsing by Subject συστήματα τύπων

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 1 to 8 of 8
Issue DateTitleAuthor(s)Supervisor
27-Jul-2007Αναδρομικοί Τύποι Στον Προγραμματισμό Με ΑποδείξειςΧρήστος ΣτεργίουΠαπασπύρου Νικόλαος
25-Jul-2006Αναφορές Και Ανάθεση Στον Προγραμματισμό Με ΑποδείξειςΔημουλάς ΧρήστοςΠαπασπύρου Νικόλαος
11-Jul-2005Θέματα Ασφάλειας Στις Γλώσσες Προγραμματισμού: Βιομηχανική Και Ακαδημαϊκή ΠροσεγγισήΒαρδουλάκης ΔημήτρηςΠαπασπύρου Νικόλαος
26-Mar-2019Μεταγλώττιση αμοιβαία αναδρομικών τύπων σε μία συναρτησιακή γλώσσα έξυπνων συμβολαίων στο blockchainGkoumas, VasilisΠαπασπύρου Νικόλαος
21-Oct-2019Σχεδίαση και Υλοποίηση ενός Στατικού Συστήματος Τύπων για Επικοινωνούσες ΔιεργασίεςΜπενετόπουλος, ΑχιλλέαςΠαπασπύρου Νικόλαος
22-Oct-2004Υλοποίηση Μιας Γλώσσας Τύπων Με Εφαρμογές Στην Πιστοποίηση Εκτελέσιμου ΚώδικαΜιχάλης ΠαπακυριάκουΠαπασπύρου Νικόλαος
22-Oct-2004Υλοποίηση Μιας Γλώσσας Τύπων Με Εφαρμογές Στην Πιστοποίηση Εκτελέσιμου ΚώδικαΜιχάλης ΠαπακυριάκουΠαπασπύρου Νικόλαος
25-Oct-2004Υλοποίηση Μιας Γλώσσας Τύπων Με Εφαρμογές Στην Πιστοποίηση Εκτελέσιμου ΚώδικαΜιχάλης ΠαπακυριάκουΠαπασπύρου Νικόλαος
Showing results 1 to 8 of 8