1. Artemis

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 51-60 of 78 (Search time: 0.009 seconds).
Item hits:
Issue DateTitleAuthor(s)Supervisor
5-Nov-2019Έλεγχος Ορθότητας ΜεταγλωττιστώνΚαράκος, ΓεώργιοςΠαπασπύρου Νικόλαος
29-Aug-2018Destructive Update με γραμμικούς τύπουςΜόσχος, Αλέξανδρος-ΠέτροςΠαπασπύρου Νικόλαος
22-Jul-2019ΔΗΜΙΟΥΡΓΙΑ ΜΙΑΣ ΑΠΟΚΕΝΤΡΩΜΕΝΗΣ ΕΦΑΡΜΟΓΗΣ ΒΑΣΙΣΜΕΝΗΣ ΣΤΟ ETHEREUM BLOCKCHAINΑθανασόπουλος, Αλέξανδρος, MEΠαπασπύρου Νικόλαος
11-Jul-2014Κβαντικοί Υπολογισμοί Και Κβαντικός ΠρογραμματισμόςΒρεττός Ε. ΜουλόςΠαπασπύρου Νικόλαος
26-Mar-2019Μεταγλώττιση αμοιβαία αναδρομικών τύπων σε μία συναρτησιακή γλώσσα έξυπνων συμβολαίων στο blockchainGkoumas, VasilisΠαπασπύρου Νικόλαος
21-Oct-2019Σχεδίαση και Υλοποίηση ενός Στατικού Συστήματος Τύπων για Επικοινωνούσες ΔιεργασίεςΜπενετόπουλος, ΑχιλλέαςΠαπασπύρου Νικόλαος
7-May-2019Ασφάλεια σε Συστήματα Τύπων με Τύπους Τομής και ΆρνησηςΑρώνης, ΠαναγιώτηςΠαπασπύρου Νικόλαος
9-Sep-2014Ανάπτυξη Εργαλείου Για Την Επαλήθευση Δοκιμών Βασισμένων Σε ΠροδιαγραφέςΖωή ΠαρασκευοπούλουΠαπασπύρου Νικόλαος
9-Sep-2014Τυπική Επαλήθευση Επιβολής Ακεραιότητας Ροής-ελέγχου Με ΕτικέτεςΝικόλαος ΓιανναράκηςΠαπασπύρου Νικόλαος
20-Jul-2018Αναζητώντας παρεμποδίσεις k-απόγειων γραφημάτων για κλάσεις με φραγμένο βαθμόΠαληός, ΚοσμάςΠαπασπύρου Νικόλαος

Discover