Zum Hauptinhalt springen

Autoren-Bilder

Robin Milner (1934–2010)

Autor von Communicating and Mobile Systems. Pi-calculus.: The Pi Calculus

6 Werke 155 Mitglieder 0 Rezensionen

Über den Autor

Hinweis zur Begriffsklärung:

(eng) Please do not combine with Robin Milner-Gulland who edited Russian Writing Today

Werke von Robin Milner

Beliebt Zuletzt

Communicating and Mobile Systems. Pi-calculus.: The Pi Calculus (1999) 53 Exemplare

The Definition of Standard ML (1990) 41 Exemplare

Communication and Concurrency (1989) 30 Exemplare

Commentary on Standard ML (1991) 21 Exemplare

The Space and Motion of Communicating Agents (2009) 9 Exemplare

Rusya veSovyetler Birliği Tarihi 8 1 Exemplar

Informationen zu Werken

Getagged

#32 (2) Algorithmus (1) bibalex (2) Bigraphs (1) Computer (1) Computer (2) computer science tripos reading list 2009-2010 (2) concurrent programming (2) CS (2) D.3.2 Language Classification (1) engineering-to-read (2) Evan's office (1) Fabien (2) Formale Methoden (1) Formale Sprache (1) Gelesen (1) Informatik (4) Informatik (18) Informatik (3) Inv - Programming (1) Komplexität (1) Konkurrenz (2) Logik (2) MIT Press (1) ML (4) Nachschlagewerk (2) noch zu lesen (11) P2 (1) process algebra (1) Programmiersprachen (9) Programmierung (4) Prozessalgebren (1) QA76.73 (1) Sachbuch (2) TCS (1) Theo (2) Ubiquitous Computing (1) Verteilte Systeme (2) Von Amazon (2) X ML (1)

Tag-Übersetzung eingeschaltet

Wissenswertes

Rechtmäßiger Name: Milner, Arthur John Robin Gorell
Geburtstag: 1934-01-13
Todestag: 2010-03-20
Geschlecht: male
Nationalität: England
UK
Geburtsort: Yealmpton, Devon, England, UK
Organisationen: Royal Society (Fellow ∙ 1988)
ACM (Fellow ∙ 1994)
National Academy of Engineering (Foreign Member ∙ 2008)
Royal Society of Edinburgh (Fellow)
British Computer Society (Distinguished Fellow, 1986)
Preise und Auszeichnungen: Turing Award (1991)
Hinweis zur Identitätsklärung: Please do not combine with Robin Milner-Gulland who edited Russian Writing Today

Mitglieder

Statistikseite

Werke: 6
Mitglieder: 155
Beliebtheit: #135,097
Bewertung: 4.0

ISBNs: 17

Diagramme & Grafiken

Weitere Diagramme und Grafiken anzeigen

Bilder

Autoren-Galerie

Links

Wikipedia (English)

Guardian obituary (English)

Helfer-Hub

LibraryThing-Mitglieder verbessern Autoren, indem sie Autorennamen und Werke kombinieren, gleichnamige Autoren in separate Identitäten aufteilen und vieles mehr.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Diese Seite verwendet Cookies für unsere Dienste, zur Verbesserung unserer Leistungen, für Analytik und (falls Sie nicht eingeloggt sind) für Werbung. Indem Sie LibraryThing nutzen, erklären Sie dass Sie unsere Nutzungsbedingungen und Datenschutzrichtlinie gelesen und verstanden haben. Die Nutzung unserer Webseite und Dienste unterliegt diesen Richtlinien und Geschäftsbedingungen.