Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями: автореферат диссертации на соискание ученой степени кандидата физико-математических наук; спец. 05.13.11

Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями: автореферат диссертации на соискание ученой степени кандидата физико-математических наук; спец. 05.13.11

Bibliographic Details
Main Author:	Мордвинов Д. А. Дмитрий Александрович
Corporate Author:	Санкт-Петербургский государственный университет Кафедра системного программирования
Other Authors:	Кознов Д. В. Дмитрий Владимирович (научный руководитель)
Summary:	Защита сост. 25.03.2021 г.
Language:	Russian
Published:	Томск, [Б. и.], 2020
Subjects:	Дизъюнкт Хорна синтаксис семантика императивные программы индуктивные инварианты синхронизирующие преобразования реляционные сертификаты выполнимости автоматический вывод авторефераты диссертаций
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=345694

Similar Items

Логика в решении проблем: пер. с англ.
by: Ковальски Р. Роберт
Published: (Москва, Наука, 1990)

Асинхронизированные синхронные машины
by: Шакарян Ю. Г. Юрий Гевондович
Published: (Москва, Энергоатомиздат, 1984)

Императивные методы реализации экологических прав граждан в сравнительном анализе экологического и природоохранного законодательства Российской Федерации и Федеративной Республики Германия; Ресурсоэффективным технологиям - энергию и энтузиазм молодых
by: Дорошенко О. В.
Published: (2014)

О концепции интегрированной модели представления знаний; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика
by: Загорулько Ю. А. Юрий Алексеевич
Published: (2013)

Исследование возможностей применения технологии синхронизированных векторных измерений в инженерных и учебно-исследовательских задачах; Современные техника и технологии; Т. 1
by: Жумангалиева Р. Ж.
Published: (2012)

Применение синхронизированных сильноточных наносекундных ускорителей электронов для исследования оптического поглощения люминесценции диэлектриков; Тезисы докладов на 7 Всесоюзном симпозиуме по сильноточной электронике (Томск, 4-6 мая, 1988); Ч. 3
by: Вайсбурд Д. И.
Published: (1988)

Надёжность элекроснабжения и электрические нагрузки
by: Федосеенко Р. Я. Радий Яковлевич
Published: (Москва, Энергия, 1967)

Режимы напряжения в городских электрических сетях
by: Жежеленко И. В. Игорь Владимирович
Published: (Алма-Ата, Казахстан, 1984)

Исследование синтетической двухчастотной схемы испытаний высоковольтных выключателей на отключающую способность с ударным синхронным генератором в качестве источника тока: автореферат диссертации на соискание ученой степени кандидата технических наук
by: Агафонов Г. Е.
Published: (Москва, [Б. и.], 1963)

Восшествие к земельному и аграрному праву: вопросы соотношения с социологией, коронавирусной пандемией и глобализацией
by: Ибрагимов К. Х.
Published: (Грозный, КНИИ РАН, 2021)

Основы телевидения: учебное пособие
by: Колин К. Т. Константин Тимофеевич
Published: (Москва, Связь, 1967)

Телевидение: учебник
by: Колин К. Т. Константин Тимофеевич
Published: (Москва, Связь, 1972)

Аналитические методы в задачах контроля и анализа дискретных устройств
by: Богомолов А. М. Анатолий Михайлович
Published: (Саратов, Изд-во Саратовского ун-та, 1986)

Оптимизация регулирования напряжения и реактивные нагрузки в городских электрических сетях: автореферат диссертации на соискание ученой степени кандидата технических наук; Спец. 05.489
by: Аберсон М. Л.
Published: (Москва, [Б. и.], 1969)

Русский язык и культура речи. Типология норм учебное пособие
by: Карпова Е. В.
Published: (Новосибирск, НГТУ, 2022)

Портативные транзисторные телевизоры
by: Бриллиантов Д. П. Дмитрий Петрович
Published: (Москва, Связь, 1969)

Синхронизация в телевидении
by: Гарб М Г. Моисей Гесселевич
Published: (Москва, Радио и связь, 1982)

Телевидение цветное и черно-белое
by: Крыжановский В. Д. Владимир Дмитриевич
Published: (Москва, Связь, 1980)

Телевизионная техника: [учебное пособие]
by: Варбанский А. М. Александр Михайлович
Published: (Москва, Энергия, 1964)

Технологии программирования учебное пособие
by: Родионова Т. Е.
Published: (Ульяновск, УлГТУ, 2018)

Языки программирования: учебное пособие
by: Тюгашев А. А. Андрей Александрович
Published: (Санкт-Петербург, Питер, 2014)

Повышение энергетической эффективности систем электроснабжения в потребительском секторе и в городских распределительных сетях (на примере г. Томска): диссертация на соискание ученой степени кандидата технических наук; спец. 05.14.02
by: Турукина Т. Е. Татьяна Евгеньевна
Published: (Томск, [Б. и.], 2018)

Аппроксимация с ограничениями
by: Корнейчук Н. П. Николай Павлович
Published: (Киев, Наукова думка, 1982)

Повышение энергетической эффективности систем электроснабжения в потребительском секторе и в городских распределительных сетях (на примере г. Томска): автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.14.02
by: Турукина Т. Е. Татьяна Евгеньевна
Published: (Томск, 2018)

Повышение энергетической эффективности систем электроснабжения в потребительском секторе и в городских распределительных сетях (на примере г. Томска): автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.14.02
by: Турукина Т. Е. Татьяна Евгеньевна
Published: (Томск, [Б. и.], 2018)

Автоматический вывод геолого-геофизической графической информации из ЭЦВМ: методическое пособие
Published: (Новосибирск, Изд-во СНИИГГиМС, 1968)

Повышение энергетической эффективности систем электроснабжения в потребительском секторе и в городских распределительных сетях (на примере г. Томска): диссертация на соискание ученой степени кандидата технических наук; спец. 05.14.02
by: Турукина Т. Е. Татьяна Евгеньевна
Published: (Томск, 2018)

Основы следящего электропривода: учебное пособие для техникумов
by: Попков С. Л. Соломон Львович
Published: (Москва, Оборонгиз, 1958)

Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
by: Новосельцев В. Б. Виталий Борисович
Published: (2008)

Теоретические основы реляционных баз данных учебное пособие
by: Баранчиков А. И.
Published: (Рязань, РГРТУ, 2023)

Речевые акты побуждений в разноструктурных языках
by: Чернышева А. Ю.
Published: (Казань, КФУ, 2015)

Теория инвариантов: пер. с англ.
by: Спенсер Э.
Published: (Москва, Мир, 1974)

Теория инвариантов бинарных форм: монография
by: Хаджиев Д. Джавват
Published: (Ташкент, Фан, 1978)

Теория инвариантов: пер. с англ.
by: Спрингер Т.
Published: (Москва, Мир, 1981)

Теория реляционных баз данных: пер. с англ.
by: Мейер Д. Давид
Published: (Москва, Мир, 1987)

Основы проектирования реляционных баз данных: учебное пособие
by: Туманов В. Е. Владимир Евгеньевич
Published: (Москва, БИНОМ. Лаборатория знаний, 2012)

Проектирование систем на основе реляционных баз данных лабораторный практикум
by: Круценюк К. Ю.
Published: (Норильск, ЗГУ им. Н.М. Федоровского, 2019)

Вывод
by: Пешков А. М.
Published: (Санкт-Петербург, Лань, 2013)

Базы данных: практикум по проектированию реляционных баз данных учебное пособие
by: Сидорова Н. П.
Published: (Королёв, МГОТУ, 2020)

Экстремальные задачи с линейными ограничениями: учебное пособие
by: Гавурин М. К. Марк Константинович
Published: (Ленинград, Изд-во ЛГУ, 1984)