Поисковый запрос: (<.>K=проверка<.>) |
Общее количество найденных документов : 45
Показаны документы с 1 по 20 |
|
1. 
| Ар10-24611
Булычев, П. Е.
Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / П. Е. Булычев. - М., 2010. - 28 с. : ил. - Библиогр.: с. 27-28 (10 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
Кл.слова (ненормированные):
программы для эвм -- верификация -- реструктуризация -- математические методы -- алгоритмы -- формальный язык -- структуры крипке -- проверка симуляций -- обнаружение клонов
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
2.
| АР95-3786
Ашманов, И. С.
Архитектура и технология промышленной реализации прикладных лингвистических систем (проверка правописания и электронные словари) [Текст] : автореферат диссертации на соискание ученой степени канд. техн.наук:05.13.11 / И. С. Ашманов. - Переславль-Залесский, 1995. - 22 с
В надзаг.: Рос.АН. Ин-т програм. систем. Библиогр.: с.22(20назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
3.
| Ар12-3283
Волкова, К. Ю.
Асимптотическая эффективность критериев согласия, основанных на характеризационных свойствах распределений [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.05 / К. Ю. Волкова. - СПб., 2011. - 20 с. - Библиогр.: с. 17-20
Кл.слова (ненормированные):
математическая статистика -- статистические гипотезы -- проверка
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
4.
| Ар14-2162
Галиева, Н. К.
Асимптотические свойства статистик, основанные на выборках случайного объема [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.05 / Н. К. Галиева. - М., 2013. - 16 с. - Библиогр.: с. 15-16 (8 назв.). - 100 экз.
В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
Кл.слова (ненормированные):
математическая статистика -- выборочные квантили -- проверка гипотез
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
5.
| АР97-2758
Лебедева, Н. В.
Аудиторская проверка запасов товарно-материальных ценностей [Текст] : автореферат диссертации на соискание ученой степени канд. экон. наук: 08.00.12 / Н. В. Лебедева. - СПб, 1997. - 17 с.
Библиогр.:с. 17
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
6.
| АР02-2552
Володин, С. Н.
Аудиторская проверка филиалов в системе внутреннего контроля коммерческого банка [Текст] : автореферат диссертации на соискание ученой степени канд. экон. наук :08.00.12 / С. Н. Володин. - М., 2001. - 22 с. + 150 экз.
В надзаг.: Рос. экон. акад. им. Г. В. Плеханова. Библиогр.: с. 22(6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
7.
| Ар13-8933
Полубелова, О. В.
Верификация правил фильтрации межсетевых экранов на основе применения метода "проверка на модели" [Текст] : автореф. дис. ... канд. техн. наук : 05.13.19 / О. В. Полубелова. - СПб., 2013. - 20 с. : ил. - Библиогр.: с. 19-20
Кл.слова (ненормированные):
компьютерные сети -- защита информации -- межсетевые экраны
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
8.
| Ар11-10674
Штоль, Д. А.
Измерение сечения процесса e+e- +пи- в области энергии кв. корень s=1.04 - 1.38 ГэВ с детектором СНД на коллайдере ВЭПП-2М [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.04.16 / Д. А. Штоль. - Новосибирск, 2011. - 16 с. : ил. - Библиогр.: с. 16 (8 назв.)
Кл.слова (ненормированные):
аннигиляция -- адроны -- ускорительные комплексы -- стандартная модкль -- проверка
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
9.
| Ар11-22265
Битюков, С. И.
Методика статистического анализа данных при планировании экспериментов по поиску новых явлений в физике высоких энергий [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.04.23 / С. И. Битюков. - Протвино, 2011. - 24 с. : ил. - Библиогр.: с. 21-24 (32 назв.)
В надзаг.: Ин-т физики высоких энергий
Кл.слова (ненормированные):
компактный мюонный соленоид -- большой адронный коллайдер -- проверка гипотез -- доверительное оценивание
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
10.
| Ар14-4508
Валиулина, Н. В.
Методическое обеспечение оперативного автоматизированного контроля результативности группового обучения [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01, 05.13.10 / Н. В. Валиулина. - Серпухов, 2013. - 18 с. : ил. - Библиогр.: с. 17-18 (14 назв.). - 100 экз.
Кл.слова (ненормированные):
проверка знаний -- нейронная система -- метод наименьших квадратов
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
11.
| АР00-1370
Балдин, А. А.
Методы подобия в релятивистской ядерной физике и их экспериментальная проверка [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.04.16 / А. А. Балдин. - Дубна, 1999. - 31 с. : ил.
В надзаг. :Объед. ин-т ядерных исследований. Библиогр.:с. 29-31(28 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
12.
| Ар14-8143
Солдаткина, М. В.
Многомерные параметрические модели случайных подстановок и их вероятностно-статистический анализ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.05 / М. В. Солдаткина. - М., 2014. - 20 с. - Библиогр.: с. 19-20. - 120 экз.
Кл.слова (ненормированные):
статистическое оценивание -- статистические гипртезы -- информация -- защита -- криптография -- проверка
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
13.
| Ар12-20787
Матыцин, М. С.
Моделирование индексов потребительских цен для доходных групп российских домашних хозяйств (на основе совместного использования информации выборочных обследований и макростатистики) [Текст] : автореф. дис. ... канд. экон. наук : 08.00.13 / М. С. Матыцин. - М., 2012. - 26 с. : ил. - Библиогр.: с. 26 (3 назв.)
Кл.слова (ненормированные):
цены покупок -- статистическая проверка -- выборочное обследование домашних хозяйств -- модель общих индексов цен покупок
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
14.
| АР02-5067
Ферапонтов, Н. Б.
Модель для описания параметров растворов сшитых полиэлектролитов, ее экспериментальная проверка и применение [Текст] : автореферат диссертации на соискание ученой степени д-ра хим. наук :02.00.04 / Н. Б. Ферапонтов. - М., 2001. - 49 с. + 150 экз.
В надзаг.: Моск. гос. ун-т им. М. В. Ломоносова, Хим. фак. Библиогр.: с. 47-49
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
15.
| Ар13-12626
Кашицын, П. А.
Некоторые статистические критерии и их свойства в моделях многомерного гауссовского анализа [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.05 / П. А. Кашицын. - М., 2013. - 20 с. - Библиогр.: с. 20 (6 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.
Кл.слова (ненормированные):
многомерный статистический анализ -- проверка гипотез -- произведения кронекера
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
16.
| Ар11-175
Королев, Р. А.
О мощности критерия знаков в случае распределения Лапласа [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.05 / Р. А. Королев. - М., 2010. - 16 с. - Библиогр.: с. 16 (6 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
Кл.слова (ненормированные):
характеристические функции -- проверка гипотез -- предельное распределение -- наилучший критерий -- отношение правдоподобия
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
17.
| Ар14-7634
Якимова, В. А.
Организационно-методическое обеспечение оценки аудиторских доказательств [Текст] : автореф. дис. ... канд. экон. наук : 08.00.12 / В. А. Якимова. - Оренбург, 2014. - 25 с. : ил. - Библиогр.: с. 24-25 (18 назв.). - 100 экз.
Кл.слова (ненормированные):
аудиторское заключение -- проверка отчетности -- контроль аудита
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
18.
| Ар07-5066
Коробейникова, И. В.
Оценивание точности стрельбы и проверка гипотез в информационно-измерительных системах [Текст] : автореф. дис. ... канд. техн. наук : 05.11.16, 05.13.18 / И. В. Коробейникова. - Ижевск, 2006. - 24 с. : ил. - Библиогр.: с. 23-24(16 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
19.
| Ар12-13925
Корицкий, А. В.
Оценка влияния человеческого капитала на экономический рост: теория, методология, эмпирическая проверка [Текст] : автореф. дис. ... д-ра экон. наук : 08.00.01 / А. В. Корицкий. - Красноярск, 2012. - 35 с. : ил. - Библиогр.: с. 29-35 (68 назв.)
Кл.слова (ненормированные):
человеческий капитал -- социально-экономическое развитие -- инновационное развитие -- экономический рост
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
20.
| Ар11-24598
Михайлов, И. И.
Повышение качества автоматической демодуляции линейных многоширинных штриховых кодов путем устранения влияния шумов и расфокусировки [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / И. И. Михайлов. - М., 2011. - 29 с. : ил. - Библиогр.: с. 27-29 (17 назв.)
Кл.слова (ненормированные):
демодуляция штриховых кодов -- линейная и нелинейная фильтрация -- оценка степени расфокусировки -- экспериментальная проверка
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных