Ähnliche Schlagwörter innerhalb Ihrer Suche.
Treffer 1 - 20 von 23 für Suche 'Oxford Univ. Computing Laboratory', Suchdauer: 0,71s Treffer weiter einschränken
  1. 1
    Probabilities and priorities in timed CSP

    Probabilities and priorities in timed CSP von Lowe, Gavin

    Veröffentlicht 1993
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A theory of communicating sequential processes

    A theory of communicating sequential processes von Hoare, Charles A. R. 1934-, Brookes, Stephen D., Roscoe, A. W.

    Veröffentlicht 1981
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Partial correctness of communicating processes and protocols

    Partial correctness of communicating processes and protocols von Zhou, Chaochen 1937-, Hoare, Charles A. R. 1934-

    Veröffentlicht 1981
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A guide to communicating sequential processes

    A guide to communicating sequential processes von Kuo, Shan S., Linck, Michael H., Saadat, Schrab

    Veröffentlicht 1978
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    The mathematical semantics of ALGOL 60

    The mathematical semantics of ALGOL 60 von Mosses, Peter D. 1948-

    Veröffentlicht 1974
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    OS 6, an operating system for a small computer

    OS 6, an operating system for a small computer von Stoy, Joseph E., Strachey, Christopher

    Veröffentlicht 1972
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Continuous lattices

    Continuous lattices von Scott, Dana S. 1932-

    Veröffentlicht 1971
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A model for communicating sequential processes

    A model for communicating sequential processes von Hoare, Charles A. R. 1934-

    Veröffentlicht 1981
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Formal specification of a display editor

    Formal specification of a display editor von Sufrin, Bernard

    Veröffentlicht 1981
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Report on the programming notation 3R

    Report on the programming notation 3R von Black, Andrew P.

    Veröffentlicht 1980
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Continuations a mathematical semantics for handling full jumps

    Continuations a mathematical semantics for handling full jumps von Strachey, Christopher, Wadsworth, Christopher P.

    Veröffentlicht 1974
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    The formal semantics of computer languages and ther implementations

    The formal semantics of computer languages and ther implementations von Milne, Robert 1956-2005

    Veröffentlicht 1974
    “… Oxford Univ. Computing Laboratory …”
    Mikrofilm Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Toward a mathematical semantics for computer languages

    Toward a mathematical semantics for computer languages von Scott, Dana S. 1932-, Strachey, Christopher

    Veröffentlicht 1971
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Technical microfiche

    Technical microfiche

    “… Oxford Univ. Computing Laboratory …”
    Schriftenreihe

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Design, implementation and evaluation of a declarative object oriented programming language

    Design, implementation and evaluation of a declarative object oriented programming language von Socorro Ramos, Adolfo J.

    Veröffentlicht 1993
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    The lattice of flow diagrams

    The lattice of flow diagrams von Scott, Dana S. 1932-

    Veröffentlicht 1978
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Data types as lattices

    Data types as lattices von Scott, Dana S. 1932-

    Veröffentlicht 1976
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    The varieties of programming language

    The varieties of programming language von Strachey, Christopher

    Veröffentlicht 1973
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    The lattice of flow diagrams

    The lattice of flow diagrams von Scott, Dana S. 1932-

    Veröffentlicht 1970
    “… Oxford Univ. Computing Laboratory …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Lectures on a mathematical theory of computation

    Lectures on a mathematical theory of computation von Scott, Dana S. 1932-

    Veröffentlicht 1981
    “… Oxford Univ. Computing Laboratory, Programming Research Group …”
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: