6 отношения: Кларк, Эдмунд Мельсон, Премия Канеллакиса, Премия Тьюринга, Сифакис, Иосиф, Эмерсон (значения), 2007 год в науке.
Кларк, Эдмунд Мельсон
Эдмунд Мельсон Кларк младший (Edmund Melson Clarke, Jr., 27 июля 1945 года, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга.
Новый!!: Эмерсон, Эрнест Аллен и Кларк, Эдмунд Мельсон · Узнать больше »
Премия Канеллакиса
Премия Париса Канеллакиса за теоретические и практические достижения (Paris Kanellakis Theory and Practice Award) — ежегодная научная премия Ассоциации вычислительной техники, вручаемая за особые теоретические достижения, которые оказали значительное влияние на практическое развитие информационных технологий.
Новый!!: Эмерсон, Эрнест Аллен и Премия Канеллакиса · Узнать больше »
Премия Тьюринга
Премия Тьюринга (Turing Award) — самая престижная премия в информатике, вручаемая Ассоциацией вычислительной техники за выдающийся научно-технический вклад в этой области.
Новый!!: Эмерсон, Эрнест Аллен и Премия Тьюринга · Узнать больше »
Сифакис, Иосиф
Иосиф Сифакис (Ιωσήφ Σηφάκης, Joseph Sifakis; род. 1946 год, Ираклион, Греция) — французский учёный греческого происхождения в области теории вычислительных систем, лауреат премии Тьюринга.
Новый!!: Эмерсон, Эрнест Аллен и Сифакис, Иосиф · Узнать больше »
Эмерсон (значения)
Э́мерсон (Emerson) — английская фамилия.
Новый!!: Эмерсон, Эрнест Аллен и Эмерсон (значения) · Узнать больше »
2007 год в науке
В 2007 году в науке произошли следующие события.
Новый!!: Эмерсон, Эрнест Аллен и 2007 год в науке · Узнать больше »