Авторизация
 

Базы данных


Основная база библиотеки - результаты поиска

Вид поиска

Область поиска
в найденном
 Найдено в других БД:Электронные книги ЛитРес (4)
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=доказательства<.>)
Общее количество найденных документов : 45
Показаны документы с 1 по 20
 1-20    21-40   41-45 
1.
517
А 465


   Александров, Игорь Александрович

    Комплексный анализ [Текст] : учебное пособие / И. А. Александров ; Минобрнауки России, Томский государственный университет. - Томск : Изд-во Томского ун-та, 2012 - .
   Ч. 2 : Конформные отображения. Теорема Римана. Формула Шварца-Кристоффеля. Уравнение Шварца. - 184 с : рис. - Библиогр.: с. 155. - ISBN 978-5-7511-2140-2 : 250.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка
2.
34
А 794


   
    Арбитражный процесс [Текст] : учебник для вузов / Т. К. Андреева [и др.] ; ред. М. К. Треушников. - 4-е изд., испр. и доп. - М. : Городец, 2011. - 752 с. - ISBN 978-5-9584-0264-9 : 263.30 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (8 экз.), счз1 (1 экз.), ЮФ (1)
Свободны: аунл (7), счз1 (1), ЮФ (1)
Постоянная гиперссылка
3.
34
А 794


   
    Арбитражный процесс [Текст] : учебник для вузов / А. В. Абсалямов [и др.] ; ред. В. В. Ярков ; Уральская государственная юридическая академия (Екатеринбург), Кафедра гражданского права. - 5-е изд., перераб. и доп. - М. : Инфотропик Медиа, 2012. - I-XXXII, 848 с. - Библиогр.: с. 824. - Алф.-Предм. указ.: с. 825-841. - ISBN 978-5-9998-0077-0 : 386.10 р., 820.60 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (23 экз.), счз1 (1 экз.), ЮФ (1)
Свободны: аунл (23), счз1 (1), ЮФ (1)
Постоянная гиперссылка
4.
882"1917/.2"
Б 275


    Басов, Николай Владленович.
    Охотник на демонов: Жажда; Доказательство человечности; Посох Гурама [Текст] : фантастические романы / Н. В. Басов. - М. : Армада, 1995. - 416 с. : ил. - (Фантастический боевик). - ISBN 5-7632-0064-0 : 100.00 р.
    Содержание:
Жажда : роман
Доказательства человечности : роман
Посох Гурама : роман

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: ахл (1 экз.)
Свободны: ахл (1)
Постоянная гиперссылка
5.
16
Б 519


    Берсенев, Максим Валерьевич.
    Логика [Электронный ресурс] : учебно-методическое пособие / М. В. Берсенев ; Томский государственный университет систем управления и радиоэлектроники (Томск). - Электрон. текстовые дан. - Томск : [б. и.], 2013. - on-line, 15 с. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу http://edu.tusur.ru/training/publications/3044
Постоянная гиперссылка
6.
16
Б 898


    Брюшинкин, Владимир Никифорович.
    Практический курс логики для гуманитариев : Учебное пособие для вузов / В. Н. Брюшинкин. - М. : Интерпракс, 1994. - 358, [2] с. : ил. - (Программа "Обновление гуманитарного образования в России"). - Библиогр.: с. 354-357. - ISBN 5-85235-133-4 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (1 экз.), счз1 (1 экз.), кабинет ОН (2 экз.)
Свободны: аунл (1), счз1 (1), кон (2)
Постоянная гиперссылка
7.
82.0
В 241


    Введенская, Л. А.
    Культура и искусство речи. Современная риторика [Текст] : учебное пособие / Л. А. Введенская, Л. Г. Павлова. - Ростов н/Д : Феникс, 1996. - 576 с. - Библиогр. в конце разд. - ISBN 5-58880-103-Х : 20.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: кабинет ОН (1 экз.)
Свободны: кон (1)
Постоянная гиперссылка
8.
8
В 241


    Введенская, Людмила Алексеевна.
    Деловая риторика [Текст] : учебное пособие для вузов / Л. А. Введенская, Л. Г. Павлова. - 6-е изд., перераб. - М. : КноРус, 2012. - 416 с. - (Для бакалавров). - Библиогр.: с. 412. - ISBN 978-5-406-02177-4 : 395.76 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: кабинет ОН (1 экз.)
Свободны: кон (1)
Постоянная гиперссылка
9.
821
В 384


   
    Веские доказательства [Текст] : антология зарубежного детектива / сост., предисл. и примеч. С. Б. Белов ; худож. Н. Б. Старцев. - М. : Московский рабочий, 1987. - 592 с : ил. - (в пер.) : 03.70 р.
    Содержание:
По, Эдгар. Убийства на улице Морг : новелла / пер. с англ. Гальперина Р. - С .20
Коллинз, Уилки. Укушенный кусака : новелла / пер. с англ. Здоровов Ю. - С .48
Анценгрубер, Людвиг. Пропавший без вести : новелла / пер. с нем. Щербакова И. - С .72
Дойл, Артур Конан. Пестрая лента : рассказ / пер. с англ. Чуковская М. - С .86
Акутагава, Рюноскэ. В чаще : рассказ / пер. с япон. Фельдман Н. - С .107
Честертон, Гилберт Кит. Тайна отца Брауна. Зеркало судьи. Тайна Фламбо : рассказы / пер. с англ. Стенич В. - С .115
Хемметт, Д. Дело Гейтвудов : рассказ / пер. с англ. Здоровов Ю. - С .145
Чапек, Карел. Поэт. Покушение на убийство : новеллы / пер. с чеш. Аксель Т. - С .159
Сименон, Жорж. Желтый пес : повесть / пер. с фр. Загорянский Евг. - С .169
Кристи, А. Восточный экспресс : роман / пер. с англ. Ливергант А. - С .263

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , ахл (1 экз.)
Свободны: ахл (1)
Постоянная гиперссылка
10.
34
В 581


    Власов, Анатолий Александрович.
    Гражданский процесс [Текст] : учебник для бакалавров / А. А. Власов. - 6-е изд., перераб. и доп. - М. : Юрайт, 2013. - 568, [8] с. - (Бакалавр. Базовый курс). - Библиогр. в конце глав. - ISBN 978-5-9916-2717-7 : 460.90 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (13 экз.), счз1 (2 экз.)
Свободны: аунл (13), счз1 (2)
Постоянная гиперссылка
11.
34
Г 756


   
    Гражданский процесс [Электронный ресурс] : учебное пособие для вузов / В. Е. Бондаренко [и др.] ; ред. М. Ю. Лебедев ; рец.: В. А. Михайлов, О. В. Исаенкова. - 10-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2021. - on-line. - (Высшее образование). - Библиогр.: с. 266-268. - ISBN 978-5-534-14447-5 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/grazhdanskiy-process-477641#page/1
Постоянная гиперссылка
12.
34
Г 756


   
    Гражданский процесс [Электронный ресурс] : учебное пособие для вузов / В. Е. Бондаренко [и др.] ; ред. М. Ю. Лебедев ; рец. О. В. Исаенкова. - 12-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2023. - on-line. - (Высшее образование). - Библиогр.: с. 275-277. - ISBN 978-5-534-15874-8 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/grazhdanskiy-process-510067#page/1
Постоянная гиперссылка
13.
34
Г 852


    Гриненко, Александр Викторович.
    Уголовный процесс [Электронный ресурс] : учебник и практикум для вузов / А. В. Гриненко ; рец.: В. Н. Григорьев, О. А. Зайцев. - 8-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2022. - on-line. - (Высшее образование). - Библиогр.: с. 351-359. - ISBN 978-5-534-15378-1 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/ugolovnyy-process-497987#page/1
Постоянная гиперссылка
14.
34
Д183


    Данилов, Евгений Петрович.
    Справочник адвоката. Консультации. Защита в суде. Образцы документов / Е. П. Данилов. - 2-е изд., перераб. и доп. - М. : Новый юрист, 1998. - 512 с. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: сбо (1 экз.)
Свободны: сбо (1)
Постоянная гиперссылка
15.
16
Д 304


    Демидов, Игорь Владимирович.
    Логика [Электронный ресурс] : учебник / И. В. Демидов ; ред. Б. И. Каверин ; рец.: Б. В. Салихов, А. Н. Тараканов. - 8-е изд. - Электрон. текстовые дан. - М. : Дашков и К°, 2016. - on-line : табл., рис. - (Учебные издания для бакалавров). - Библиогр.: с. 347. - ISBN 978-5-394-02125-1 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/93342/#1
Постоянная гиперссылка
16.
16
Д 721


    Драгалин, Альберт Григорьевич.
    Конструктивная теория доказательств и нестандартный анализ : научное издание / Альберт Григорьевич Драгалин; Ред. Г. Е. Минц. - М. : Едиториал УРСС, 2003. - 543[1] с. : ил. - Библиогр.: с. 520-525. -Алф.-Предм. указ.: с. 526-543. - ISBN 5-354-00387-3 (в пер.) : 160.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
17.
16
И 253


    Ивин, Александр Архипович.
    Теория и практика аргументации [Электронный ресурс] : учебник для бакалавров / А. А. Ивин ; рец.: Ю. В. Ивлев, В. И. Шалак. - 2-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2019. - on-line. - (Бакалавр. Базовый курс). - Библиогр.: с. 300. - ISBN 978-5-9916-2329-2 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/teoriya-i-praktika-argumentacii-425240#page/1
Постоянная гиперссылка
18.
16
И 255


    Ивлев, Юрий Васильевич.
    Логика [Текст] : учебник для вузов / Ю. В. Ивлев ; Московский государственный университет им. М. В. Ломоносова (М.). - 4-е изд., перераб. и доп. - М. : Проспект, 2013. - 304 с. : ил. - ISBN 978-5-392-09681-7 : 302.42 р., 302.39 р., 275.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , счз1 (3 экз.), аунл (29 экз.)
Свободны: счз1 (3), аунл (29)
Постоянная гиперссылка
19.
Шифр: И643213/2020/11
   Журнал

Измерительная техника : научно-технический журнал/ Комитет стандартизации и метрологии Российской Федерации (М.), Федеральное агентство по техническому регулированию и метрологии (М.), Всероссийский научно-исследовательский институт метрологии им. Д. И. Менделеева (М.), Всероссийский научно-исследовательский институт оптико-физических измерений (М.), Всероссийский научно-исследовательский институт физико-технических и радиотехнических измерений (М.), Российский научно-технический центр информации по стандартизации, метрологии и оценке соответствия (М.). - М., 1939 - . - ISSN 0368-1025. - Выходит ежемесячно
2020г. N 11 . - 1283.10, р.
Содержание:
Левин, С. Ф. Шкала космологических расстояний. Ч. 11. "Экстраординарные" доказательства и проблема "космического толчка" / С. Ф. Левин. - С.3-8
Кл.слова: расстояние фотометрическое, смещение красное, модель Фридмана-Робертсона-Уокера
Лапко, А. В. Модифицированный алгоритм быстрого выбора коэффициентов размытости ядерных оценок многомерных плотностей вероятностей / А. В. Лапко, В. А. Лапко. - С.9-13
Кл.слова: коэффициент контрэксцесса, выборки большого объёма, закон распределения логнормальный
Хайруллин, Р. З. Применение байесовского подхода к построению статистических оценок параметров законов распределения случайных величин / Р. З. Хайруллин, А. А. Закутин. - С.14-21
Кл.слова: измерения, достоверность, информация апостериорная
Козырев, Г. И. Синтез интеллектуальных датчиков на основе введения минимальной структурной избыточности / Г. И. Козырев, А. В. Назаров, В. С. Солдатенко. - С.22-27
Кл.слова: факторы дестабилизирующие, идентификация текущая, регрессия
Дунаев, А. Ю. Монохроматический источник излучения на основе суперконтинуум-лазера для измерения спектральной чувствительности приёмников излучения в диапазоне 0,9-1,6 мкм с использованием абсолютного криогенного радиометра / А. Ю. Дунаев, А. С. Батурин, В. Н. Крутиков. - С.28-33
Кл.слова: радиометрия, приёмники излучения, чувствительность спектральная
Бусурин, В. И. Микрооптоэлектромеханический преобразователь ускорения на основе грубо-точного метода обработки сигналов интерферометра Фабри-Перо / В. И. Бусурин, В. В. Коробков, К. А. Коробков. - С.34-41
Кл.слова: съём оптический, микроперемещения, погрешность
Печерица, Д. С. Метод определения дробной части цикла несущей частоты навигационного сигнала имитатора сигналов глобальных навигационных спутниковых систем / Д. С. Печерица, С. Ю. Бурцев, А. А. Фролов. - С.42-48
Кл.слова: фаза несущей частоты, неоднозначность фазовая, погрешность измерений
Балабанов, П. В. Оценка неопределённости косвенного измерения ресурса защитных свойств фильтрующе-поглощающих изделий с использованием теплового метода / П. В. Балабанов, И. В. Рязанов. - С.49-53
Кл.слова: средства защиты, адсорбенты, измерения
Плотников, С. М. Определение потерь на вихревые токи и на гистерезис в магнитопроводах электрических машин / С. М. Плотников. - С.54-58
Кл.слова: постоянная Штейнметца, опыт холостого хода, стали электротехнические
Сергеев, В. А. Адаптивные алгоритмы измерения параметров низкочастотного шума полупроводниковых приборов в условиях массового контроля / В. А. Сергеев, С. Е. Резчиков. - С.59-64
Кл.слова: плотность мощности спектральная, показатели формы спектра, погрешности
Савченко, В. В. Метод измерения искажений речевого сигнала при передаче по каналу связи в биометрическую систему идентификации / В. В. Савченко, А. В. Савченко. - С.65-72
Кл.слова: акустика речи, образец голосовой, верификация голосовая
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
20.
Шифр: К067075/2021/1
   Журнал

Украина. Национальная академия наук Украины (Киев).
Кибернетика и системный анализ : международный научно-теоретический журнал/ Национальная академия наук Украины (Киев), Институт кибернетики им. В.М. Глушкова (Киев). - Киев, 1965 - . - ISSN 1019-5262. - Выходит раз в два месяца
2021г. N 1 . - 8234.52, р.
Содержание:
Провотар, Александр Иванович. О приближенном вычислении меры вероятности нечеткого события / А. И. Провотар, О. А. Провотар. - С.3-11
Кл.слова: множества нечеткие, числа нечеткие треугольные, задачи вероятностные
Лялецкий, Александр Вадимович. Алгоритм очевидности и системы SAD: прошлое и возможное будущее / А. В. Лялецкий. - С.12-20
Кл.слова: автоматизация рассуждений, доказательства теорем, прувер
Кнопов, Павел Соломонович. Состоятельность и свойства больших уклонений эмпирических оценок в задаче стохастической оптимизации для однородного случайного поля при неоднородных и однородных наблюдениях / П. С. Кнопов, Е. И. Касицкая. - С.21-34
Кл.слова: задача стохастического программирования, условия сильного перемешивания, наблюдения неоднородные
Кирилюк, Владимир Семенович. Меры риска в виде инфимальной конволюции / В. С. Кирилюк. - С.35-54
Кл.слова: представление двойственное, субдифференциал, полезность ожидаемая
Олецкий, Алексей Витальевич. Формализация процедуры формирования динамического равновесия альтернатив в многоагентной среде в процессах принятия решений большинством голосов / А. В. Олецкий, Е. В. Ивохин. - С.55-66
Кл.слова: ситуация принятия решений, равновесие динамическое, агенты
Назаров, Анатолий Андреевич. Исследование СМО вида M |M |N с обратной связью методом асимптотического анализа / А. А. Назаров, А. З. Меликов, Е. А. Павлова. - С.67-76
Кл.слова: системы массового обслуживания, орбит, метод асимптотического анализа
Стоян, Владимир Антонович. Псевдообращение математических моделей распределенных дифференциальных систем с адитивно определенной нелинейностью / В. А. Стоян. - С.77-93
Кл.слова: псевдообращение, системы нелинейные динамические, моделирование математическое
Скачков, Валерий Викторович. Решение проблемы формирования устойчивых и состоятельных оценок корреляционной матрицы наблюдений методом динамической регуляризации / В. В. Скачков, В. В. Чепкий, А. Н. Ефимчиков. - С.94-103
Кл.слова: состоятельность, устойчивость, сходимость
Ведель, Яна Игоревна. Адаптивный алгоритм для вариационного неравенства на множестве решений задачи о равновесии / Я. И. Ведель, С. В. Денисов, В. В. Семенов. - С.104-114
Кл.слова: метод двухэтапный проксимальный, регуляризация адаптивная, сходимость сильная
Березовский, Олег Анатольевич. Точные двойственные оценки для некоторых невыпуклых минимаксных квадратичных оптимизационных задач / О. А. Березовский. - С.115-122
Кл.слова: SOSP-релаксация, лагранжева релаксация, матрица положительно-определенная
Дунаев, Борис Борисович. Банковское регулирование макроэкономических процессов / Б. Б. Дунаев. - С.123-141
Кл.слова: рынок, спрос, предложение
Иванешкин, Александр Иванович. Новый подход к работе с неориентированными деревьями / А. И. Иванешкин. - С.142-152
Кл.слова: граф-дерево, изоморфизм, комплекс программных средств
Соловьев, Виктор Иванович. Исследования моделей распознавания звуков речи на основе нейронных сетей глубокого обучения для экспертизы цифровых фонограмм / В. И. Соловьев, О. В. Рыбальский, В. В. Журавель. - С.153-159
Кл.слова: звукозапись, обработка цифровая, база данных обучения
Масол, Владимир Иванович. Совместное распределение некоторых статистик случайной битовой последовательности / В. И. Масол, С. В. Поперешняк. - С.160-167
Кл.слова: s-цепочки, стеганография, тестирование статистическое
Николаев, Сергей Николаевич. Метод распознавания параметров помехоустойчивых блочных циклических кодов по образующему полиному / С. Н. Николаев, А. Н. Романов. - С.168-177
Кл.слова: поток битовый, деление полиномиальное, матрица
Гнатив, Лев Алексеевич. Целочисленные модифицированные синус-косинусные преобразования типа VII. Метод построения и раздельные направленные адаптивные преобразования для intra-прогнозирования с блоками яркости 8 × 8 в кодировании изображений/видео / Л. А. Гнатив, В. К. Луц. - С.178-190
Кл.слова: сложность мультипликативная, видеокодирование, алгоритмы
Козина, Галина Леонидовна. Протокол агрегированной подписи с Лидером группы / Г. Л. Козина, Д. К. Савченко. - С.191-200
Кл.слова: протокол криптографический, подпись цифровая, ключ открытый
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
 1-20    21-40   41-45 
 
Статистика
за 09.07.2024
Число запросов 59734
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)