Поисковый запрос: (<.>K=проверка<.>) |
Общее количество найденных документов : 45
Показаны документы с 1 по 30 |
|
1. 
| АР95-3786
Ашманов, И. С.
Архитектура и технология промышленной реализации прикладных лингвистических систем (проверка правописания и электронные словари) [Текст] : автореферат диссертации на соискание ученой степени канд. техн.наук:05.13.11 / И. С. Ашманов. - Переславль-Залесский, 1995. - 22 с
В надзаг.: Рос.АН. Ин-т програм. систем. Библиогр.: с.22(20назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
2.
| АР00-1370
Балдин, А. А.
Методы подобия в релятивистской ядерной физике и их экспериментальная проверка [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.04.16 / А. А. Балдин. - Дубна, 1999. - 31 с. : ил.
В надзаг. :Объед. ин-т ядерных исследований. Библиогр.:с. 29-31(28 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
3.
| Ар11-22265
Битюков, С. И.
Методика статистического анализа данных при планировании экспериментов по поиску новых явлений в физике высоких энергий [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.04.23 / С. И. Битюков. - Протвино, 2011. - 24 с. : ил. - Библиогр.: с. 21-24 (32 назв.)
В надзаг.: Ин-т физики высоких энергий
Кл.слова (ненормированные):
компактный мюонный соленоид -- большой адронный коллайдер -- проверка гипотез -- доверительное оценивание
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
4.
| Ар10-24611
Булычев, П. Е.
Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / П. Е. Булычев. - М., 2010. - 28 с. : ил. - Библиогр.: с. 27-28 (10 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
Кл.слова (ненормированные):
программы для эвм -- верификация -- реструктуризация -- математические методы -- алгоритмы -- формальный язык -- структуры крипке -- проверка симуляций -- обнаружение клонов
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
5.
| Ар14-4508
Валиулина, Н. В.
Методическое обеспечение оперативного автоматизированного контроля результативности группового обучения [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01, 05.13.10 / Н. В. Валиулина. - Серпухов, 2013. - 18 с. : ил. - Библиогр.: с. 17-18 (14 назв.). - 100 экз.
Кл.слова (ненормированные):
проверка знаний -- нейронная система -- метод наименьших квадратов
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
6.
| Ар12-3283
Волкова, К. Ю.
Асимптотическая эффективность критериев согласия, основанных на характеризационных свойствах распределений [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.05 / К. Ю. Волкова. - СПб., 2011. - 20 с. - Библиогр.: с. 17-20
Кл.слова (ненормированные):
математическая статистика -- статистические гипотезы -- проверка
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
7.
| АР02-2552
Володин, С. Н.
Аудиторская проверка филиалов в системе внутреннего контроля коммерческого банка [Текст] : автореферат диссертации на соискание ученой степени канд. экон. наук :08.00.12 / С. Н. Володин. - М., 2001. - 22 с. + 150 экз.
В надзаг.: Рос. экон. акад. им. Г. В. Плеханова. Библиогр.: с. 22(6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
8.
| Ар14-2162
Галиева, Н. К.
Асимптотические свойства статистик, основанные на выборках случайного объема [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.05 / Н. К. Галиева. - М., 2013. - 16 с. - Библиогр.: с. 15-16 (8 назв.). - 100 экз.
В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
Кл.слова (ненормированные):
математическая статистика -- выборочные квантили -- проверка гипотез
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
9.
| Ар04-5308
Голосов, А. С.
Разработка и экспериментальная проверка метода расчета концентраций оксидов азота в дизелях на основе многозонной модели рабочего процесса [Текст] : автореф. дис. ... канд. техн. наук : 05.04.02 / А. С. Голосов. - М., 2003. - 16 с. : ил.
Библиогр.: с. 12(4 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
10.
| АР96-3106
Горяинова, Е. Р.
Проверка адекватности регрессионных схем непараметрическими методами [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Е. Р. Горяинова. - М., 1996. - 19 с. : ил
В надзаг. : Моск.гос.авиац.ин-т.Библиогр.:с. 19(5 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
11.
| АР98-3700
Змеева, Е. Е.
Проверка гипотез о дисперсии нестационарного некоррелированного гауссовского шума [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / Е. Е. Змеева. - Томск, 1998. - 20 с.
В надзаг. :Томский гос. ун-т. Библиогр.:с. 20(6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
12.
| Ар13-12626
Кашицын, П. А.
Некоторые статистические критерии и их свойства в моделях многомерного гауссовского анализа [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.05 / П. А. Кашицын. - М., 2013. - 20 с. - Библиогр.: с. 20 (6 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.
Кл.слова (ненормированные):
многомерный статистический анализ -- проверка гипотез -- произведения кронекера
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
13.
| АР02-3110
Козлов, М. Г.
Прецизионные расчеты эффектов несохранения четности в атомах и проверка стандартной модели [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук :01.04.02 / М. Г. Козлов. - Гатчина, 2002. - 18 с. + 100 экз.
В надзаг.: Рос. акад. наук, Петерб. ин-т ядер. физики им. Б. П. Константинова. Библиогр.: с. 14-18 (24 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
14.
| Ар12-13925
Корицкий, А. В.
Оценка влияния человеческого капитала на экономический рост: теория, методология, эмпирическая проверка [Текст] : автореф. дис. ... д-ра экон. наук : 08.00.01 / А. В. Корицкий. - Красноярск, 2012. - 35 с. : ил. - Библиогр.: с. 29-35 (68 назв.)
Кл.слова (ненормированные):
человеческий капитал -- социально-экономическое развитие -- инновационное развитие -- экономический рост
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
15.
| Ар07-5066
Коробейникова, И. В.
Оценивание точности стрельбы и проверка гипотез в информационно-измерительных системах [Текст] : автореф. дис. ... канд. техн. наук : 05.11.16, 05.13.18 / И. В. Коробейникова. - Ижевск, 2006. - 24 с. : ил. - Библиогр.: с. 23-24(16 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
16.
| Ар11-175
Королев, Р. А.
О мощности критерия знаков в случае распределения Лапласа [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.05 / Р. А. Королев. - М., 2010. - 16 с. - Библиогр.: с. 16 (6 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
Кл.слова (ненормированные):
характеристические функции -- проверка гипотез -- предельное распределение -- наилучший критерий -- отношение правдоподобия
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
17.
| АР97-2758
Лебедева, Н. В.
Аудиторская проверка запасов товарно-материальных ценностей [Текст] : автореферат диссертации на соискание ученой степени канд. экон. наук: 08.00.12 / Н. В. Лебедева. - СПб, 1997. - 17 с.
Библиогр.:с. 17
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
18.
| АР99-1860
Литвак, М. Л.
Проверка космологической модели гамма-всплесков на основе экспериментальных данных [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.03.02 / М. Л. Литвак. - М., 1998. - 12 с.
Библиогр.:с. 12(6назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
19.
| АР00-3634
Макаров, М. Н.
Разработка и экспериментальная проверка методов подготовки, принятия и исполнения финансовых решений при повышении эффективности работы предприятия [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.16 / М. Н. Макаров. - М., 1999. - 24 с. : ил.
В надзаг. :Моск. физико-техн.ин-т (гос.ун-т). Библиогр.:с. 24(6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
20.
| Ар12-20787
Матыцин, М. С.
Моделирование индексов потребительских цен для доходных групп российских домашних хозяйств (на основе совместного использования информации выборочных обследований и макростатистики) [Текст] : автореф. дис. ... канд. экон. наук : 08.00.13 / М. С. Матыцин. - М., 2012. - 26 с. : ил. - Библиогр.: с. 26 (3 назв.)
Кл.слова (ненормированные):
цены покупок -- статистическая проверка -- выборочное обследование домашних хозяйств -- модель общих индексов цен покупок
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
21.
| Ар06-8385
Машевич, П. Р.
Разработка средств автоматизации проектирования изделий микроэлектроники дизайн-центра и экспериментальная проверка их эффективности [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 / П. Р. Машевич. - Воронеж, 2006. - 16 с. - Библиогр.: с. 14-16(32 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
22.
| Ар11-24598
Михайлов, И. И.
Повышение качества автоматической демодуляции линейных многоширинных штриховых кодов путем устранения влияния шумов и расфокусировки [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / И. И. Михайлов. - М., 2011. - 29 с. : ил. - Библиогр.: с. 27-29 (17 назв.)
Кл.слова (ненормированные):
демодуляция штриховых кодов -- линейная и нелинейная фильтрация -- оценка степени расфокусировки -- экспериментальная проверка
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
23.
| Ар03-12732
Ольшевский, А. Г.
Проверка стандартной теории электрослабых взаимодействий в эксперименте ДЕЛФИ на ЛЭП [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.04.16 / А. Г. Ольшевский. - Дубна, 2002. - 54 с. : ил.
В надзаг.: Объед. ин-т ядерных исследований. Библиогр.: с. 50-54(28 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
24.
| Ар07-4071
Петинов, Ю. О.
Проверка функционирования электрических цепей светотехнических изделий автомобиля в условиях промышленного производства [Текст] : автореф. дис. ... канд. техн. наук : 05.09.03 / Ю. О. Петинов. - М., 2006. - 19 с. : ил. - Библиогр.: с. 19 (5 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
25.
| Ар13-8933
Полубелова, О. В.
Верификация правил фильтрации межсетевых экранов на основе применения метода "проверка на модели" [Текст] : автореф. дис. ... канд. техн. наук : 05.13.19 / О. В. Полубелова. - СПб., 2013. - 20 с. : ил. - Библиогр.: с. 19-20
Кл.слова (ненормированные):
компьютерные сети -- защита информации -- межсетевые экраны
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
26.
| АР99-4607
Прахов, С. Н.
Проверка правила Окубо-Цвейга-Иизуки в рождении (1020)- и (1525)-мезонов при аннигиляции остановившихся антипротонов [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.04.16 / С. Н. Прахов. - Дубна, 1999. - 19 с. : ил.
В надзаг. :Об[ед. ин-т ядерных исследований. Библиогр.:с. 17-19(33 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
27.
| Ар08-6607
Рамазанова, Р. Б
Учет и аудиторская проверка договоров подряда в строительных организациях [Текст] : автореф. дис. ... канд. экон. наук : 08.00.12 / Р. Б. Рамазанова. - М., 2008. - 27 с. : ил. - Библиогр.: с. 26-27(12 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Экон. фак.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
28.
| Ар14-2886
Родионов, И. В.
Статистический анализ и проверка гипотез о распределении экстремумов временного ряда [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.05 / И. В. Родионов. - М., 2014. - 15 с. - Библиогр.: с. 15 (5 назв.). - 100 экз.
В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.
Кл.слова (ненормированные):
теория вероятностей -- случайные процессы -- предельные теоремы
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
29.
| Ар14-8143
Солдаткина, М. В.
Многомерные параметрические модели случайных подстановок и их вероятностно-статистический анализ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.05 / М. В. Солдаткина. - М., 2014. - 20 с. - Библиогр.: с. 19-20. - 120 экз.
Кл.слова (ненормированные):
статистическое оценивание -- статистические гипртезы -- информация -- защита -- криптография -- проверка
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
30.
| Ар03-13529
Сосновский, А. Ю.
Разработка, опытно-промышленная проверка и реализация комплекса мероприятий по нормализации тепловых расширений паровых турбин [Текст] : автореф. дис. ... канд. техн. наук : 05.04.12 / А. Ю. Сосновский. - Екатеринбург, 2002. - 20 с. : ил.
Библиогр.: с. 19-20(10 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных