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