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