Toggle navigation
Αναζήτηση
Πλοήγηση
Τύποι τεκμηρίων
Επιστημονικά πεδία
Σχολές/Τμήματα/Ινστιτούτα
Φορείς
Συλλογές
Διαλειτουργικότητα
Σχετικά
Το έργο
Οδηγίες για αναζήτηση & πλοήγηση
Για φορείς
Ένταξη συλλογών
Προδιαγραφές ένταξης
Φόρμα εκδήλωσης ενδιαφέροντος
Επικοινωνία
ΕΛ
•
EN
ΚΑΙ
'Η
ΌΧΙ
×
Πληκτρολογήστε λέξη ή φράση
Σε όλα τα πεδία
Τίτλος
Δημιουργός/συντελεστής
×
+
ΚΑΙ
'Η
Tύπος τεκμηρίου
ΚΑΙ
'Η
Επιστημονικό πεδίο
ΚΑΙ
'Η
Σχολή/Τμήμα/Ινστιτούτο
ΚΑΙ
'Η
Χρονολογία
Φορέας / συλλογή
Υποδομές
ΕΚΤ e
Content
αποθετήρια
EKT
ΕΚΤ
ΕΑΔΔ
ΕΚΤ e
Publishing
ΕΚΤ e
Journals
ΕΚΤ e
Proceedings
+
Περισσότερα κριτήρια αναζήτησης
Λιγότερα κριτήρια αναζήτησης
Αναζήτηση
Καθαρισμός
Βοήθεια
Φίλτρα αποτελεσμάτων
Φίλτρα αποτελεσμάτων
Καθαρισμός
Tύπος τεκμηρίου
Διπλωματική εργασία
(32)
Διδακτορική διατριβή
(5)
Πτυχιακή εργασία
(27)
Επιστημονικό πεδίο
Επιστήμες Μηχανικού και Τεχνολογία
(3)
Επιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ
(3)
Φυσικές Επιστήμες
(32)
Επιστήμη Ηλεκτρονικών Υπολογιστών και Πληροφορική
(32)
Λογισμικό (software)
(32)
Σχολή/Τμήμα/Ινστιτούτο
Εθνικό Μετσόβιο Πολυτεχνείο
(32)
Εθνικό Μετσόβιο Πολυτεχνείο
Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
(32)
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών
(32)
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών
Εργαστήριο Τεχνολογίας Λογισμικού
(32)
Χρονολογία
2020 - 2024
(8)
2015 - 2019
(5)
2010 - 2014
(16)
1995 - 1999
(3)
Γλώσσα
Αγγλική γλώσσα
(5)
Ελληνική γλώσσα
(14)
Φορέας / συλλογή
Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)
(3)
Εθνικό Αρχείο Διδακτορικών Διατριβών
|
ΕΚΤ
ΕΑΔΔ
(3)
Εθνικό Μετσόβιο Πολυτεχνείο
(29)
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
(29)
Υποδομές
ΕΚΤ e
Content
ΕΚΤ
ΕΑΔΔ
(3)
1 - 30 από 32 τεκμήρια
Ταξινόμηση
Σχετικότητα με κριτήρια
Άυξουσα χρονολογία
Φθίνουσα χρονολογία
Αυτόματος έλεγχος λεκτικών αναλυτών Automated Testing for Lexical Analysers
Δημιουργός:
Ioakeimidi, Athina, Ιωακειμίδη, Αθηνά
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2021
Γλώσσα:
Ελληνική γλώσσα
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
CADMOS: μία μεθοδολογία ανάπτυξης διδακτικών συστημάτων με έμφαση στην κατασκευή διαδικτυακού εκπαιδευτικού λογισμικού CADMOS: a web-based coursewore development methodology for open instructional systems
Δημιουργός:
Retalis, Symeon, Ρετάλης, Συμεών
Τύπος τεκμηρίου:
Διδακτορική διατριβή
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
1998
Γλώσσα:
Ελληνική γλώσσα
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)
Συλλογή:
Εθνικό Αρχείο Διδακτορικών Διατριβών |
ΕΚΤ
ΕΑΔΔ
RDF
Δυναμικός συστηματικός έλεγχος ταυτόχρονων προγραμμάτων Erlang Dynamic systematic testing of concurrent Erlang programs
Δημιουργός:
Gotovos, Alkis S., Γκότοβος, Άλκης Σ.
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2011
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Μελέτη και Κατασκευή Μοντέλων για Πρόβλεψη του Ρυθμού Εγκατάλειψης σε Πρόγραμμα Αποταμιεύσεων
Δημιουργός:
Γεωργακόπουλος, Παναγιώτης, Georgakopoulos, Panagiotis
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Επιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ, Λογισμικό (software)
Χρονολογία :
2017
Γλώσσα:
Ελληνική γλώσσα
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Το πρόβλημα της σύνθεσης προγραμμάτων
Δημιουργός:
Tsivra, Aikaterini, Τσιβρά, Αικατερίνη
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Επιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ, Λογισμικό (software)
Χρονολογία :
2023
Γλώσσα:
Ελληνική γλώσσα
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Υλοποίηση εφαρμογής Blockchain για διαχείριση βαθμολογιών σε ΑΕΙ Implementation of Blockchain Application for managing University grades
Δημιουργός:
Χατζηχριστοφή, Χρίστος, Hadjichristofi, Christos
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2022
Γλώσσα:
Αγγλική γλώσσα
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Event-driven architectures using Apache Kafka
Δημιουργός:
Λιαροκάπης, Αλέξανδρος Άρης, Liarokapis, Alexandros Aris
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2022
Γλώσσα:
Αγγλική γλώσσα
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Προγράμματα Python
Δημιουργός:
Salis, Vitalios, Σαλής, Βιτάλιος
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2021
Γλώσσα:
gre, eng
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Περιορισμός του χώρου αναζήτησης του concolic testing μέσω στατικής ανάλυσης Reducing the search space of concolic testing via static analysis
Δημιουργός:
Διονύσιος, Σπηλιόπουλος, Dionisios, Spiliopoulos
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2022
Γλώσσα:
gre, eng
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Εφαρμογή Μηχανικής Μάθησης για την Πρόβλεψη Επιτάχυνσης Μετασχηματισμών σε Μεταγλωττιστές
Δημιουργός:
Πλάκας, Ιωάννης, Plakas, Ioannis
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Επιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ, Λογισμικό (software)
Χρονολογία :
2020
Γλώσσα:
gre, eng
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Υλοποίηση μιας μεθοδολογίας αναλλοίωτων βασισμένη σε backpointers Implementation of an invariant discipline based on backpointers
Δημιουργός:
Κρητικός, Ελευθέριος Δ., Kritikos, Eleftherios D.
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2012
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Στατικές εγγυήσεις ασφάλειας για γλώσσες με ταυτόχρονο προγραμματισμό Static safety guarantees for concurrent programming languages
Δημιουργός:
Γερακιός, Πρόδρομος Ε., Gerakios, Prodromos E.
Τύπος τεκμηρίου:
Διδακτορική διατριβή
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2012
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Σχεδίαση και υλοποίηση ενός εργαλείου ανάλυσης της εκτέλεσης ενός προγράμματος σε πολυπύρηνες αρχιτεκτονικές για τη γλώσσα Erlang Design and Implementation of a concurrency profiling and visualing tool for Erlang programs in multicore architectures
Δημιουργός:
Τιντινίδης, Αθανάσιος Α., Tintinidis, Athanasios A.
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2012
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Στατική Ανάλυση για Εύρεση Λαθών σε Προγράμματα JavaScript Static Analysis for Error Detection in JavaScript Programs
Δημιουργός:
Κασαμπαλής, Θεόδωρος Γ., Kasampalis, Theodoros G.
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2012
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Αυτόματος έλεγχος υπηρεσιών διαδικτύου μέσω ιδιοτήτων Automatic WSDL-guided property-based testing of web services
Δημιουργός:
Lampropoulos, Leonidas K., Λαμπρόπουλος, Λεωνίδας Κ.
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2012
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Δικτυακή υπηρεσία χωρικής βελτιστοποίησης με αρχιτεκτονικής ενοποίησης με υπήρεσιες web τρίτων μερών Spatial optimization Web Service with integration architecture and third party web services
Δημιουργός:
Tasiopoulos, Nikolaos, Τασιόπουλος, Νικόλαος
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2024
Γλώσσα:
Ελληνική γλώσσα
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Εξαντλητικότητα Ταιριάσματος Προτύπων για Γενικευμένους Αλγεβρικούς Τύπους Δεδομένων Pattern Matching Exhaustiveness for GADTs
Δημιουργός:
Καραχάλιας, Γεώργιος Δ., Karachalias, Georgios D.
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2014
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Περιβάλλον-πλαίσιο προσαρμοστικής παρακολούθησης συστημάτων An adaptive monitoring framework
Δημιουργός:
Παπαδόπουλος, Γιώργος Π., Papadopoulos, George P.
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2014
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Κβαντικοί Υπολογισμοί και Κβαντικός Προγραμματισμός Quantum Computations and Quantum Programming
Δημιουργός:
Moulos, Vrettos E., Μουλός, Βρεττός Ε.
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2014
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Έλεγχος προγραμμάτων συνδυάζοντας συμβολική και συμπαγή εκτέλεση με αυτόματη παραγωγή τιμών εισόδου Program testing by combining concrete and symbolic execution with automatic generation of input values
Δημιουργός:
Γιάντσιος, Άγγελος Δ., Giantsios, Aggelos D.
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2014
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Συστηματικός έλεγχος παράλληλων προγραμμάτων γραμμένων σε Erlang Systematic Testing of Concurrent Erlang Programs: Some Experiences
Δημιουργός:
Τσιτσιμπής, Ηλίας Β., Tsitsimpis, Ilias V.
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2013
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Ανάπτυξη Εργαλείου για την Επαλήθευση Δοκιμών Βασισμένων σε Προδιαγραφές A Coq Framework for Verified Property-Based Testing
Δημιουργός:
Παρασκευοπούλου, Ζωή Α., Paraskevopoulou, Zoi A.
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2014
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Τυπική Επαλήθευση Επιβολής Ακεραιότητας Ροής-Ελέγχου με Ετικέτες Formally Verified Tag-Based Enforcement of Control Flow Integrity
Δημιουργός:
Γιανναράκης, Νικόλαος Π., Giannarakis, Nikolaos P.
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2014
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Αλγόριθμοι συλλογής απορριμμάτων για αυτόματη διαχείριση μνήμης Garbage collection algorithms for automatic memory management
Δημιουργός:
Konomis, Dimitris Ch., Κονόμης, Δημήτρης Χ.
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2015
Γλώσσα:
Ελληνική γλώσσα
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Ο Νοηματικός Μετασχηματισμός ως Τεχνική Υλοποίησης Συναρτησιακών Γλωσσών Προγραμματισμού The Intensional Transformation for Implementing Functional Programming Languages
Δημιουργός:
Φουρτούνης, Γεώργιος Α., Fourtounis, Georgios A.
Τύπος τεκμηρίου:
Διδακτορική διατριβή
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2014
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Αυτόματος τυχαίος έλεγχος συστημάτων με εσωτερική κατάσταση βάσει μοντέλου Automated random model-based testing of stateful systems
Δημιουργός:
Arvaniti, Eirini P., Αρβανίτη, Ειρήνη Π.
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2011
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Σχεδίαση και επέκταση ενός συστήματος αυτόματης αξιολόγησης προγραμματιστικών ασκήσεων
Δημιουργός:
Angelakis, Antonios, Αγγελάκης, Αντώνιος
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2018
Γλώσσα:
Ελληνική γλώσσα
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Περιβάλλον-πλαίσιο εκτίμησης εμπιστοσύνης σε υπηρεσίες και σε πόρους υπηρεσιοκεντρικών συστημάτων
Δημιουργός:
Tsiounis, Konstantinos, Τσιούνης, Κωνσταντίνος
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2018
Γλώσσα:
Ελληνική γλώσσα
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Σχεδίαση και υλοποίηση ενός μεταγλωττιστή κώδικα μηχανής για τη γλώσσα Erlang με χρήση της LLVM Design and implementation of a native code compiler for Erlang with LLVM
Δημιουργός:
Tsiouris, Ioannis F., Σταυρακάκης, Χρήστος Γ., Τσιούρης, Γιάννης Φ., Stavrakakis, Christos G.
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2011
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Ανάπτυξη εφαρμογής ιστού για τη διαχείριση των χρηστών του Εργαστηρίου Τεχνολογίας Λογισμικού
Δημιουργός:
Καζελίδης, Γεώργιος, Kazelidis, Georgios
Τύπος τεκμηρίου:
Πτυχιακή εργασία
Επιστημονικό πεδίο:
Λογισμικό (software)
Χρονολογία :
2019
Γλώσσα:
Ελληνική γλώσσα
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
×
×
Βοηθείστε μας να κάνουμε καλύτερο το
OpenArchives
.gr
.
Πάρτε μέρος στη σύντομη έρευνα!