Более быстрый доступ, чем браузер!
19 отношения: Крит, Кларк, Эдмунд Мельсон, Проверка моделей, Премия Тьюринга, Афинский политехнический университет, Национальный центр научных исследований, Серебряная медаль Национального центра научных исследований, Университет Гренобль 1, Франция, Эмерсон, Эрнест Аллен, Ираклион, Информатика, Греция, Гренобль, 1946 год, 1976 год, 1993 год, 2006 год, 2007 год.
Крит
Крит (Κρήτη) — самый большой греческий остров, пятый по величине остров в Средиземном море.
Новый!!: Сифакис, Иосиф и Крит · Узнать больше »
Кларк, Эдмунд Мельсон
Эдмунд Мельсон Кларк младший (Edmund Melson Clarke, Jr., 27 июля 1945 года, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга.
Новый!!: Сифакис, Иосиф и Кларк, Эдмунд Мельсон · Узнать больше »
Проверка моделей
Проверка моделей (проверка на модели, model checking) — метод автоматической формальной верификации параллельных систем с конечным числом состояний, позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям.
Новый!!: Сифакис, Иосиф и Проверка моделей · Узнать больше »
Премия Тьюринга
Премия Тьюринга (Turing Award) — самая престижная премия в информатике, вручаемая Ассоциацией вычислительной техники за выдающийся научно-технический вклад в этой области.
Новый!!: Сифакис, Иосиф и Премия Тьюринга · Узнать больше »
Афинский политехнический университет
Афинский национальный технический университет (Εθνικό Μετσόβιο Πολυτεχνείο), часто название сокращают до Афинская политехника, или Политехнион — одно из старейших и самых престижных высших учебных заведений Греции.
Новый!!: Сифакис, Иосиф и Афинский политехнический университет · Узнать больше »
Национальный центр научных исследований
Национальный центр научных исследований (НЦНИ) Франции (Centre National de la Recherche Scientifique, CNRS) — ведущее научное учреждение Франции.
Новый!!: Сифакис, Иосиф и Национальный центр научных исследований · Узнать больше »
Серебряная медаль Национального центра научных исследований
Серебряная медаль Национального центра научных исследований (La Médaille d'argent du CNRS) — ежегодная премия Национального центра научных исследований (CNRS) Франции.
Новый!!: Сифакис, Иосиф и Серебряная медаль Национального центра научных исследований · Узнать больше »
Университет Гренобль 1
Университет Жозефа Фурье (ранее Университет Гренобль 1) — технологический и медицинский университет, относится к академии Гренобля, Франция.
Новый!!: Сифакис, Иосиф и Университет Гренобль 1 · Узнать больше »
Франция
Фра́нция (France), официальное название Францу́зская Респу́блика (République française) — трансконтинентальное государство, включающее основную территорию в Западной Европе и ряд заморских регионов и территорий.
Новый!!: Сифакис, Иосиф и Франция · Узнать больше »
Эмерсон, Эрнест Аллен
Эрнест Аллен Эмерсон (Ernest Allen Emerson; род. 2 июня 1954, Даллас, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга.
Новый!!: Сифакис, Иосиф и Эмерсон, Эрнест Аллен · Узнать больше »
Ираклион
Ираклион Ира́клион (Гера́клион) (Ηράκλειον) — город в Греции, на острове Крит.
Новый!!: Сифакис, Иосиф и Ираклион · Узнать больше »
Информатика
Информа́тика (Informatique; Computer science) — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.
Новый!!: Сифакис, Иосиф и Информатика · Узнать больше »
Греция
Гре́ция (Ελλάδα), официально — Гре́ческая Респу́блика (Ελληνική Δημοκρατία) — государство в Южной Европе.
Новый!!: Сифакис, Иосиф и Греция · Узнать больше »
Гренобль
Грено́бль (Grenoble; Grenoblo, Grenòble) — город и коммуна на юго-востоке Франции.
Новый!!: Сифакис, Иосиф и Гренобль · Узнать больше »
1946 год
Без описания.
Новый!!: Сифакис, Иосиф и 1946 год · Узнать больше »
1976 год
Без описания.
Новый!!: Сифакис, Иосиф и 1976 год · Узнать больше »
1993 год
Объявлен ООН Международным годом коренных народов мира.
Новый!!: Сифакис, Иосиф и 1993 год · Узнать больше »
2006 год
* Международный год пустынь и опустынивания (резолюция № 58/211 ООН).
Новый!!: Сифакис, Иосиф и 2006 год · Узнать больше »
2007 год
* Международные годы ООН.
Новый!!: Сифакис, Иосиф и 2007 год · Узнать больше »
