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

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

ग्रंथसूची विवरण
मुख्य लेखक:	Мордвинов Д. А. Дмитрий Александрович
निगमित लेखक:	Санкт-Петербургский государственный университет Кафедра системного программирования
अन्य लेखक:	Кознов Д. В. Дмитрий Владимирович (научный руководитель)
सारांश:	Защита сост. 25.03.2021 г.
भाषा:	रूसी
प्रकाशित:	Томск, [Б. и.], 2020
विषय:	Дизъюнкт Хорна синтаксис семантика императивные программы индуктивные инварианты синхронизирующие преобразования реляционные сертификаты выполнимости автоматический вывод авторефераты диссертаций
स्वरूप:	पुस्तक
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=345694

समान संसाधन

Логика в решении проблем: пер. с англ.
द्वारा: Ковальски Р. Роберт
प्रकाशित: (Москва, Наука, 1990)

Асинхронизированные синхронные машины
द्वारा: Шакарян Ю. Г. Юрий Гевондович
प्रकाशित: (Москва, Энергоатомиздат, 1984)

Императивные методы реализации экологических прав граждан в сравнительном анализе экологического и природоохранного законодательства Российской Федерации и Федеративной Республики Германия; Ресурсоэффективным технологиям - энергию и энтузиазм молодых
द्वारा: Дорошенко О. В.
प्रकाशित: (2014)

О концепции интегрированной модели представления знаний; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика
द्वारा: Загорулько Ю. А. Юрий Алексеевич
प्रकाशित: (2013)

Исследование возможностей применения технологии синхронизированных векторных измерений в инженерных и учебно-исследовательских задачах; Современные техника и технологии; Т. 1
द्वारा: Жумангалиева Р. Ж.
प्रकाशित: (2012)

Применение синхронизированных сильноточных наносекундных ускорителей электронов для исследования оптического поглощения люминесценции диэлектриков; Тезисы докладов на 7 Всесоюзном симпозиуме по сильноточной электронике (Томск, 4-6 мая, 1988); Ч. 3
द्वारा: Вайсбурд Д. И.
प्रकाशित: (1988)

Надёжность элекроснабжения и электрические нагрузки
द्वारा: Федосеенко Р. Я. Радий Яковлевич
प्रकाशित: (Москва, Энергия, 1967)

Режимы напряжения в городских электрических сетях
द्वारा: Жежеленко И. В. Игорь Владимирович
प्रकाशित: (Алма-Ата, Казахстан, 1984)

Исследование синтетической двухчастотной схемы испытаний высоковольтных выключателей на отключающую способность с ударным синхронным генератором в качестве источника тока: автореферат диссертации на соискание ученой степени кандидата технических наук
द्वारा: Агафонов Г. Е.
प्रकाशित: (Москва, [Б. и.], 1963)

Восшествие к земельному и аграрному праву: вопросы соотношения с социологией, коронавирусной пандемией и глобализацией
द्वारा: Ибрагимов К. Х.
प्रकाशित: (Грозный, КНИИ РАН, 2021)

Основы телевидения: учебное пособие
द्वारा: Колин К. Т. Константин Тимофеевич
प्रकाशित: (Москва, Связь, 1967)

Телевидение: учебник
द्वारा: Колин К. Т. Константин Тимофеевич
प्रकाशित: (Москва, Связь, 1972)

Аналитические методы в задачах контроля и анализа дискретных устройств
द्वारा: Богомолов А. М. Анатолий Михайлович
प्रकाशित: (Саратов, Изд-во Саратовского ун-та, 1986)

Оптимизация регулирования напряжения и реактивные нагрузки в городских электрических сетях: автореферат диссертации на соискание ученой степени кандидата технических наук; Спец. 05.489
द्वारा: Аберсон М. Л.
प्रकाशित: (Москва, [Б. и.], 1969)

Русский язык и культура речи. Типология норм учебное пособие
द्वारा: Карпова Е. В.
प्रकाशित: (Новосибирск, НГТУ, 2022)

Портативные транзисторные телевизоры
द्वारा: Бриллиантов Д. П. Дмитрий Петрович
प्रकाशित: (Москва, Связь, 1969)

Синхронизация в телевидении
द्वारा: Гарб М Г. Моисей Гесселевич
प्रकाशित: (Москва, Радио и связь, 1982)

Телевидение цветное и черно-белое
द्वारा: Крыжановский В. Д. Владимир Дмитриевич
प्रकाशित: (Москва, Связь, 1980)

Телевизионная техника: [учебное пособие]
द्वारा: Варбанский А. М. Александр Михайлович
प्रकाशित: (Москва, Энергия, 1964)

Технологии программирования учебное пособие
द्वारा: Родионова Т. Е.
प्रकाशित: (Ульяновск, УлГТУ, 2018)

Языки программирования: учебное пособие
द्वारा: Тюгашев А. А. Андрей Александрович
प्रकाशित: (Санкт-Петербург, Питер, 2014)

Повышение энергетической эффективности систем электроснабжения в потребительском секторе и в городских распределительных сетях (на примере г. Томска): диссертация на соискание ученой степени кандидата технических наук; спец. 05.14.02
द्वारा: Турукина Т. Е. Татьяна Евгеньевна
प्रकाशित: (Томск, [Б. и.], 2018)

Аппроксимация с ограничениями
द्वारा: Корнейчук Н. П. Николай Павлович
प्रकाशित: (Киев, Наукова думка, 1982)

Повышение энергетической эффективности систем электроснабжения в потребительском секторе и в городских распределительных сетях (на примере г. Томска): автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.14.02
द्वारा: Турукина Т. Е. Татьяна Евгеньевна
प्रकाशित: (Томск, 2018)

Повышение энергетической эффективности систем электроснабжения в потребительском секторе и в городских распределительных сетях (на примере г. Томска): автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.14.02
द्वारा: Турукина Т. Е. Татьяна Евгеньевна
प्रकाशित: (Томск, [Б. и.], 2018)

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

Повышение энергетической эффективности систем электроснабжения в потребительском секторе и в городских распределительных сетях (на примере г. Томска): диссертация на соискание ученой степени кандидата технических наук; спец. 05.14.02
द्वारा: Турукина Т. Е. Татьяна Евгеньевна
प्रकाशित: (Томск, 2018)

Основы следящего электропривода: учебное пособие для техникумов
द्वारा: Попков С. Л. Соломон Львович
प्रकाशित: (Москва, Оборонгиз, 1958)

Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
द्वारा: Новосельцев В. Б. Виталий Борисович
प्रकाशित: (2008)

Теоретические основы реляционных баз данных учебное пособие
द्वारा: Баранчиков А. И.
प्रकाशित: (Рязань, РГРТУ, 2023)

Речевые акты побуждений в разноструктурных языках
द्वारा: Чернышева А. Ю.
प्रकाशित: (Казань, КФУ, 2015)

Теория инвариантов: пер. с англ.
द्वारा: Спенсер Э.
प्रकाशित: (Москва, Мир, 1974)

Теория инвариантов бинарных форм: монография
द्वारा: Хаджиев Д. Джавват
प्रकाशित: (Ташкент, Фан, 1978)

Теория инвариантов: пер. с англ.
द्वारा: Спрингер Т.
प्रकाशित: (Москва, Мир, 1981)

Теория реляционных баз данных: пер. с англ.
द्वारा: Мейер Д. Давид
प्रकाशित: (Москва, Мир, 1987)

Основы проектирования реляционных баз данных: учебное пособие
द्वारा: Туманов В. Е. Владимир Евгеньевич
प्रकाशित: (Москва, БИНОМ. Лаборатория знаний, 2012)

Проектирование систем на основе реляционных баз данных лабораторный практикум
द्वारा: Круценюк К. Ю.
प्रकाशित: (Норильск, ЗГУ им. Н.М. Федоровского, 2019)

Вывод
द्वारा: Пешков А. М.
प्रकाशित: (Санкт-Петербург, Лань, 2013)

Базы данных: практикум по проектированию реляционных баз данных учебное пособие
द्वारा: Сидорова Н. П.
प्रकाशित: (Королёв, МГОТУ, 2020)

Экстремальные задачи с линейными ограничениями: учебное пособие
द्वारा: Гавурин М. К. Марк Константинович
प्रकाशित: (Ленинград, Изд-во ЛГУ, 1984)