| № | Дата |
Автор |
Заглавие |
|---|
|
2002 |
Царьков, Дмитрий Викторович |
Верификация распределенных программ методом проверки на модели : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 05.13.11 / Царьков Дмитрий Викторович ; Моск. гос. ун-т им. М.В.Ломоносова, Фак. вычисл. математики и кибернетики |
|
1992 |
Кириенко, Наталья Алексеевна (кандидат технических наук) |
Оптимизация программ в процессе трансляции : Автореф. дис. на соиск. учен. степ. канд. техн. наук: (05.13.11) / Мин. радиотехн. ин-т |
|
1987 |
Макаров, Виктор Петрович (кандидат физико-математических наук) |
Автоматизация разработки синтаксических и семантических анализаторов : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 06.13.11 / Макаров Виктор Петрович ; Акад. наук Бел. ССР, Ин-т математики |
|
1993 |
Козин, Игорь Викторович (доктор физико-математических наук ; род. 1956) |
Исследование геометрической структуры решений некоторых классов задач дискретного програмирования : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 05.13.16 / Запорож. гос. ун-т |
|
2005 |
Корчагин, Данил Николаевич |
Быстрый проекционный метод обработки мультимедиа информации : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18 / Корчагин Данил Николаевич ; [Московский государственный университет им. М.В.Ломоносова] |
|
2007 |
Грибова, Валерия Викторовна (доктор технических наук) |
Автоматизация проектирования, реализации и сопровождения пользовательского интерфейса на основе онтологического подхода : автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.11 / Грибова Валерия Викторовна ; [Институт автоматики процессов управления Дальневосточного отделения РАН] |
|
2007 |
Пунтиков, Николай Игоревич |
Метод выбора модели процесса разработки программного изделия на основе формализации описания пространства характеристик проектов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 / Пунтиков Николай Игоревич ; [Санкт-Петербургский институт информатики и автоматизации РАН] |
|
2003 |
Иванова, Елена Борисовна |
Java 2. Enterprise edition. Технологии проектирования и разработки / Елена Иванова, Максим Вершинин |
|
1999 |
Гарнаев, Андрей Ю |
Самоучитель VBA |
|
1981 |
Кузнецов, Анатолий Тимофеевич (кандидат педагогических наук, информатика ; род. 1947) |
Задания к практикуму по вычислениям и измерениям : учебно-методическое пособие / А. Т. Кузнецов, А. И. Павловский, В. К. Пономаренко ; Министерство просвещения БССР, Минский государственный педагогический институт им. А. М. Горького |
|
2000 |
Браун, Марк |
Использование HTML 4 : Пер. с англ. / Марк Браун, Джерри Хоникатт и др. ; Под. ред. Г.П.Петриковца |
|
1992 |
Юрченко, Валентин Владимирович |
Функциональные сети / Отв. ред. В. А. Геловани ; Рос. АН, Ин-т систем. анализа |
|
1970 |
|
Математическое обеспечение ЭВМ "Минск-2 (22)" в режиме Т / Институт математики АН БССР. — Вып. 7: Библиотека стандартных программ, ч. 5 / Минский филиал Научно-исследовательского центра электронной вычислительной техники ; под редакцией Э. В. Ковалевича, А. А. Пальцева, Н. Д. Соколовой |
|
2002 |
Костельцев, Андрей Вячеславович |
GTK+. Разработка переносимых графических интерфейсов / Андрей Костельцев |
|
2001 |
Грабер, Мартин |
SQL : Пер. с англ. / Мартин Грабер |
|
2001 |
Цимбал, Александр |
Технология CORBA / Александр Цимбал |
|
1994 |
Зельднер, Григорий Алексеевич |
QuickBASIC для Носорога |
|
1995 |
Харрис, Лоуренс |
Программирование ОLE. Освой самостоятельно за 21 день : Пер. с англ. / Под общ. ред. В.Тимофеева |
|
2000 |
|
Использование Microsoft Excel 2000 : Пер. с англ. / Патрик Блатнер, Лори Ульрих, Кен Кук, Тимоти Дик |
|
2001 |
Мусина, Т. В. |
Visual FoxPro 7.0 : Учеб. курс / Мусина Т.В., Пушенко В.А |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ