Люди формальных методов

Вики

Джонатан Боуэн — Википедия

/

Джонатан Боуэн Биография и карьера Джонатана Боуэна Известный американский ученый в области информатики и теории вычислений.  Профессор в Университете штата […]

Вики

Мэтью Хеннесси — Википедия

/

Мэтью Хеннесси Карьера Мэтью Хеннесси Ассистент профессора в Университете Ватерлоо (1976-77)  Приглашенный профессор в Федеральном университете Пернамбуку (1977-78)  Научный сотрудник

Вики

Род Берстолл — Википедия

/

Разрыв стержня Биография Рода Берстолла Британский ученый-компьютерщик, член Королевского общества Эдинбурга  Изучал физику в Кембридже, затем получил степень MSc в

Вики

Питер Моссес — Википедия

/

Питер Мосс Биография Питера Дэвида Мосса Британский ученый-компьютерщик, родился в 1948 году.  Изучал математику в Оксфорде, получил докторскую степень в

Вики

Гордон Плоткин — Википедия

/

Гордон Плоткин Биография и карьера Гордона Плоткина Гордон Дэвид Плоткин, известный специалист по теоретической информатике, родился 9 сентября 1946 года. 

Вики

Давид Парнас — Википедия

/

Дэвид Парнас Биография и достижения Дэвида Парнаса Канадский первопроходец в области программного обеспечения, разработал концепцию сокрытия информации.  Известен приверженностью точному

Вики

Эдсгер В. Дейкстра — Википедия

/

Эдсгер В. Дейкстра Эдсгер У. Дейкстра — голландский ученый-компьютерщик, программист, инженер-программист-технолог, математик и научный эссеист.  Дейкстра родился в Роттердаме и

Вики

Эдсгер В. Дейкстра — Википедия

/

Эдсгер В. Дейкстра Эдсгер Дейкстра — голландский ученый-компьютерщик, известный своими работами в области программирования и алгоритмов.  Дейкстра внес значительный вклад

Прокрутить вверх