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

101.

Истина и ее граничные понятия А. К. Сухотин

by Сухотин, Анатолий Константинович, 1922-2012 | Томский государственный университет Философский факультет Кафедра истории философии и логики.

Source: Проблема истины в философии и науке : сборник Всероссийского семинара молодых ученых им. П. В. КопнинаMaterial type: Article

Article; Format: electronic available online remote

; Literary form: Online access: Click here to access online Availability: No items available :

102.

	101.	No cover image available Истина и ее граничные понятия А. К. Сухотин by Сухотин, Анатолий Константинович, 1922-2012 \| Томский государственный университет Философский факультет Кафедра истории философии и логики. Source: Проблема истины в философии и науке : сборник Всероссийского семинара молодых ученых им. П. В. КопнинаMaterial type: Article; Format: electronic available online ; Literary form: Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	102.	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)
	103.	Функциональная верификация VHDL-описаний синхронных цифровых устройств П. Н. Бибило, Н. А. Авдеев, В. И. Романов by Бибило, Петр Николаевич \| Авдеев, Николай Александрович \| Романов, Владимир Ильич. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Ленанд 2020Availability: No items available : Log in to add tags Add to cart (remove)
	104.	No cover image available Ментальность провинциальных городов. Опыт социологической экспликации С. В. Пирогов by Пирогов, Сергей Владимирович. Source: Открытая Россия и открытое образование: Материалы Всероссийской научной конференции "Россия как открытое общество: историческое прошлое, настоящее и возможные перспективы", подготовленные в рамках выполнения ФЦП "Формирование установок толерантного сознания и профилактика экстремизма в российском обществе (2001-2005 гг.)"Material type: Article; Format: print ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	105.	No cover image available Верификация модели промерзания и оттаивания грунта с использованием данных метеостанций К. А. Алипова by Алипова, Ксения Александровна. Source: Всероссийская молодежная научная конференция "Все грани математики и механики", 25-28 апреля 2017 : сборник тезисов докладов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)
	106.	No cover image available Системная инженерия для "чайников" Электронный ресурс Кэтлин Шамие by Шамие, Кэтлин. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: [Б. м. б. и. 2014?]Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	107.	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)
	108.	No cover image available Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset А. О. Кокорин, С. Д. Тиевский, П. Н. Девянин 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)
	109.	No cover image available Verification of vertical temperature profiles in the COSMO and ICON models with available observational data A. V. Gochakov, V. M. Tokarev, A. B. Kolker by Gochakov, A. V \| Tokarev, V. M \| Kolker, A. B. Source: IOP Conference Series: Earth and Environmental ScienceMaterial 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)
	110.	No cover image available Синтез условных тестов для верификации цифровых контролеров М. В. Ветрова by Ветрова, Мария Викторовна. Source: Современные проблемы физики и высокие технологии : материалы Международной конференции, посвященной 125-летию ТГУ, 75-летию СФТИ и 50-летию РФФ ТГУ (29 сентября - 4 октября 2003 г.)Material type: Article; Format: print festschrift ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	111.	Практикум по проектированию на языках VerilogHDL и SystemVerilog Мурсаев А. Х.,Буренева О. И. by Мурсаев А. Х \| Буренева О. И. Edition: 4-е изд., стер.Material type: Text; Format: electronic ; Audience: General; Language: Russian Publication details: Санкт-Петербург Лань 2022Online access: Click here to access online \| Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	112.	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)
	113.	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)
	114.	Кристаллография: зарождение, рост и морфология кристаллов учебное пособие Н. И. Леонюк, Е. В. Копорулина, Е. А. Волкова, В. В. Мальцев. 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)
	115.	No cover image available Система верификации алгоритмов логического управления А. И. Попов by Попов, А. И. Source: Доклады V Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография" - SIBECRYPT'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г. )Material type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	116.	No cover image available Динамический поиск уязвимостей в программном обеспечении на основе его верификации А. В. Ермаков, Н. Г. Кушик by Ермаков, А. В \| Кушик, Наталья Геннадьевна. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	117.	No cover image available Верификация математической модели промерзания и оттаивания грунта с использованием данных метеостанций К. А. Алипова by Алипова, Ксения Александровна. Source: Всероссийская молодежная научная конференция "Все грани математики и механики" (25-28 апреля 2017 г.) : сборник статей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)
	118.	No cover image available "Открытая текстура" языка, смутность и принцип контекстности В. В. Оглезнев by Оглезнев, Виталий Васильевич, 1982-. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Other title: The "open texture" of language, vagueness, and context principle.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	119.	No cover image available Верификация оценок влияния естественного электромагнитного фона КНЧ-диапазона на человека Д. А. Тужилкин, В. И. Зубрилкина, А. С. Бородин by Тужилкин, Дмитрий Алексеевич \| Зубрилкина, Виктория Ивановна \| Бородин, Александр Семенович. Source: Актуальные проблемы радиофизики : труды Международной молодежной научной школы, Томск, 25-26 сентября 2017 г.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)
	120.	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)
	121.	No cover image available Метафизика факта Дональда Маккиннона и проблемы верификационизма В. В. Оглезнев by Оглезнев, Виталий Васильевич, 1982-. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Other title: Donald Mackinnon’s metaphysics of fact and problems of verificationism.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	122.	Философия науки, техники и технологий монография Андрей Миронов by Миронов, Андрей Витальевич, 1968-. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва МАКС Пресс 2014Other title: Philosophy of science, technics and technologies.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	123.	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)
	124.	No cover image available О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB П. Н. Девянин, М. А. Леонова 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)
	125.	Технологии и методы программирования [учебное пособие для студентов вузов по направлению подготовки 090900 "Информационная безопасность" (уровень-бакалавр) и специальностям 090301 "Компьютерная безопасность", 090303 "Информационная безопасность автоматизированных систем"] Н. В. Анашкина, Н. Н. Петухова, В. Ю. Смольянинов by Анашкина, Наталия Викторовна \| Петухова, Надежда Николаевна \| Смольянинов, Владимир Юрьевич. Series: Высшее профессиональное образование \| БакалавриатMaterial type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Академия 2012Availability: No items available : Log in to add tags Add to cart (remove)
	126.	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)
	127.	Введение в современные САПР: Курс лекций Малюх В. Н. by Малюх В. Н. Material type: Text; Format: electronic ; Audience: General; Language: Russian Publication details: Москва ДМК Пресс 2010Online access: Click here to access online \| Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	128.	No cover image available Верификация одномерной компьютерной модели продольно-поперечных колебаний ствола артиллерийского орудия при выстреле Д. А. Клюкин, И. Г. Русяк, В. Г. Суфиянов by Клюкин, Даниил Анатольевич \| Русяк, Иван Григорьевич \| Суфиянов, Вадим Гарайханович. Source: Вестник Томского государственного университета. Математика и механикаMaterial type: Article; Format: electronic available online Other title: Verification of a one-dimensional computer model of longitudinal-transverse vibrations of an artillery gun barrel on firing.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	129.	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)
	130.	No cover image available Способ прогнозирования зон обледенения воздушных судов на основе радиометрических измерений параметров атмосферы В. В. Зуев, А. В. Павлинский, Д. П. Мордус [и др.] by Зуев, Владимир Владимирович, 1956- \| Павлинский, Алексей Валерьевич \| Мордус, Дарья Петровна \| Нечепуренко, Ольга Евгеньевна \| Ильин, Геннадий Николаевич \| Быков, Владимир Юрьевич. Source: Известия высших учебных заведений. Северо-Кавказский регион. Серия : Естественные наукиMaterial type: Article; Format: electronic available online Other title: Method for forecasting aircraft icing zones based on radiometric measurements of atmospheric parameters.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	131.	Программно-аппаратные средства защиты информации. Защита программного обеспечения учебник и практикум О. В. Казарин, А. С. Забабурин. 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)
	132.	Организация и планирование автоматизированных производств учебник В. Ю. Шишмарёв. by Шишмарёв В. Ю. Владимир Юрьевич. Series: Высшее образованиеEdition: 2-е изд.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)
	133.	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)

Scientific Library of Tomsk State University

E-catalog

Refine your search

Availability

Bibliographic level

Authors

Locations

Item types

Topics

Places

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

Your search returned 133 results.