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