| № | Дата |
Автор |
Заглавие |
|---|
|
2002 |
Царьков, Дмитрий Викторович |
Верификация распределенных программ методом проверки на модели : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 05.13.11 / Царьков Дмитрий Викторович ; Моск. гос. ун-т им. М.В.Ломоносова, Фак. вычисл. математики и кибернетики |
|
1993 |
Орлов, Михаил Александрович (доктор технических наук ; род. 1947) |
Системотехнические основы организации и разработки программно-аппаратных средств моделирования для комплексных САПР ИЭВТ : научный доклад по опубликованным работам, представленный на соискание ученой степени доктора технических наук : специальности 05.13.05 Элементы и устройства вычислительной техники и систем управления, 05.13.12 Системы автоматизации проектирования / Орлов Михаил Александрович ; Министерство науки, высшей школы и технической политики Российской Федерации, Институт точной механики и оптики |
|
2002 |
Бецков, Александр Викторович (доктор технических наук) |
Разработка и обоснование методики оценки показателей безопасности воздушного движения в Российской Федерации на основе ограниченной исходной статистики : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.22.13 Навигация и управление воздушным движением / Бецков Александр Викторович ; [Московский государственный технический университет гражданской авиации] |
|
2003 |
Агамалов, Юрий Рубенович |
Теоретические основы построения и техническая реализация многофункциональных преобразователей комплексного сопротивления на базе адаптивного подхода : автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.05 / Агамалов Юрий Рубенович ; Российская академия наук, Институт проблем управления им. В.А.Трапезникова |
|
1995 |
Головина, Елена Юрьевна |
Исследование и разработка методов построения интеллектуального репозитория CASE-системы : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.11 / Моск. энергет. ин-т (Техн. ун-т) |
|
2001 |
Токмаков, Геннадий Петрович |
Методы и средства обобщенной ассоциативной обработки символьной и смысловой информации в устройствах общения на естественном языке : Автореф. дис. на соиск. учен. степ. д-ра техн. наук : 05.13.05 / Токмаков Геннадий Петрович ; [Ульян. гос. техн. ун-т] |
|
2000 |
Кошарновский, Александр Николаевич |
Разработка и исследование алгоритмов и процессоров вычисления значений элементарных функций : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.05 / Кошарновский Александр Николаевич ; [Моск. энергет. ин-т (техн. ун-т)] |
|
2000 |
Тыщенко, Григорий Анатольевич |
Разработка метода распознавания слитной речи применительно к компьютерному анализу : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.16 / Ин-т проблем упр. им. В.А.Трапезникова РАН |
|
1990 |
Сидоренко, Владимир Владимирович |
Прикладная теория сопряжения измерительных преобразователей с управляющими микросредствами вычислительной техники для автоматизации сельскохозяйственных объектов : Автореф. дис. на соиск. учен. степ. д-ра техн. наук: 05.13.07 / Центр. науч.-исслед. ин-т механизации и электрификации сел. хоз-ва Нечернозем. зоны СССР |
|
1998 |
Дедиков, Евгений Васильевич |
Экологическая оценка химического воздействия объектов транспорта и хранения газа на окружающую среду : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.16 / Моск. гос. акад. тон. хим. технологии им. М.В.Ломоносова |
|
2007 |
Степанова, Дарья Валерьевна (кандидат филологических наук, языкознание ; род. 1979) |
Лингвистические аспекты перевода на русский язык английских терминологических словосочетаний с использованием корпуса параллельных текстов : (на материале текстов по вычислительной технике) : автореферат диссертации на соискание ученой степени кандидата филологических наук : 10.02.21 / Степанова Дарья Валерьевна ; Минский государственный лингвистический университет |
|
2000 |
Гончарова, Наталия Николаевна (кандидат филологических наук, лингвист, русский язык) |
Особенности формирования лексического фонда подъязыка информатики и вычислительной техники : На материале кодифицир. и некодифицир. лексики : Автореф. дис. на соиск. учен. степ. канд. филол. наук : 10.02.01 / Гончарова Наталия Николаевна ; [Тул. гос. ун-т] |
|
1990 |
Безлюдов, Артур Иосифович (государственный деятель ; доктор экономических наук ; 1934—1996) |
Использование электронной вычислительной техники в подготовке и осуществлении управленческих решений / Безлюдов А. И. ; Министерство народного образования БССР, Межотраслевой институт повышения квалификации и переподготовки руководящих кадров при Белорусском государственном институте народного хозяйства им. В. В. Куйбышева |
|
1981 |
|
Состояние и тенденции развития средств вычислительной техники за рубежом / [Г. К. Беляев] |
|
1990 |
|
Автоматика и вычислительная техника в сельскохозяйственном производстве : Сб. науч. тр. / Моск. ин-т инженеров с.-х. пр-ва им. В. П. Горячкина ; [Науч. ред. И. Ф. Бородин, В. Т. Сергованцев] |
|
2004 |
Павловский, Альварес Иванович (кандидат физико-математических наук ; род. 1937) |
Дидактические материалы по информатике : 10-й класс : пособие для учителей общеобразовательной школы с углубленным изучением информатики с русским языком обучения / А. И. Павловский, А. Е. Пупцев |
|
1989 |
Артюх, Витольд Васильевич (кандидат экономических наук) |
Применение вычислительной техники в материальном учете на автотранспорте / В. В. Артюх, М. В. Чумак ; Белорусский научно-исследовательский институт научно-технической информации и технико-экономических исследований Госплана БССР |
|
1975 |
|
Лабораторный практикум по вычислительной технике / Белорусский институт инженеров железнодорожного транспорта, Кафедра вычислительной техники ; [составители: Е. И. Симашук, О. П. Гораев]. — Ч. 2: Математические основы ЭВМ |
|
2000 |
|
Современная компьютерная техника : Справочник / Гл. ред. О.Годес |
|
2000 |
Шниер, Митчелл |
Толковый словарь компьютерных технологий : Пер. с англ. / Митчелл Шниер |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ