Εμφανίζονται 1 - 17 Αποτελέσματα από 17 για την αναζήτηση '"Foundations of computing."', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 1
    The formal semantics of programming languages : an introduction /
    ανά Winskel, G. (Glynn)
    Έκδοση 1993
    “…Foundations of computing…”
    Βιβλίο
  2. 2
    Computability and complexity : from a programming perspective /
    ανά Jones, Neil D.
    Έκδοση 1997
    “…Foundations of computing…”
    Βιβλίο
  3. 3
    Hilbert's tenth problem /
    “…Foundations of computing.…”
    Λήψη πλήρους κειμένου
    Ηλ. βιβλίο
  4. 4
    Semantics of programming languages : structures and techniques /
    ανά Gunter, Carl A.
    Έκδοση 1992
    “…Foundations of computing series…”
    Βιβλίο
  5. 5
    Logic and information flow /
    Έκδοση 1994
    “…Foundations of computing…”
    Βιβλίο
  6. 6
    Foundations for programming languages
    ανά Mitchell, John C.
    Έκδοση 1996
    “…Foundations of computing…”
    Βιβλίο
  7. 7
    The formal semantics of programming languages an introduction
    ανά Winskel, G. (Glynn)
    Έκδοση 1993
    “…Foundations of computing…”
    Βιβλίο
  8. 8
    Theoretical aspects of object-oriented programming types, semantics, and language design
    Έκδοση 1994
    “…Foundations of computing…”
    Βιβλίο
  9. 9
    Algebraic semantics of imperative programs
    ανά Goguen, Joseph
    Έκδοση 1996
    “…Foundations of computing…”
    Βιβλίο
  10. 10
    Hilbert's Tenth Problem
    ανά Matiyasevich, Yuri V.
    Έκδοση 1993
    “…Foundations of Computing Series…”
    Βιβλίο
  11. 11
    Circuit Complexity and Neural Networks
    ανά Parberry, Ian
    Έκδοση 1994
    “…Foundations of Computing Series…”
    Βιβλίο
  12. 12
    Theoretical Aspects of Object-Oriented Programming Types, Semantics,and Language Design
    ανά Gunter, Carl A., Mitchell, John C.
    Έκδοση 1994
    “…Foundations of Computing Series…”
    Βιβλίο
  13. 13
    Foundations for Programming Languages
    ανά Mitchell, John C.
    Έκδοση 1996
    “…Foundations of Computing Series…”
    Βιβλίο
  14. 14
    From logic to logic programming
    ανά Doets, Kees
    Έκδοση 1994
    “…Foundations of Computing Series…”
    Βιβλίο
  15. 15
    Control flow semantics
    ανά Bakker, J. W. de 1939- (Jacobus Willem)
    Έκδοση 1996
    “…Foundations of computing series…”
    Βιβλίο
  16. 16
    From logic to logic programming
    ανά Doets, Kees
    Έκδοση 1994
    “…Foundations of computing series…”
    Βιβλίο
  17. 17
    Theory of Deductive Systems and Its Applications
    ανά Maslov, S. Y.
    Έκδοση 1987
    “…MIT Press Series in the Foundations of Computing…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email