• Αναζήτηση
  • Πλοήγηση
    • Τύποι τεκμηρίων
    • Επιστημονικά πεδία
    • Σχολές/Τμήματα/Ινστιτούτα
    • Φορείς
    • Συλλογές
  • Διαλειτουργικότητα
  • Σχετικά
    • Το έργο
    • Οδηγίες για αναζήτηση & πλοήγηση
  • Για φορείς
    • Ένταξη συλλογών
    • Προδιαγραφές ένταξης
    • Φόρμα εκδήλωσης ενδιαφέροντος
  • Επικοινωνία
  • ΕΛ • EN
Περισσότερα κριτήρια αναζήτησης Λιγότερα κριτήρια αναζήτησης
Καθαρισμός Βοήθεια


Φίλτρα αποτελεσμάτων  

Φίλτρα αποτελεσμάτων

Καθαρισμός
Tύπος τεκμηρίου
Επιστημονικό πεδίο
Σχολή/Τμήμα/Ινστιτούτο
Χρονολογία
Φορέας / συλλογή
1  -  1   από   1   τεκμήριο

     
    Μοντελοποίηση και επαλήθευση κινητών συστημάτων με τεχνικές αλγεβρικών προδιαγραφών Modeling and verification of mobile systems using algebraic specification techniques
    Δημιουργός: Ouranos, Iakovos Ch., Ουρανός, Ιάκωβος Χ.
    Τύπος τεκμηρίου: Διδακτορική διατριβή
    Επιστημονικό πεδίο: Τηλεπισκόπηση
    Χρονολογία : 2008
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Συστημάτων Μετάδοσης Πληροφορίας και Τεχνολογίας Υλικών ▶ Εργαστήριο Συστημάτων Ραντάρ και Τηλεπισκόπησης
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Κλείσιμο

    Κλείσιμο
      • Follow EKT

      Επικοινωνία | Πολιτική Απορρήτου | Όροι Χρήσης | Πνευματική ιδιοκτησία

      ©2025 Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου

      Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.

      Πάρτε μέρος στη σύντομη έρευνα!
      Nαι, θα το κάνω τώρα
      Όχι ευχαριστώ