Εμφανίζονται 1.141 - 1.160 Αποτελέσματα από 6.830 για την αναζήτηση '"Method"', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 1141
    Proceedings of the 6th International Conference on Communications and Broadband Networking
    Έκδοση 2018
    Θέματα: “…Formal methods and theory of security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 1142
    Proceedings of the International Conference on Human-Computer Interaction in Aerospace
    Έκδοση 2014
    Θέματα: “…HCI design and evaluation methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 1143
    Proceedings of the 7th Nordic Conference on Human-Computer Interaction: Making Sense Through Design
    Έκδοση 2012
    Θέματα: “…HCI design and evaluation methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 1144
    Proceedings of Workshop on Managing and Mining Enriched Geo-Spatial Data
    Έκδοση 2014
    Θέματα: “…Data access methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 1145
    Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
    Έκδοση 2008
    Θέματα: “…HCI design and evaluation methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 1146
    Proceedings of the 1st Workshop on The Science of Cyberinfrastructure: Research, Experience, Applications and Models
    Έκδοση 2015
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 1147
    Proceedings of the 1st ACM Workshop on Middleware for Context-Aware Applications in the IoT
    Έκδοση 2014
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 1148
    Proceedings of the 2012 International Symposium on Pervasive Displays
    Έκδοση 2012
    Θέματα: “…HCI design and evaluation methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 1149
    Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play
    Έκδοση 2018
    Θέματα: “…HCI design and evaluation methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 1150
    Proceedings of the fourth annual workshop on Computational learning theory
    Έκδοση 1991
    Θέματα: “…Markov-chain Monte Carlo methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 1151
    Proceedings of the 1st International Workshop on Visual Interfaces for Ground Truth Collection in Computer Vision Applications
    Έκδοση 2012
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 1152
    Proceedings of the 12th Participatory Design Conference: Research Papers - Volume 1
    Έκδοση 2012
    Θέματα: “…HCI design and evaluation methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 1153
    Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
    Έκδοση 2010
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 1154
    Proceedings of the International Conference on Management of Emergent Digital EcoSystems
    Έκδοση 2010
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 1155
    Proceedings of the Middleware Industry Track
    Έκδοση 2014
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 1156
    Proceedings of the 2006 conference on Interaction design and children
    Έκδοση 2006
    Θέματα: “…HCI design and evaluation methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 1157
    Proceedings of the 15th workshop on Early aspects
    Έκδοση 2009
    Θέματα: “…Software development methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 1158
    Proceedings of the 13th Workshop on Programming Languages and Analysis for Security
    Έκδοση 2018
    Θέματα: “…Formal methods and theory of security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 1159
    Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
    Έκδοση 2013
    Θέματα: “…Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 1160
    Proceedings of the Workshop on Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction
    Έκδοση 2016
    Θέματα: “…HCI design and evaluation methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email