Schneller Zugriff als Browser!
56 Beziehungen: Académie des sciences, Academia Europaea, Association for Computing Machinery, Ausnahmebehandlung, École normale supérieure (Paris), Bachelor, Bisimulation, British Computer Society, Cambridge, Christopher Strachey, City, University of London, Dana Scott, EATCS-Award, Eton College, F.L.-Bauer-Preis, Fellow, Ferranti, Geschichte der British Army, Gordon Plotkin, Informatik, John McCarthy, King’s College (Cambridge), Language of Temporal Ordering Specification, MIT Press, ML (Programmiersprache), National Academy of Engineering, Nebenläufigkeit, Pi-Kalkül, Plymouth, Richard Layard, Royal Medal, Royal Society, Royal Society of Edinburgh, Softwareentwickler, Standard ML, Stanford University, Swansea University, Technische Hochschule Chalmers, Theoretische Informatik, Thomas Henzinger, Tony Hoare, Turing Award, Typinferenz, Ubiquitäres Computing, Universität Aarhus, Universität Bologna, Universität Paris-Süd, University of Cambridge, University of Edinburgh, University of Essex, ..., University of Glasgow, University of Stirling, 13. Januar, 1934, 20. März, 2010. Erweitern Sie Index (6 mehr) »
Académie des sciences
Ludwig XIV. wohnt mit Colbert der Gründung der Académie bei (1666) Ludwig XIV. besucht die Académie des sciences 1671 Académie des sciences 1698 Die Pariser Académie des sciences de l’Institut de France, traditionell nur Académie des sciences (Akademie der Wissenschaften) genannt, ist eine der fünf Akademien, die zum Institut de France zusammengeschlossen wurden.
Neu!!: Robin Milner und Académie des sciences · Mehr sehen »
Academia Europaea
Die Academia Europaea ist eine europäische regierungsunabhängige wissenschaftliche Gesellschaft, die im Jahr 1988 gegründet wurde.
Neu!!: Robin Milner und Academia Europaea · Mehr sehen »
Association for Computing Machinery
Die Association for Computing Machinery (ACM) wurde 1947 als erste wissenschaftliche Gesellschaft für Informatik gegründet.
Neu!!: Robin Milner und Association for Computing Machinery · Mehr sehen »
Ausnahmebehandlung
Eine Ausnahme oder Ausnahmesituation (oder Trap) bezeichnet in der Computertechnik ein Verfahren, Informationen über bestimmte Programmzustände – meistens Fehlerzustände – an andere Programmebenen zur Weiterbehandlung weiterzureichen.
Neu!!: Robin Milner und Ausnahmebehandlung · Mehr sehen »
École normale supérieure (Paris)
Logo der École Normale Supérieure Die École normale supérieure de Paris (auch ENS Paris, ENS Rue d’Ulm oder verkürzt ENS Ulm) ist eine Hochschule in der Straße Rue d’Ulm im Pariser Quartier Latin.
Neu!!: Robin Milner und École normale supérieure (Paris) · Mehr sehen »
Bachelor
Der Bachelor (oder, auch Bakkalaureus oder Baccalaureus bzw. Bakkalaurea oder Baccalaurea) ist der niedrigste akademische Grad und üblicherweise der erste Abschluss eines gestuften Studiums an einer Universität oder gleichgestellten Hochschule, Fachhochschule oder Berufsakademie.
Neu!!: Robin Milner und Bachelor · Mehr sehen »
Bisimulation
Die Theoretische Informatik definiert Bisimulation als Relation zwischen den Zuständen eines Transitionssystems, die solche Zustände miteinander in Beziehung setzt, die sich gleich verhalten.
Neu!!: Robin Milner und Bisimulation · Mehr sehen »
British Computer Society
Die British Computer Society (BCS) ist die bedeutendste britische Berufsvereinigung für die IT-Branche.
Neu!!: Robin Milner und British Computer Society · Mehr sehen »
Cambridge
Cambridge ist eine englische Stadt im Vereinigten Königreich und die Hauptstadt der Grafschaft Cambridgeshire mit etwa 131.800 Einwohnern, davon etwa 24.500 Studenten.
Neu!!: Robin Milner und Cambridge · Mehr sehen »
Christopher Strachey
Christopher Strachey (* 16. November 1916 in Hampstead, England; † 18. Mai 1975 in Oxford, England) war ein britischer Informatiker.
Neu!!: Robin Milner und Christopher Strachey · Mehr sehen »
City, University of London
City, University of London, ist eine britische Universität im Londoner Stadtteil Islington in der Nähe der City of London.
Neu!!: Robin Milner und City, University of London · Mehr sehen »
Dana Scott
Dana S. Scott Dana Stewart Scott (* 11. Oktober 1932 in Berkeley, Kalifornien) ist ein US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie, axiomatischen Mengenlehre und Semantik der Programmiersprachen geleistet hat.
Neu!!: Robin Milner und Dana Scott · Mehr sehen »
EATCS-Award
Der EATCS-Award der European Association for Theoretical Computer Science ist ein seit 2000 jährlich vergebener Preis für herausragende theoretische Informatiker.
Neu!!: Robin Milner und EATCS-Award · Mehr sehen »
Eton College
Die Kapelle des Eton College Gründers auf dem Schulhof (''School Yard'') Das Eton College ist eine unabhängige, durch Schulgebühren finanzierte weiterführende Schule für Jungen (eine so genannte Public School) in Eton in der englischen Grafschaft Berkshire.
Neu!!: Robin Milner und Eton College · Mehr sehen »
F.L.-Bauer-Preis
Der F.L.-Bauer-Preis der Technischen Universität München war ein Informatik-Preis, der zu Ehren von Friedrich L. Bauer verliehen wurde.
Neu!!: Robin Milner und F.L.-Bauer-Preis · Mehr sehen »
Fellow
Der Titel Fellow (für Gleichgestellter, Gefährte, Genosse bzw. Mitglied) bezeichnet im Hochschulbetrieb und in sonstigen wissenschaftlichen Vereinigungen ein (nicht im juristischen Sinn) zur Körperschaft gehörendes Mitglied.
Neu!!: Robin Milner und Fellow · Mehr sehen »
Ferranti
ZN414, ein integrierter Geradeausempfänger für Mittelwelle Ferranti Limited war ein 1885 von Sebastian Ziani de Ferranti gegründetes britisches Unternehmen der Elektroindustrie.
Neu!!: Robin Milner und Ferranti · Mehr sehen »
Geschichte der British Army
Die Geschichte der British Army umfasst die Entwicklung der britischen Landstreitkräfte, British Army, von der erstmaligen Aufstellung eines stehenden Heeres im 17.
Neu!!: Robin Milner und Geschichte der British Army · Mehr sehen »
Gordon Plotkin
Gordon Plotkin 2005 Gordon David Plotkin (* 9. September 1946 in Glasgow) ist ein britischer theoretischer Informatiker.
Neu!!: Robin Milner und Gordon Plotkin · Mehr sehen »
Informatik
Lambda lc.svg Sorting quicksort anim frame.svg Utah teapot simple 2.png 3-Tasten-Maus Microsoft.jpg Bei der Informatik handelt es sich um die Wissenschaft von der systematischen Darstellung, Speicherung, Verarbeitung und Übertragung von Daten, wobei besonders die automatische Verarbeitung mit Computern betrachtet wird.
Neu!!: Robin Milner und Informatik · Mehr sehen »
John McCarthy
John McCarthy (2006) John McCarthy (* 4. September 1927 in Boston, Massachusetts; † 23. Oktober 2011 in Palo Alto, Kalifornien) war ein US-amerikanischer Logiker, Informatiker und Autor.
Neu!!: Robin Milner und John McCarthy · Mehr sehen »
King’s College (Cambridge)
Das King’s College ist ein College der University of Cambridge, England, Vereinigtes Königreich Großbritannien und Nordirland.
Neu!!: Robin Milner und King’s College (Cambridge) · Mehr sehen »
Language of Temporal Ordering Specification
Language of Temporal Ordering Specification, kurz LOTOS, ist eine formale Beschreibungstechnik, welche im ISO-Standard ISO 8807 definiert ist.
Neu!!: Robin Milner und Language of Temporal Ordering Specification · Mehr sehen »
MIT Press
Logo von MIT Press. Design: Muriel Cooper The MIT Press ist ein Universitätsverlag mit Sitz in Cambridge, Massachusetts, in den Vereinigten Staaten.
Neu!!: Robin Milner und MIT Press · Mehr sehen »
ML (Programmiersprache)
Meta Language (ML) beschreibt eine Familie funktionaler Programmiersprachen mit statischer Typisierung, Polymorphie, automatischer Speicherbereinigung und im Allgemeinen strenger Auswertung.
Neu!!: Robin Milner und ML (Programmiersprache) · Mehr sehen »
National Academy of Engineering
Die United States National Academy of Engineering (NAE) ist eine renommierte US-amerikanische Berufsorganisation mit Sitz in Washington, D.C., die 1964 gegründet wurde.
Neu!!: Robin Milner und National Academy of Engineering · Mehr sehen »
Nebenläufigkeit
Beim Philosophenproblem (engl. ''Dining Philosophers Problem'') handelt es sich um ein Fallbeispiel aus dem Bereich der Theoretischen Informatik. Die Nebenläufigkeit, mitunter auch Parallelität genannt, ist in der Informatik die Eigenschaft eines Systems, mehrere Aufgaben, Berechnungen, Anweisungen oder Befehle gleichzeitig ausführen zu können.
Neu!!: Robin Milner und Nebenläufigkeit · Mehr sehen »
Pi-Kalkül
Der Pi-Kalkül (π-Kalkül) ist ein Prozesskalkül, der von Robin Milner, Joachim Parrow und David Walker in den 1990er Jahren als Nachfolger des Calculus of Communicating Systems (CCS) entwickelt wurde.
Neu!!: Robin Milner und Pi-Kalkül · Mehr sehen »
Plymouth
Alte Karte von Plymouth 1888 Denkmal zu Ehren von Sir Francis Drake auf ''The Hoe'' (mit einer Weltkugel als Symbol für seine Weltumseglung) Die kleine Hafenschleuse am Barbican, direkt am Sea Aquarium Plymouth (kornisch Aberplymm) ist eine Großstadt mit etwa 260.000 Einwohnern in der Grafschaft Devon im Südwesten Englands.
Neu!!: Robin Milner und Plymouth · Mehr sehen »
Richard Layard
Richard Layard (2006) Peter Richard Grenville Layard, Baron Layard (* 15. März 1934) ist ein britischer Nationalökonom und emeritierter Professor an der London School of Economics (LSE) in London.
Neu!!: Robin Milner und Richard Layard · Mehr sehen »
Royal Medal
Die Royal Medal, auch The Queen’s Medal genannt, ist eine von der Royal Society verliehene Auszeichnung für Wissenschaftler, die innerhalb des Commonwealth of Nations besonders wichtige Beiträge zur Weiterentwicklung der Wissenschaften geleistet haben.
Neu!!: Robin Milner und Royal Medal · Mehr sehen »
Royal Society
Die Royal Society (deutsch Königliche Gesellschaft) ist eine 1660 gegründete britische Gelehrtengesellschaft zur Wissenschaftspflege.
Neu!!: Robin Milner und Royal Society · Mehr sehen »
Royal Society of Edinburgh
Gebäude der Royal Society Die Royal Society of Edinburgh ist Schottlands nationale Akademie der Wissenschaften.
Neu!!: Robin Milner und Royal Society of Edinburgh · Mehr sehen »
Softwareentwickler
Ein Softwareentwickler ist eine Person, die an der Erstellung einer Software mitwirkt.
Neu!!: Robin Milner und Softwareentwickler · Mehr sehen »
Standard ML
Standard ML (SML) ist eine von ML abstammende funktionale Programmiersprache mit einigen imperativen Merkmalen (zum Beispiel im Bereich File IO).
Neu!!: Robin Milner und Standard ML · Mehr sehen »
Stanford University
Haupteingang der ''Stanford University'' Memorial Church'' Bogengang Die Leland Stanford Junior University (kurz Stanford University oder Stanford, Spitzname „Die Farm“) ist eine private US-amerikanische Universität in Stanford, Kalifornien.
Neu!!: Robin Milner und Stanford University · Mehr sehen »
Swansea University
Die Swansea University (walisisch: Prifysgol Abertawe) in der Stadt Swansea in Wales (Großbritannien) wurde im Jahr 1920 als University College of Swansea gegründet.
Neu!!: Robin Milner und Swansea University · Mehr sehen »
Technische Hochschule Chalmers
Haupteingang der Hochschule Die Technische Hochschule Chalmers ist eine Technische Universität in der schwedischen Stadt Göteborg.
Neu!!: Robin Milner und Technische Hochschule Chalmers · Mehr sehen »
Theoretische Informatik
Mind-Map zu einem Teilbereich der theoretischen Informatik Die theoretische Informatik beschäftigt sich mit der Abstraktion, Modellbildung und grundlegenden Fragestellungen, die mit der Struktur, Verarbeitung, Übertragung und Wiedergabe von Informationen in Zusammenhang stehen.
Neu!!: Robin Milner und Theoretische Informatik · Mehr sehen »
Thomas Henzinger
Thomas A. Henzinger (* 8. Dezember 1962 in Linz) ist ein österreichischer Informatiker.
Neu!!: Robin Milner und Thomas Henzinger · Mehr sehen »
Tony Hoare
Sir Tony Hoare (2011) Sir Charles Antony Richard Hoare (* 11. Januar 1934 in Colombo, Sri Lanka), besser bekannt als Tony Hoare oder C.A.R. Hoare, ist ein britischer Informatiker.
Neu!!: Robin Milner und Tony Hoare · Mehr sehen »
Turing Award
Der nach Alan Turing benannte A. M. Turing Award wird jährlich von der Association for Computing Machinery (ACM) an Personen verliehen, die sich besonders um die Entwicklung der Informatik verdient gemacht haben.
Neu!!: Robin Milner und Turing Award · Mehr sehen »
Typinferenz
Durch Typinferenz (mit type „(Daten-)Art“ oder „Datentyp“ und inference „Schlussfolgerung“), auch Typableitung genannt, kann in manchen (stark typisierten) Programmiersprachen viel Schreibarbeit eingespart werden, indem auf die Niederschrift von Typangaben verzichtet wird, die aus den restlichen Angaben und den Typisierungsregeln hergeleitet (rekonstruiert) werden können; dazu bedient man sich derselben Regeln, die auch zur Typprüfung dienen, als deren Fortentwicklung die Typinferenz in gewisser Weise anzusehen ist.
Neu!!: Robin Milner und Typinferenz · Mehr sehen »
Ubiquitäres Computing
Ubiquitäres Computing (aus, kurz ubicomp) – auch allgegenwärtiges Rechnen oder zusammen Rechnerallgegenwart – bezeichnet die Allgegenwärtigkeit (oder Ubiquität; zu englisch ubiquity, aus) der rechnergestützten Informationsverarbeitung (kurz EDV, IT oder englisch CAx).
Neu!!: Robin Milner und Ubiquitäres Computing · Mehr sehen »
Universität Aarhus
Die Universität Aarhus ist mit über 33.000 Studenten die zweitgrößte Universität in Dänemark und hat ihren Sitz in der Stadt Aarhus.
Neu!!: Robin Milner und Universität Aarhus · Mehr sehen »
Universität Bologna
Die Universität Bologna (italienisch: seit 2000 Università di Bologna – Alma mater studiorum, vorher Università degli studi di Bologna) ist eine staatliche Universität in Bologna und gilt als älteste Universität in Europa.
Neu!!: Robin Milner und Universität Bologna · Mehr sehen »
Universität Paris-Süd
Universität Paris-Süd (Orsay) Die Universität Paris-Süd (auch Universität Paris 11 genannt) war eine Universität im Ballungsraum Paris.
Neu!!: Robin Milner und Universität Paris-Süd · Mehr sehen »
University of Cambridge
Die University of Cambridge im Vereinigten Königreich wurde im Jahr 1209 gegründet.
Neu!!: Robin Milner und University of Cambridge · Mehr sehen »
University of Edinburgh
Die University of Edinburgh (Universität Edinburgh) ist ein Forschungs- und Lehrinstitut in Edinburgh.
Neu!!: Robin Milner und University of Edinburgh · Mehr sehen »
University of Essex
Die University of Essex ist eine der in den 1960er-Jahren entstandenen Campus-Universitäten im Vereinigten Königreich.
Neu!!: Robin Milner und University of Essex · Mehr sehen »
University of Glasgow
Eingang Hauptgebäude Hauptgebäude im neugotischen Stil (Blickrichtung Nordost) Luftbild mit charakteristischem Turm des Hauptgebäudes im Hintergrund Die Universität von Glasgow oder Universität Glasgow (englisch University of Glasgow; lateinisch Universitatis Glasguensis) ist eine Forschungsuniversität in staatlicher Trägerschaft.
Neu!!: Robin Milner und University of Glasgow · Mehr sehen »
University of Stirling
Die Universität Stirling (engl. University of Stirling) ist eine öffentliche Universität in Stirling, Schottland.
Neu!!: Robin Milner und University of Stirling · Mehr sehen »
13. Januar
Der 13.
Neu!!: Robin Milner und 13. Januar · Mehr sehen »
1934
Banner an einem Schulhaus in Fürth zur Volksabstimmung über das Staatsoberhaupt des Deutschen Reichs Das Jahr 1934 wird von den Nationalsozialisten genutzt, um ihre Macht in Deutschland zu festigen und sich weiterer politischer Gegner zu entledigen, zum Beispiel während des von der NS-Propaganda so bezeichneten Röhm-Putsches.
Neu!!: Robin Milner und 1934 · Mehr sehen »
20. März
Der 20.
Neu!!: Robin Milner und 20. März · Mehr sehen »
2010
Das Jahr 2010 war geprägt von einem Erdbeben in Haiti, bei dem etwa 220.000 Menschen starben und 1,3 Mio.
Neu!!: Robin Milner und 2010 · Mehr sehen »
Leitet hier um:
A. J. Milner, Arthur John Robin Gorell Milner.
