![]() БИБЛИОТЕК БЕЛАРУСИ | История поисков |
Базовый поиск | Расширенный поиск | Cловари | ГРНТИ | Новые поступления |
---|
Справка
Mirkowska-Salwicka, Grażyna (информатика ; род. 1943) (польский язык) |
Специалист в области информатики. Хабилитированный доктор математических наук (Варшавский университет, 1981), профессор (2012). Член Польского математического общества. Окончила Варшавский университет (математический факультет, 1965). Преподаватель Варшавского университета (1964–1986, 1988–1992), кафедры комплексных систем автоматизации Польской академии наук (1986–1988), Белостокского технического университета (1995–1996, 1998–2000), Польско-Японской академии информационных технологий (с 2000), Университета кардинала Стефана Вышинского (Варшава).
Научные интересы: спецификация структур данных; многоагентная система; параллельные и распределенные процессы; формальные методы верификации программ.
Вариантная форма имени
Mirkowska, Grażyna (род. 1943) (девичья фамилия, польский язык) |
Mirkowska-Salwicka, Mirosława (род. 1943) (польский язык) |
Мирковска, Гражина (род. 1943) (девичья фамилия) |
Мирковска-Салвицка, Гражина (информатика ; род. 1943) |
Мирковска-Салвицка, Мирослава (род. 1943) |
Источники информации
Algorithmic Logic / Grażyna Mirkowska, Andrzej Salwicki. — Warszawa, 1987.
БД "VIAF. Виртуальный международный авторитетный файл". Дата обращения: 13.12.2023.
Сайт "Wikipedia". Дата обращения: 13.12.2023.
Сайт "Архив академика А. П. Ершова". Фамилия: Мирковска. Дата обращения: 13.12.2023.
Чтобы вернуться назад, щелкните кнопку BACK на Вашем браузере
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024 © Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси |