Εμφανίζονται 1 - 20 Αποτελέσματα από 32 για την αναζήτηση '', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    A first course in formal logic and its applications in computer science
    ανά Dowsing, R.D
    Έκδοση 1986
    Βιβλίο
  2. 2
    Arithmetic complexity of computations
    ανά Winograd, Shmuel
    Έκδοση 1980
    Βιβλίο
  3. 3
    Automata and computability /
    ανά Kozen, Dexter 1951-
    Έκδοση 1997
    Βιβλίο
  4. 4
    Automated reasoning introduction and applications
    ανά Wos, Larry
    Έκδοση 1984
    Βιβλίο
  5. 5
    Basic calculations for chemical and biological analysis
    ανά Efiok, Bassey J. S.
    Έκδοση 1993
    Βιβλίο
  6. 6
    Computability and complexity from a programming perpective
    ανά Jones, Neil D.
    Έκδοση 1997
    Βιβλίο
  7. 7
    Computing in Horn clause theories
    ανά Padawitz, Peter
    Έκδοση 1988
    Βιβλίο
  8. 8
    Differential equations and mathematical biology
    ανά Jones, D. S. (Douglas Samuel)
    Έκδοση 2003
    Βιβλίο
  9. 9
    DNA computing new computing paradigms
    ανά Paun, G.
    Έκδοση 1998
    Βιβλίο
  10. 10
    Dynamic macroeconomic theory
    ανά Sargent, Thomas J.
    Έκδοση 1987
    Βιβλίο
  11. 11
    Econometrics of qualitative variables
    ανά Gourieroux, Christian
    Έκδοση 2000
    Βιβλίο
  12. 12
    Equity, incentives, and taxation
    ανά Tillmann, Georg
    Έκδοση 1989
    Βιβλίο
  13. 13
    Extrapolation methods theory and practice
    ανά Brezinski, Claude
    Έκδοση 1991
    Βιβλίο
  14. 14
    First-order logic and automated theorem proving /
    ανά Fitting, Melvin 1942-
    Έκδοση 1996
    Βιβλίο
  15. 15
    Foundations for programming languages
    ανά Mitchell, John C.
    Έκδοση 1996
    Βιβλίο
  16. 16
    An introduction to computational learning theory :
    ανά Kearns, Michael J.
    Έκδοση 1994
    Βιβλίο
  17. 17
    Introduction to the theory of computation
    ανά Sipser, Michael
    Έκδοση 1996
    Βιβλίο
  18. 18
    Introduction to the theory of computation
    ανά Sipser, Michael
    Έκδοση 1996
    Βιβλίο
  19. 19
    Linear programminf and economic analysis
    ανά Dorfam, Robert
    Έκδοση 1958
    Βιβλίο
  20. 20
    Models of computation and formal languages R. Gregory Taylor
    ανά Taylor, R. Gregory
    Έκδοση 1998
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email