E-Locus - Institutional Repository of the University of Crete

Display Format:

Select	#	Description
	1.	Implementation of verification algorithms for ADFD semantics by Ντάνης, Δημήτριος Α.
	2.	Προσδιοριστικοί παράγοντες της ανεργίας, εμπειρική διεύρυνση ομάδας χώρων του ΟΟΣΑ by Αλεξάκη, Αμαλία
	3.	Logic synthesis of concurrent control specifications by Ματθαιάκης, Παύλος Εμμανουήλ
	4.	Development of a multiparametric optical computed tomography system for the study of biological samples by Λοΐζος, Μιχάλης