Εμφανίζονται 1 - 20 Αποτελέσματα από 23 για την αναζήτηση '"Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 1
    Foundations for programming languages
    ανά Mitchell, John C.
    Έκδοση 1996
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  2. 2
    The formal semantics of programming languages an introduction
    ανά Winskel, G. (Glynn)
    Έκδοση 1993
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  3. 3
    Models of computation and formal languages R. Gregory Taylor
    ανά Taylor, R. Gregory
    Έκδοση 1998
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  4. 4
    Automata and computability /
    ανά Kozen, Dexter 1951-
    Έκδοση 1997
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  5. 5
    The resolution calculus /
    ανά Leitsch, Alexander
    Έκδοση 1997
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές. 3415…”
    Βιβλίο
  6. 6
    Teaching and learning formal methods
    Έκδοση 1996
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  7. 7
    Arithmetic complexity of computations
    ανά Winograd, Shmuel
    Έκδοση 1980
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  8. 8
    Computability and complexity from a programming perpective
    ανά Jones, Neil D.
    Έκδοση 1997
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  9. 9
    Extrapolation methods theory and practice
    ανά Brezinski, Claude
    Έκδοση 1991
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  10. 10
    A first course in formal logic and its applications in computer science
    ανά Dowsing, R.D
    Έκδοση 1986
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  11. 11
    Computing in Horn clause theories
    ανά Padawitz, Peter
    Έκδοση 1988
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  12. 12
    Introduction to the theory of computation
    ανά Sipser, Michael
    Έκδοση 1996
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  13. 13
    Automated reasoning introduction and applications
    ανά Wos, Larry
    Έκδοση 1984
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  14. 14
    Introduction to the theory of computation
    ανά Sipser, Michael
    Έκδοση 1996
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  15. 15
    First-order logic and automated theorem proving /
    ανά Fitting, Melvin 1942-
    Έκδοση 1996
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  16. 16
    Unconventional models of computation
    Έκδοση 1998
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  17. 17
    Εισαγωγή στη θεωρία υπολογισμού /
    ανά Sipser, Michael
    Έκδοση 2008
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  18. 18
    Εισαγωγή στη θεωρία υπολογισμού /
    ανά Sipser, Michael
    Έκδοση 2012
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  19. 19
    Εισαγωγή στη θεωρία υπολογισμού /
    ανά Sipser, Michael
    Έκδοση 2007
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
  20. 20
    An introduction to computational learning theory :
    ανά Kearns, Michael J.
    Έκδοση 1994
    Θέματα: “…Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές 3415…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email