Robin Milner

Arthur John Robin Gorell Milner FRS FRSE (* 13. Januar 1934 in Yealmpton bei Plymouth; † 20. März 2010 in Cambridge) war ein britischer Professor für Informatik und Preisträger des Turing Award. Veröffentlicht in Wikipedia
Treffer 1 – 20 von 40 für Suche 'Milner, Robin 1934-2010', Suchdauer: 0,12s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    The space and motion of communicating agents

    The space and motion of communicating agents von Milner, Robin 1934-2010

    Veröffentlicht 2009
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Communicating and mobile systems the pi-calculus

    Communicating and mobile systems the pi-calculus von Milner, Robin 1934-2010

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Communicating and mobile systems the pi-calculus

    Communicating and mobile systems the pi-calculus von Milner, Robin 1934-2010

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Communication and concurrency

    Communication and concurrency von Milner, Robin 1934-2010

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Action structures

    Action structures von Milner, Robin 1934-2010

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    The definition of Standard ML

    The definition of Standard ML von Milner, Robin 1934-2010, Tofte, Mads, Harper, Robert 1957-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Communication and concurrency

    Communication and concurrency von Milner, Robin 1934-2010

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A complete inference system for a class of regular behaviours

    A complete inference system for a class of regular behaviours von Milner, Robin 1934-2010

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Concurrent processes and their syntax

    Concurrent processes and their syntax von Milne, George J., Milner, Robin 1934-2010

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Flowgraphs and flow algebras

    Flowgraphs and flow algebras von Milner, Robin 1934-2010

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    A theory of type polymorphism in programming

    A theory of type polymorphism in programming von Milner, Robin 1934-2010

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    LCF, a way of doing proofs with a machine

    LCF, a way of doing proofs with a machine von Milner, Robin 1934-2010

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Communicating and mobile systems the pi-calculus

    Communicating and mobile systems the pi-calculus von Milner, Robin 1934-2010

    Veröffentlicht 2004
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Communicating and mobile systems the pi-calculus

    Communicating and mobile systems the pi-calculus von Milner, Robin 1934-2010

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Communication and concurrency

    Communication and concurrency von Milner, Robin 1934-2010

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Commentary on Standard ML

    Commentary on Standard ML von Milner, Robin 1934-2010, Tofte, Mads

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Functions as processes

    Functions as processes von Milner, Robin 1934-2010

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    A calculus of mobile processes

    A calculus of mobile processes von Milner, Robin 1934-2010, Parrow, Joachim, Walker, David

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    A calculus of mobile processes

    A calculus of mobile processes von Milner, Robin 1934-2010, Parrow, Joachim, Walker, David

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    The standard ML core language

    The standard ML core language von Milner, Robin 1934-2010

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: