Showing 261 - 278 results of 278 for search '"Verification"', query time: 0.05s Refine Results
  1. 261
    Proceedings of the 2006 international symposium on Software testing and analysis
    Published 2006
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 262
    Proceedings of the 1st Workshop on Complex Networked Systems for Smart Infrastructure
    Published 2018
    Subjects: “…Protocol testing and verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 263
    Proceedings of the Second ACM SIGSPATIALInternational Workshop on the Use of GIS in Emergency Management
    Published 2016
    Subjects: “…Model verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 264
    Επίδραση υπολογιστικού περιβάλλοντος γενικού σκοπού στην επίλυση λεκτικών μαθηματικών προβλημάτων : η περίπτωση των ηλεκτρονικών λογιστικών φύλλων
    Subjects: “…Verification…”
    Get full text
    Thesis
  5. 265
    Proceedings of the 7th Asia-Pacific Symposium on Internetware
    Published 2015
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 266
    Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
    Published 1991
    Subjects: “…COMPUTER AIDED VERIFICATION 124074…”
    Book
  7. 267
    Mathematica-based formula verification in applied mechanics
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Formula verification…”
    Get full text
    Get full text
    Conference (paper)
  8. 268
    Journal of Formalized Reasoning
    Published 2009
    Subjects: “…verification…”
    Get full text
    journal
  9. 269
    Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering
    Published 2015
    Subjects: “…hardware model verification…”
    Get full text
    journal
  10. 270
    Numerical verification of equations in applied mechanics: comments on the inexpensive alternative to computer algebra
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Numerical verification…”
    Get full text
    Technical Report
  11. 271
    Μελέτη της λειτουργικής συνδεσιμότητας του εγκεφάλου μέσω καταγραφών EEG με σκοπό την εφαρμογή στην ταυτοποίηση ατόμου
    Subjects: “…Verification…”
    Get full text
    Thesis
  12. 272
    Industrial used of formal method : formal verification /
    Published 2012
    Subjects: “…Computer software Verification.…”
    Full Text via HEAL-Link
    eBook
  13. 273
    Εφαρμογή κινητής τηλεφωνίας για μέτρηση και παρακολούθηση της ποιότητας δικτύου wi-fi από τελικούς χρήστες
    Subjects: “…Performance verification…”
    Get full text
    Thesis
  14. 274
    Leibniz Transactions on Embedded Systems
    Published 2015
    Subjects: “…verification…”
    Get full text
    journal
  15. 275
    Αναγνώριση ομιλητή και ομιλίας με χρήση κυματιδίων
    Subjects: “…Speaker verification…”
    Get full text
    Thesis
  16. 276
    Single or multi-CT simulation for high dose rate brachytherapy and dosimetric verification : is replanning necessary prior to each fraction?
    Subjects: “…Dosimetric verification…”
    Get full text
  17. 277
    Αναγνώριση ομιλητή
    by Ganchev, Todor
    Published 2007
    Subjects: “…Speaker verification…”
    Get full text
  18. 278
    Αναγνώριση ψυχοσωματικής κατάστασης προσώπου με τη χρήση θερμικής υπέρυθρης ακτινοβολίας
    by Κούκιου, Γεωργία
    Published 2015
    Subjects: “…Drunkenness verification…”
    Get full text
    Thesis
Search Tools: RSS Feed – Email Search