Более быстрый доступ, чем браузер!
19 отношения: Кларк, Эдмунд Мельсон, Проверка моделей, Премия Тьюринга, Ассоциация вычислительной техники, Ньюэлл, Аллен, Сифакис, Иосиф, Соединённые Штаты Америки, Техасский университет в Остине, Университет Карнеги — Меллона, Информатика, Гарвардский университет, Даллас, Доктор философии, 1954 год, 1998 год, 1999 год, 2 июня, 2006 год, 2007 год.
Кларк, Эдмунд Мельсон
Эдмунд Мельсон Кларк младший (Edmund Melson Clarke, Jr., 27 июля 1945 года, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга.
Новый!!: Эмерсон, Эрнест Аллен и Кларк, Эдмунд Мельсон · Узнать больше »
Проверка моделей
Проверка моделей (проверка на модели, model checking) — метод автоматической формальной верификации параллельных систем с конечным числом состояний, позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям.
Новый!!: Эмерсон, Эрнест Аллен и Проверка моделей · Узнать больше »
Премия Тьюринга
Премия Тьюринга (Turing Award) — самая престижная премия в информатике, вручаемая Ассоциацией вычислительной техники за выдающийся научно-технический вклад в этой области.
Новый!!: Эмерсон, Эрнест Аллен и Премия Тьюринга · Узнать больше »
Ассоциация вычислительной техники
Ассоциация вычислительной техники (Association for Computing Machinery, ACM) — старейшая и наиболее крупная международная организация в компьютерной области.
Новый!!: Эмерсон, Эрнест Аллен и Ассоциация вычислительной техники · Узнать больше »
Ньюэлл, Аллен
Аллен Ньюэлл (Allen Newell, 19 марта 1927 года, Сан-Франциско, США — 19 июля 1992 года, Питтсбург, США) — американский учёный в области когнитивной психологии и искусственного интеллекта.
Новый!!: Эмерсон, Эрнест Аллен и Ньюэлл, Аллен · Узнать больше »
Сифакис, Иосиф
Иосиф Сифакис (Ιωσήφ Σηφάκης, Joseph Sifakis; род. 1946 год, Ираклион, Греция) — французский учёный греческого происхождения в области теории вычислительных систем, лауреат премии Тьюринга.
Новый!!: Эмерсон, Эрнест Аллен и Сифакис, Иосиф · Узнать больше »
Соединённые Штаты Америки
Соединённые Шта́ты Аме́рики (United States of America), часто кратко именуемые США (USA) или Соединёнными Штатами (United States, U.S.), — государство в Северной Америке.
Новый!!: Эмерсон, Эрнест Аллен и Соединённые Штаты Америки · Узнать больше »
Техасский университет в Остине
Техасский университет в Остине (University of Texas at Austin), также известен как UT Austin, UT, или Texas — государственный публичный университет в городе Остине (Техас, США) и главный университет Системы университета Техаса.
Новый!!: Эмерсон, Эрнест Аллен и Техасский университет в Остине · Узнать больше »
Университет Карнеги — Меллона
Университет Карнеги — Меллон (Carnegie Mellon University, CMU) — частный университет и исследовательский центр, расположенный в Питтсбурге, (штат Пенсильвания, США).
Новый!!: Эмерсон, Эрнест Аллен и Университет Карнеги — Меллона · Узнать больше »
Информатика
Информа́тика (Informatique; Computer science) — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.
Новый!!: Эмерсон, Эрнест Аллен и Информатика · Узнать больше »
Гарвардский университет
Гарвардский университет (Гарвард) (Harvard University) — один из самых известных университетов США и всего мира, старейший вуз США.
Новый!!: Эмерсон, Эрнест Аллен и Гарвардский университет · Узнать больше »
Даллас
Да́ллас (Dallas) — город в США, расположенный в северо-восточной части штата Техас на реке Тринити.
Новый!!: Эмерсон, Эрнест Аллен и Даллас · Узнать больше »
Доктор философии
Оксфордского Университета в полном академическом облачении До́ктор филосо́фии (Philosophiæ Doctor, Ph.D., PhD, обычно произносится как пи-эйч-ди, в Оксфордском университете Doctor of Philosophy, D.Phil., DPhil, произносится как ди-фил) — учёная степень, присуждаемая в некоторых странах Запада, а также в Казахстане и Украине.
Новый!!: Эмерсон, Эрнест Аллен и Доктор философии · Узнать больше »
1954 год
Без описания.
Новый!!: Эмерсон, Эрнест Аллен и 1954 год · Узнать больше »
1998 год
Объявлен ООН Международным годом океана (резолюция ООН 49/131).
Новый!!: Эмерсон, Эрнест Аллен и 1998 год · Узнать больше »
1999 год
Объявлен ООН Международным годом пожилых людей.
Новый!!: Эмерсон, Эрнест Аллен и 1999 год · Узнать больше »
2 июня
См.
Новый!!: Эмерсон, Эрнест Аллен и 2 июня · Узнать больше »
2006 год
* Международный год пустынь и опустынивания (резолюция № 58/211 ООН).
Новый!!: Эмерсон, Эрнест Аллен и 2006 год · Узнать больше »
2007 год
* Международные годы ООН.
Новый!!: Эмерсон, Эрнест Аллен и 2007 год · Узнать больше »
