Εμφανίζονται 21 - 40 Αποτελέσματα από 48.854 για την αναζήτηση '"Computability"', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  1. 21
    Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
    Έκδοση 2012
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 22
    Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
    Έκδοση 2015
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 23
    Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
    Έκδοση 2013
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 24
    Proceedings of the third annual workshop on Computational learning theory
    Έκδοση 1990
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 25
    Proceedings of the 5th ACM workshop on Programming languages meets program verification
    Έκδοση 2011
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 26
    Computability, complexity, and languages Fundamentals of theoretical computer science
    ανά Davis, Martin D., Weyuker, Elaine J.
    Έκδοση 1983
    Θέματα: “…COMPUTABILITY 114953…”
    Βιβλίο
  7. 27
    Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
    Έκδοση 2009
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 28
    Proceedings of the 8th annual workshop on Microprogramming
    Έκδοση 1975
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 29
    Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
    Έκδοση 2003
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 30
    Γλώσσες και Υπολογισμοί
    Θέματα: “…Computability…”
    Λήψη πλήρους κειμένου
    7
  11. 31
    NP-πληρότητα
    Θέματα: “…Computability…”
    Λήψη πλήρους κειμένου
    7
  12. 32
    Διαδραστικό test στις Μηχανές Turing
    Θέματα: “…Computability…”
    Λήψη πλήρους κειμένου
    112
  13. 33
    Γλώσσες και Γραμματικές Χωρίς Συμφραζόμενα
    Θέματα: “…Computability…”
    Λήψη πλήρους κειμένου
    7
  14. 34
    Δημιουργία ΝΠΑ στο JFLAP
    Θέματα: “…Computability…”
    Λήψη πλήρους κειμένου
    102
  15. 35
    Διαδραστικό test στα Αυτόματα Στοίβας και στις Γλώσσες που Δεν είναι Χωρίς Συμφραζόμενα
    Θέματα: “…Computability…”
    Λήψη πλήρους κειμένου
    112
  16. 36
    Διαδραστικό test στις Γραμματικές και τις Γλώσσες Χωρίς Συμφραζόμενα
    Θέματα: “…Computability…”
    Λήψη πλήρους κειμένου
    112
  17. 37
    Υπολογιστική Πολυπλοκότητα
    Θέματα: “…Computability…”
    Λήψη πλήρους κειμένου
    7
  18. 38
    Ελαχιστοποίηση και Μη Κανονικές Γλώσσες
    Θέματα: “…Computability…”
    Λήψη πλήρους κειμένου
    7
  19. 39
    Διαδραστικό test στην Κλειστότητα Καν. Γλωσσών & τις Μη Κανονικές Γλώσσες
    Θέματα: “…Computability…”
    Λήψη πλήρους κειμένου
    112
  20. 40
    Διαδραστικό test στις Κανονικές Γλώσσες και τα Πεπερασμένα Αυτόματα
    Θέματα: “…Computability…”
    Λήψη πλήρους κειμένου
    112
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email