Εμφανίζονται 1 - 11 Αποτελέσματα από 11 για την αναζήτηση 'Oxford University Computing Laboratory', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 1
    Methods of numerical approximation,
    Βιβλίο
    ανά Handscomb, D. C. (David Christopher)
    Έκδοση 1966
    “…Oxford University Computing Laboratory…”
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  2. 2
    Numerical solution of ordinary and partial differential equations. Based on a summer school held in Oxford, August-September 1961.
    Βιβλίο
    ανά Fox, L. (Leslie)
    Έκδοση 1962
    “…Oxford University Computing Laboratory…”
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  3. 3
    Partial correctness of communicating processes and protocols /
    Βιβλίο
    ανά Chen, Zhou Chao
    Έκδοση 1981
    “…Oxford University Computing Laboratory. Programming Research Group…”
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  4. 4
    A calculus of total correctness for communicating processes /
    Βιβλίο
    ανά Hoare, C. A. R. (Charles Antony Richard)
    Έκδοση 1981
    “…Oxford University Computing Laboratory. Programming Research Group…”
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  5. 5
    Formal specification of a display editor /
    Βιβλίο
    ανά Sufrin, Bernard
    Έκδοση 1981
    “…Oxford University Computing Laboratory. Programming Research Group…”
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  6. 6
    The specification of abstract mappings and their implementation as B trees /
    Βιβλίο
    ανά Fielding, Elizabeth
    Έκδοση 1980
    “…Oxford University Computing Laboratory. Programming Research Group…”
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  7. 7
    A guide to communicating sequential processes /
    Βιβλίο
    ανά Kuo, Shan S.
    Έκδοση 1978
    “…Oxford University Computing Laboratory. Programming Research Group…”
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  8. 8
    Development methods for computer programs including a notion of interference /
    Βιβλίο
    ανά Jones, C. B.
    Έκδοση 1981
    “…Oxford University Computing Laboratory. Programming Research Group…”
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  9. 9
    The formal semantics of computer languages and their implementations /
    Βιβλίο
    ανά Milne, Robert
    Έκδοση 1974
    “…Oxford University Computing Laboratory. Programming Research Group…”
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  10. 10
    A model for communicating sequential processes /
    Βιβλίο
    ανά Hoare, C. A. R. (Charles Antony Richard)
    Έκδοση 1981
    “…Oxford University Computing Laboratory. Programming Research Group…”
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  11. 11
    Topics in interval analysis /
    Πρακτικό Συνεδρίου Βιβλίο
    Έκδοση 1969
    “…Oxford University Computing Laboratory…”
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email