1. Artemis

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 31-40 of 78 (Search time: 0.011 seconds).
Item hits:
Issue DateTitleAuthor(s)Supervisor
23-Jul-2009Απόδειξη Ορθότητας Μίας Υλοποίησης Του Αλγορίθμου Των Ford-fulkerson Για Την Εύρεση Της Ελάχιστης Τομής Γράφου Χωρίς ΒάρηΜιχαήλ ΓιακκούπηςΠαπασπύρου Νικόλαος
27-Oct-2010Συστήματα Τύπων Με Γραμμικά Δικαιώματα ΠρόσβασηςΒάζου ΝίκηΠαπασπύρου Νικόλαος
28-Nov-2012Υλοποίηση Μιας Μεθοδολογίας Αναλλοίωτων Βασισμένη Σε BackpointersΕλευθέριος ΚρητικόςΠαπασπύρου Νικόλαος
15-Jul-2013A Higher-order Extension Of Prolog With Polymorphic Type InferenceΕμμανουήλ ΚουκουτόςΠαπασπύρου Νικόλαος
4-Dec-2012Στατική Ανάλυση Για Έλεγχο Λαθών Στη Γλώσσα RubyΝικόλαος ΒάθηςΠαπασπύρου Νικόλαος
2-Nov-2015Υλοποίηση Βιβλιοθήκης Ημερομηνίας Και Ώρας Για Την Γλώσσα Προγραμματισμού RustΑλφρέδος ΔαμκαλήςΠαπασπύρου Νικόλαος
16-Jul-2014Ο Νοηματικός Μετασχηματισμός Ως Τεχνική Υλοποίησης Συναρτησιακών Γλωσσών ΠρογραμματισμούΓεώργιος ΦουρτούνηςΠαπασπύρου Νικόλαος
12-Oct-2015Υλοποίηση Της Γλώσσας Προγραμματισμού Ασυρμάτων Πρωτοκόλλων Ziria Ως Dsl Ενσωματωμένη Στη HaskellΒλάσση-πανδή ΕιρήνηΠαπασπύρου Νικόλαος
11-Nov-2011Γραμμικοί Τύποι Και Μετασχηματισμός Περάσματος ΣυνεχειώνΠαναγιώτης ΘεοφιλόπουλοςΠαπασπύρου Νικόλαος
15-Nov-2011Συλλογή Σκουπιδιών Σε Συστήματα Πιστοποιημένου ΚώδικαΕυθύμιος ΒερβαινιώτηςΠαπασπύρου Νικόλαος

Discover