Уточнить поиск
Наличие
-
Авторы
- "Программные семантики, спецификации и верификация", международный научно-исследовательский семинар 8 Москва 2017 (1)
- 070 Емельянов Г. М. д-р техн. наук Геннадий Мартинович (1)
- 340 Захаров В. А. д-р физ.-мат. наук Владимир Анатольевич (1)
- Белоконова С. С. Светлана Сергеевна (1)
- Белоконова С. С. Светлана Сергеевна 070 (1)
- Д. В. Михайлов, Г. М. Емельянов (1)
- М-во образования и науки Рос. Федерации, Гос. образоват. учреждение высш. проф. образования "Таганрог. гос. пед. ин-т" (1)
- М-во образования и науки Российской Федерации, Новгородский гос. ун-т им. Ярослава Мудрого (1)
- Министерство образования и науки Российской Федерации, Национальный исследовательский университет "МЭИ" (1)
- Михайлов Д. В. канд. физ.-мат. наук Дмитрий Владимирович (1)
- Н.Н. Фадеев (1)
- Насыпная Г. А. Галина Анатольевна 070 (1)
- Насыпной В. В. Владимир Владимирович (1)
- Насыпной В.В., Насыпная Г.А. (1)
- Ромм Я. Е. Яков Евсеевич (2)
- Фадеев Н. Н. Николай Николаевич (1)
- Я. Е. Ромм, С. С. Белоконова (1)
- Я.Е. Ромм, С.С. Белоконова (1)
- отв. ред.: В. А. Захаров, Н. В. Шилов] (1)
- Показать больше
- Показать меньше
-
Item types
- Книга (6)
-
Места хранения
-
Предметные рубрики
- Автоматизация (2)
- Автоматическое распознавание текста (1)
- Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Материалы конференции (1)
- Информационный поиск (2)
- Компьютеры (1)
- Математическая лингвистика (1)
- Программирование (компьют.) (1)
- Программы (компьют.) (1)
- Семантика компьютерная (6)
- Структуры данных (1)
- Тезисы докладов (1)
- Трехмерная компьютерная графика (1)
- Учебные издания для высших учебных заведений (1)
- Показать больше
- Показать меньше
-
Коллекции
-
Библиотека хранения
- РНБ (Московский) (3)
-
Языки
- английский (eng) (1)
- русский (rus) (6)