Поисковый запрос: (<.>K=эвм<.>) |
Общее количество найденных документов : 233
Показаны документы с 1 по 30 |
|
1. 
| АР94-2386
Кучкаров, Ж. Я.
Автоматизация решения на ЭВМ уравнений математической физики с применением полиномиальных методов [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / Ж. Я. Кучкаров. - Алматы, 1993. - 16 с
В надзаг.: Каз. гос. нац. ун-т им. Аль-Фараби. Библиогр.:с.16 (6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
2.
| АР97-1512
Адигамов, А. Э.
Автоматизация структурного анализа синтеза имитационных моделей при проектировании сетей ЭВМ [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / А. Э. Адигамов. - М., 1997. - 22 с.
Библиогр.:с. 21-22(5 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
3.
| АР91-8512
Альшаэр Фахед
Автоматизация тестового диагностирования дискретных устройств ЭВМ на БИС(СБИС) ПЛМ [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / Альшаэр Фахед. - Минск, 1991. - 15 с. : ил
В надзаг.: Белорус.гос.ун-т им.В.И.Ленина. Библиогр.: с. 14-15(10назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
4.
| АР91-8007
Чон Сек Хен
Автоматизированное проектирование топологии аналого-цифровых интегральных схем РЭС на персональных ЭВМ [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.12.13 / Чон Сек Хен. - Л., 1991. - 14 с. : ил
В надзаг.: Ленингр.электротехн.ин-т им.В.И.Ульянова(Ленина). Библиогр.: с.14(2назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
5.
| АР90-04694
Матусевич, В. И.
Автоматизированное производство аэродинамических моделей дозвуковых самолетов на основе комплексного применения технологического оборудования с ЧПУ и ЭВМ [Текст] : дис. на соискание ученой степени д-ра техн. наук в форме науч. докл.: 05.07.04 / В. И. Матусевич. - Харьков, 1990. - 37 с. : ил.
В надзаг. : Харьк. авиац. ин-т им.Н.Е.Жуковского. Библиогр.:с. 33-37(31 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
6.
| Ар14-7252
Власенко, А. Ю.
Автоматизированный контроль корректности MPI-программ на основе шаблонов ошибочного поведения [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. Ю. Власенко. - Томск, 2014. - 16 с. : ил. - Библиогр.: с. 15-16 (9 назв.). - Тираж не указ.
Кл.слова (ненормированные):
программирование для эвм параллельное -- программы -- отладка
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
7.
| АР94-2050
Исса Сухель
Автоматизированный частотный электропривод с векторным управлением от ЭВМ [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.09.03 / Исса Сухель. - Минск, 1994. - 18 с. : ил
В надзаг.: Белорус. гос. политехн. акад. Библиогр.:с.18 (5 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
8.
| Ар14-4520
Исходжанов, Т. Р.
Автоматический поиск ошибок в компьютерных программах с применением динамического анализа [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / Т. Р. Исходжанов. - М., 2013. - 21 с. - Библиогр.: с. 21 (5 назв.). - 100 экз.
Кл.слова (ненормированные):
программы для эвм -- ошибки -- динамическое тестирование
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
9.
| АР94-441
Вагин, Д. А.
Адаптируемая мобильная операционная система микро-ЭВМ для автоматизации физических исследований [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Д. А. Вагин. - М., 1993. - 17 с
В надзаг.: Моск.гос.инж.-физ.ин-т (техн.ун-т). Библиогр.: с.17( 2 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
10.
| Ар04-5973
Оцоков, Ш. А.
Алгоритмическая и структурная организация высокопроизводительных ЭВМ с использованием модели безошибочных вычислений [Текст] : автореф. дис. ... канд. техн. наук : 05.13.15, 05.13.05 / Ш. А. Оцоков. - М., 2004. - 24 с. : ил.
Библиогр.: с. 22-24 (10 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
11.
| Ар07-2931
Черных, И. Г.
Алгоритмический и программный инструментарий для численного решения прямых задач химической кинетики с использованием супер-ЭВМ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / И. Г. Черных. - Новосибирск, 2006. - 18 с. : ил. - Библиогр.: с. 16-18(9 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
12.
| Ар10-24611
Булычев, П. Е.
Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / П. Е. Булычев. - М., 2010. - 28 с. : ил. - Библиогр.: с. 27-28 (10 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
Кл.слова (ненормированные):
программы для эвм -- верификация -- реструктуризация -- математические методы -- алгоритмы -- формальный язык -- структуры крипке -- проверка симуляций -- обнаружение клонов
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
13.
| АР97-3262
Салахиев, Р. Р.
Алгоритмы и программное обеспечение автоматизации расчетов при проектировании тонкостенных конструкций на персональных ЭВМ на базе метода конечных элементов [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / Р. Р. Салахиев. - Казань, 1997. - 16 с. : ил.
В надзаг. :Казан.гос.техн.ун-т им.А.Н.Туполева. Библиогр.:с. 15 (7 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
14.
| Ар14-2626
Якименко, А. А.
Алгоритмы и программный инструментарий для гибридных супер-ЭВМ в задачах обнаружения подземных полостей и анализа генетических данных [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. А. Якименко. - Новосибирск, 2013. - 16 с. - Библиогр.: с. 14-16 (13 назв.). - 100 экз.
Кл.слова (ненормированные):
подземные ядерные взрывы -- моделирование
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
15.
| АР91-15262
Таций, И. В.
Анализ использования производственного оборудования с применением ЭММ и ЭВМ:На прим.предприятий машиностроения [Текст] : автореферат диссертации на соискание ученой степени канд.экон.наук:08.00.12 / И. В. Таций. - Воронеж, 1991. - 19 с. : ил
В надзаг.: Воронеж.ун-т им.Ленин.комсомола. Библиогр.: с. 18-19(6назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
16.
| АР95-5127
Шумар, С. В.
Анализ некоторых многокомпонентных систем потенциометрическим титрованием с применением ЭВМ [Текст] : автореферат диссертации на соискание ученой степени канд.хим.наук:02.00.02 / С. В. Шумар. - Томск, 1995. - 22 с. : ил
Библиогр.: с.22(7 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
17.
| АР95-4682
Пуртов, А. М.
Анализ производительности сетей ЭВМ на графах и имитационных моделях [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / А. М. Пуртов. - Новосибирск, 1995. - 17 с. : ил
В надзаг.: Рос. АН, Сиб. отд-ние, ВЦ. Библиогр.:с.16-17 (12 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
18.
| Ар13-13171
Соловьев, А. А.
Анализ случайных дискретно-точечных полей с использованием аналитических преобразований на ЭВМ [Текст] : автореф. дис. ... канд. техн. наук : 05.13.18 / А. А. Соловьев. - Новосибирск, 2013. - 18 с. : ил. - Библиогр.: с. 17-18 (12 назв.)
Кл.слова (ненормированные):
случайные сигналы -- анализ -- обработка изображений
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
19.
| АР91-04935
Грицкив, З. Д.
Анализ, расчет и оптимизация сканирующих устройств ввода и вывода ЭВМ на основе прецизионных электронно--лучевых трубок [Текст] : автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.05 / З. Д. Грицкив. - М., 1991. - 39 с. : ил.
В надзаг. : Моск. энерг. ин-т.32-39(70 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
20.
| Ар11-23183
Макошенко, Д. В.
Аналитическое предсказание времени исполнения программ и основанные на нем методы оптимизации [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / Д. В. Макошенко. - Новосибирск, 2011. - 23 с. - Библиогр.: с. 22 (7 назв.)
Кл.слова (ненормированные):
программы для эвм -- оптимизация
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
21.
| АР96-2748
Ни Минь Кань
Асимптотика контрастных структур в вариационных задачах в среде аналитических вычислений на ЭВМ [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / Ни Минь Кань. - Переславль-Залесский, 1995. - 22 с.
В надзаг. :Рос.АН, Инт програм.систем.Библиогр.:с. 21-22 (8 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
22.
| Ар15-3282
Подымов, В. В.
Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / В. В. Подымов. - М., 2015. - 24 с. : ил. - Библиогр.: с. 24 (7 назв.). - 100 экз.
Кл.слова (ненормированные):
программы для ЭВМ -- эквивалентность
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
23.
| Ар12-10501
Марьясов, И. В.
Верификация C-программ с помощью смешанной аксиоматической семантики [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / И. В. Марьясов. - Новосибирск, 2012. - 18 с. - Библиогр.: с. 15-17 (11 назв.)
Кл.слова (ненормированные):
программы для эвм -- верификация
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
24.
| АР94-4938
Али А.Мохаммад.
Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Али А.Мохаммад. - СПб, 1994. - 16 с.
В надзаг.: С.-Петербург.гос.электротехн.ун-т им.В.И.Ульянова (Ленина). Библиогр.: с.16 (3 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
25.
| АР92-9275
Горянкин, А. В.
Верификация проектов аппаратных средств ЭВМ на основе параллельных описаний [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. В. Горянкин. - СПб, 1992. - 16 с
В надзаг.: С.-Петербург.электротехн.ин-т им.В.И.Ульянова(Ленина). Библиогр.: с. 16(3назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
26.
| АР02-415
Ирбенек, В. С.
Временная верификация и оптимизация размещения компонентов предельных по быстродействию ЭВМ [Текст] : автореферат диссертации на соискание ученой степени д-ра техн. наук :05.13.12 / В. С. Ирбенек. - М., 2001. - 41 с. : ил.
В надзаг.: Ин-т микропроцессорных вычислительных систем Рос. АН. Библиогр.: с. 39-41(29 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
27.
| АР10-29867
Ключников, И. Г.
Выявление и доказательство свойств функциональных программ методами суперкомпиляции [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05/13/11 / И. Г. Ключников. - М., 2010. - 20 с. - Библиогр.: с. 20 (10 назв.)
Кл.слова (ненормированные):
программы для эвм -- верификация -- программирования язык Haskell
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
28.
| Ар13-18345
Егоров, К. В.
Генерация управляющих автоматов на основе генетического программирования и верификации [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / К. В. Егоров. - СПб., 2013. - 16 с. : ил. - Библиогр.: с. 15-16 (11 назв.)
Кл.слова (ненормированные):
программное обеспечение эвм -- проектирование -- автоматизация
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
29.
| Ар03-819
Симонов, В. П.
Гибридные электронно-оптические устройства и системы преобразования динамических изображений для ввода в ЭВМ [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.05, 05.11.07 / В. П. Симонов. - М., 2002. - 37 с. : ил.
Библиогр.: с. 34-37(45 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
30.
| Ар14-4422
Трифанов, В. Ю.
Динамическое обнаружение состояний гонки в многопоточных Java-программах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / В. Ю. Трифанов. - СПб., 2013. - 17 с. : ил. - Библиогр.: с. 17 (5 назв.). - 100 экз.
Кл.слова (ненормированные):
программирование для эвм параллельное
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных