Научная библиотека ТГУ catalog › Results of search for 'su:"доказательство."'

201.

Протокол доказательства с нулевым разглашением в технологии блокчейн С. А. Круглов

by Круглов, Сергей Александрович.

Source: Экономика глазами молодых : материалы Региональной научно-практической конференции студентов и молодых ученых, Томск, 17-20 апреля 2019 г.Material type: Article

Article; Format: electronic available online remote

; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :

202.

	201.	No cover image available Протокол доказательства с нулевым разглашением в технологии блокчейн С. А. Круглов by Круглов, Сергей Александрович. Source: Экономика глазами молодых : материалы Региональной научно-практической конференции студентов и молодых ученых, Томск, 17-20 апреля 2019 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	202.	No cover image available Некоторые вопросы доказывания по делам об условно-досрочном освобождении от наказания М. К. Свиридов by Свиридов, Михаил Константинович, 1938-. Source: Доклады итоговой научной конференции юридических факультетов (декабрь 1970 г.) / Томский государственный университетMaterial type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	203.	No cover image available Философская культура Западной Европы в фокусе онтологического доказательства бытия Бога А. Л. Ким by Ким, Анна Львовна. Source: Дефиниции культуры. Вып. 5 : Сборник трудов участников Всероссийского семинара молодых ученыхMaterial type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	204.	No cover image available Анализ критики Фомой Аквинским онтологического доказательства Ансельма Кентерберийского А. Л. Ким by Ким, Анна Львовна. Source: Человек - культура - общество. Актуальные проблемы философских, политологических и религиоведческих исследований : материалы Международной конференции, посвященной 60-летию воссоздания философского факультета в структуре МГУ им. М. В. Ломоносова, 13-15 февраля 2002 г.Material type: Article; Format: print festschrift ; Literary form: Dramas Availability: No items available : Log in to add tags Add to cart (remove)
	205.	No cover image available Идеалы, многообразия и алгоритмы Электронный ресурс введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебры : пер. с англ. Кокс Д., Литтл Дж., О'Ши Д. by Кокс, Дэвид \| Литтл, Джон \| О'Ши, Донал. Material type: Computer file; Format: electronic available online ; Audience: Specialized; Publication details: [Б. м. б. и. 2000]Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	206.	No cover image available Необоснованная налоговая выгода: доказательство и доказывание Н. В. Шухман by Шухман, Н. В. Source: Российское правоведение : трибуна молодого ученого. Вып. 12Material type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	207.	No cover image available Доказательства и доказывание в судебной практике по уголовным делам практическое пособие Е. В. Егорова, Д. А. Бурыка. by Егорова, Е. В \| Бурыка. Series: Профессиональная практикаMaterial type: Text; Format: electronic available online Publication details: Москва Юрайт 2024Online access: Click here to access online \| Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	208.	Колмогоровская сложность и ее приложения [учебник для студентов и аспирантов математических и прикладных математических специальностей] В. В. Вьюгин ; Мос. физ.-тех. ин-т (нац. исслед. ун-т) by Вьюгин, Владимир Вячеславович. Series: Учебник Школы прикладной математики и информатики МФТИMaterial type: Text; Format: print ; Literary form: Not fiction Publication details: Москва Ленанд 2022Availability: No items available : Log in to add tags Add to cart (remove)
	209.	No cover image available Установление защитником обстоятельств, входящих в предмет доказывания В. В. Ясельская by Ясельская, Вероника Владимировна. Source: Вопросы уголовного процесса и правовая реформа : сборник научных статейMaterial type: Article; Format: print ; Literary form: Dramas Availability: No items available : Log in to add tags Add to cart (remove)
	210.	No cover image available Интенсиональность Второй теоремы Геделя о неполноте В. В. Целищев by Целищев, Виталий Валентинович. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Other title: Intensionality of the Gödel’s second incompleteness theorem.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	211.	Комплексные доказательства вещественных теорем Питер Лакс, Лоренс Зальцман ; пер. с англ. С. М. Львовского by Лакс, Питер Дэвид \| Зальцман, Лоренс \| Львовский, Сергей Михайлович [trl]. Publication details: Москва Издательство МЦНМО 2022Availability: No items available : Log in to add tags Add to cart (remove)
	212.	Натуральный вывод теоретико-доказательственное исследование Даг Правиц ; пер. И. Быстров by Правиц, Даг. Series: МатематикаMaterial type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: [Б. м.] Лори 2020Other title: Natural deduction.Availability: No items available : Log in to add tags Add to cart (remove)
	213.	Геометрия. Углубленный курс с решениями и указаниями учебно-методическое пособие : [ЕГЭ, олимпиады, экзамены в вуз] Б. А. Будак, Н. Д. Золотарёва, М. В. Федотов ; под ред. М. В. Федотова by Будак, Борис Александрович \| Золотарева, Наталья Дмитриевна \| Федотов, Михаил Валентинович. Series: ВМК МГУ - школеEdition: 7-е изд.Material type: Text; Format: print ; Literary form: Not fiction Publication details: Москва Лаборатория знаний 2021Availability: No items available : Log in to add tags Add to cart (remove)
	214.	No cover image available Итерированные модальные операторы и условия выводимости Гильберта-Бернайса В. В. Целищев by Целищев, Виталий Валентинович. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Other title: Iterated modal operators and Hilbert-Bernays derivability conditions.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	215.	No cover image available Понятие доказательства в контексте теоретико-типового подхода, III: доказательства как (некоторые) типы Л. Д. Ламберов by Ламберов, Лев Дмитриевич. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Other title: The concept of proof in the context of a type-theoretic approach, III: proofs as (some) types.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	216.	Волновые фронты и топология кривых В. И. Арнольд by Арнольд, Владимир Игоревич, 1937-2010. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Издательство МЦНМО 2018Availability: No items available : Log in to add tags Add to cart (remove)
	217.	No cover image available Электронные документы в судебном разбирательстве: проблемы обеспечения электронных документов С. В. Одышев by Одышев, Сергей Владимирович. Source: Правовые проблемы укрепления российской государственности. Ч. 5 : [сборник статей] / под ред. Б. Л. ХаскельбергаMaterial type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	218.	No cover image available Источники доказательств, используемые при разрешении дел об условно-досрочном освобождении М. К. Свиридов by Свиридов, Михаил Константинович, 1938- \| Томский государственный университет Юридический институт. Source: Вопросы советского государства и праваMaterial type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	219.	No cover image available Что такое математика? Электронный ресурс В. И. Арнольд by Арнольд, Владимир Игоревич, 1937-2010. Material type: Computer file; Format: electronic available online ; Audience: Specialized; Publication details: [Б. м. б. и. 200-?]Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	220.	No cover image available О сходимости нового алгоритма характеризации k-значных пороговых функций А. В. Бурделев by Бурделев, Александр Владимирович. Source: Прикладная дискретная математикаMaterial type: Article; Format: electronic available online Other title: Convergence of an iterative algorithm for computing parameters of multi-valued threshold functions.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	221.	Введение в математику учебное пособие : [для студентов Томского университета, обучающихся по специальности "Компьютерная безопасность"] Г. П. Агибалов, И. А. Панкратова ; Нац. исслед. Том. гос. ун-т by Агибалов, Геннадий Петрович, 1939-2020 \| Панкратова, Ирина Анатольевна кандидат физико-математических наук \| Томский государственный университет. Material type: Computer file; Format: electronic available online Publication details: Томск Издательство Томского государственного университета 2022Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	222.	Матанализ с человеческим лицом, или Как выжить после предельного перехода Т. 1 полный курс математического анализа М. Ю. Пантаев by Пантаев, Михаил Юрьевич. Edition: Изд. стер.Material type: Text; Format: print ; Literary form: Not fiction Publication details: Москва Ленанд 2022Other title: Начало анализа. Язык анализа. Предел последовательности. Предел функции и непрерывность. Производная. Основные теоремы дифференциального исчисления. Применение производной.Availability: No items available : Log in to add tags Add to cart (remove)
	223.	No cover image available Методика предварительного следствия и дознания. Руководство для следователей и дознавателей практическое пособие В. В. Кульков, П. В. Ракчеева ; под редакцией В. В. Кулькова. by Кульков, В. В \| Ракчеева. Series: Профессиональная практикаMaterial type: Text; Format: electronic available online Publication details: Москва Юрайт 2024Online access: Click here to access online \| Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	224.	No cover image available Анализ эффективности криптографических алгоритмов для применения в zk-SNARK Д. О. Кондырев by Кондырев, Дмитрий Олегович. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	225.	Принцип презумпции невиновности: история, современность, перспективы монография Т. Ю. Вилкова. by Вилкова Т. Ю. Татьяна Юрьевна. Series: Актуальные монографииMaterial type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Юрайт 2023Online access: Click here to access online \| Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	226.	No cover image available Принцип презумпции невиновности: история, современность, перспективы монография Т. Ю. Вилкова. by Вилкова, Т. Ю. Series: Актуальные монографииMaterial type: Text; Format: electronic available online Publication details: Москва Юрайт 2024Online access: Click here to access online \| Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	227.	No cover image available Доказывание в уголовном процессе: допустимость доказательств учебное пособие для вузов А. А. Барыгина. by Барыгина, А. А. Series: Высшее образованиеMaterial type: Text; Format: electronic available online Publication details: Москва Юрайт 2024Online access: Click here to access online \| Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	228.	Математическая логика и теория алгоритмов Электронный ресурс учебное пособие : [для курса "Математическая логика и теория алгоритмов" направлений подготовки бакалавров "Информатика и вычислительная техника" и "Управление в технических системах"] В. М. Зюзьков ; ТУСУР by Зюзьков, Валентин Михайлович \| Томский государственный университет систем управления и радиоэлектроники. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Томск Эль Контент 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	229.	No cover image available Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ Л. Д. Ламберов by Ламберов, Лев Дмитриевич. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Other title: The concept of proof in the context of a type-theoretic approach, I: proof of computer program correctness.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	230.	Вокруг теоремы Геделя Электронный ресурс К. М. Подниекс by Подниекс, Карлис Мартынович, 1948-. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Рига Зинатне 1992Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	231.	No cover image available Метод сокрытия приватных данных для блокчейн-системы проведения тендеров Д. О. Кондырев by Кондырев, Дмитрий Олегович. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	232.	No cover image available Схема групповой аутентификации на основе доказательства с нулевым разглашением Е. А. Шляхтина, Д. Ю. Гамаюнов by Шляхтина, Елена Анатольевна \| Гамаюнов, Денис Юрьевич. Source: Прикладная дискретная математикаMaterial type: Article; Format: electronic available online Other title: Group authentication scheme based on zero-knowledge proof.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	233.	No cover image available Смысл "доказательства внешнего мира" Дж. Э. Мура Е. Н. Суханова by Суханова, Екатерина Николаевна. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	234.	No cover image available Способы повышения производительности кратких неинтерактивных аргументов с нулевым разглашением и анализ достигнутых результатов И. В. Мартыненков by Мартыненков, Игорь Владимирович. Source: Прикладная дискретная математикаMaterial type: Article; Format: electronic available online Other title: Ways to improve the performance of zero-knowledge succinct non-interactivearguments of knowledge and the analysis of the rusults achieved.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	235.	No cover image available Логика глубокого разногласия Р. Фогелин by Фогелин, Роберт, 1932-2016. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Other title: The logic of deep disagreements.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	236.	No cover image available Асимптотические методы для обыкновенных дифференциальных уравнений Электронный ресурс Р. П. Кузьмина by Кузьмина, Раиса Петровна. Material type: Computer file; Format: electronic available online ; Audience: Specialized; Publication details: [Б. м. б. и. 200-?]Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	237.	No cover image available Некоторые вопросы использования электронных документов в качестве судебных доказательств С. В. Одышев by Одышев, Сергей Владимирович \| Томский государственный университет Юридический институт Кафедра гражданского процесса. Source: Правовые проблемы укрепления российской государственности. Ч. 5 : [сборник статей] / под ред. В. Ф. ВоловичаMaterial type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	238.	No cover image available Постквантовое электронное голосование на основе решеток при участии нескольких кандидатов Д. А. Набоков by Набоков, Денис Алексеевич. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	239.	Спор. О теории и практике спора Поварнин С. И. by Поварнин С. И. Edition: 8-е изд., стер.Material type: Text; Format: electronic ; Audience: General; Language: Russian Publication details: Москва ФЛИНТА 2020Online access: Click here to access online \| Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	240.	No cover image available Использование статистической информации в процессе доказывания и при вынесении судебных актов в цивилистическом и административном судопроизводстве К. С. Рыжков by Рыжков, Константин Сергеевич. Source: Вестник Томского государственного университетаMaterial type: Article; Format: electronic available online Other title: The use of statistical information in proving and in passing judicial acts in civil and administrative proceedings.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)

Scientific Library of Tomsk State University

E-catalog

Refine your search

Availability

Bibliographic level

Authors

Locations

Item types

Topics

Collections

Places

База знаний по целевым капиталам

Your search returned 252 results.