Журнал «Системная информатика»
ISSN 2307-6410
Главная
Наши авторы
Статьи
Поиск
Для авторов
О журнале
English
Russian
Меню
Поиск статей
По названию
По аннотации
По ключевым словам
По УДК
По автору
- Любой -
Boulanger Frédéric
Taha Safouan
Абунегм Абдельрахман Али Хассанеин
Адрианова Ирина Борисовна
Алексюк Артем Олегович
Андреева Татьяна Анатольевна
Андрианов Павел Сергеевич
Ануреев Игорь Сергеевич
Апанович Зинаида Владимировна
Афзал Мубин
Ахмадеева Ирина Равильевна
Баар Томас
Багиров Эльшан
Баранов Сергей Николаевич
Батура Татьяна Викторовна
Березин Сергей Андреевич
Бодин Евгений Викторович
Бондаренко Иван Юрьевич
Боровикова Олеся Игнатьевна
Бручес Елена Павловна
Булгаков Кирилл Владимирович
Бульонков Михаил Алексеевич
Бурдонов Игорь Борисович
Визовитин Николай Валерьевич
Винарский Евгений Максимович
Вирбицкайте Ирина Бонавентуровна
Власов Дмитрий Юрьевич
Волянская Татьяна Александровна
Гаранина Наталья Олеговна
Гнатенко Антон Романович
Горбачёнок Дарья Игоревна
Горлач Сергей Петрович
Городняя Лидия Васильевна
Грехов Герман Андреевич
Грибовская Наталия Сергеевна
Громов Максим Леонидович
Демин Александр Викторович
Дубко Анатолий Владимирович
Евтушенко Нина Владимировна
Емельянов Павел Геннадьевич
Ермаков Антон Дмитриевич
Загорулько Юрий Алексеевич
Зайцев Дмитрий Анатольевич
Захаров Владимир Анатольевич
Зубарев Алексей Юрьевич
Зюбин Владимир Евгеньевич
Иванов Александр Иванович
Идрисов Ренат Искандерович
Иртегов Дмитрий Валентинович
Ицыксон Владимир Михайлович
Ищенко Артем Дмитриевич
Каблуков Иван Владимирович
Касьянов Виктор Николаевич
Касьянов Виктор Николаевич
Касьянова Елена Викторовна
Когтенков Александр Валентинович
Кондратьев Дмитрий Александрович
Кононенко Ирина Семеновна
Косачев Александр Сергеевич
Крайнева Ирина Александровна
Кудасов Николай Дмитриевич
Кулямин Виктор Вячеславович
Кушик Наталья Геннадьевна
Летичевский Александр Адольфович
Лештаев Сергей Викторович
Липский Никита Валерьевич
Лях Татьяна Викторовна
Малов Владимир Юрьевич
Марчук Александр Гурьевич
Марьясов Илья Владимирович
Маццара Мануэль
Мезенцева Анастасия Алексеевна
Меристе Мерик
Мингела Богдан Андреевич
Михеев Виталий Витальевич
Мохагеги Мохаммадсадык
Мурзин Федор Александрович
Мутилин Вадим Сергеевич
Непомнящий Валерий Александрович
Нестеренко Татьяна Викторовна
Никитин Сергей Ильич
Никифоров Виктор Викентьевич
Овчинникова Кристина Алексеевна
Одинцов Сергей Павлович
Петренко Александр Константинович
Пименов Иван Сергеевич
Пономарев Денис Константинович
Промский Алексей Владимирович
Рассохина Анастасия Александровна
Розов Андрей Сергеевич
Рубцова Юлия Владимировна
Саломатина Наталья Васильевна
Сафина Лариса Раисовна
Селиванов Виктор Львович
Серый Алексей Сергеевич
Сидоров Вадим Вячеславович
Сидоров Владимир Анатольевич
Сидорова Елена Анатольевна
Скопин Игорь Николаевич
Соколов Павел Павлович
Соловьев Владимир Валерьевич
Старолетов Сергей Михайлович
Старцев Павел Анатольевич
Стененко Александр Александрович
Сэнборн Киллу
Твардовский Александр Сергеевич
Темербекова Гульгайша Габдуловна
Тимофеев Петр Сергеевич
Тихонова Татьяна Ивановна
Тодоров Василь
Трошков Николай Евгеньевич
Трошков Сергей Николаевич
Тумуров Эрдэм Гармаевич
Филиппова Марина Яковлевна
Фирсов Николай Иванович
Хадеми Анахита
Хернандес Армандо
Хорошилов Алексей Владимирович
Хританков Антон Сергеевич
Черемушкин Евгений Сергеевич
Черненко Иван Михайлович
Чичигин Александр Дмитриевич
Чурина Татьяна Геннадьевна
Шабалдина Наталия Владимировна
Шевченко Игорь Васильевич
Шелехов Владимир Иванович
Шестаков Владимир Константинович
Шилов Валерий Владимирович
Шилов Николай Вячеславович
Шмелёва Татьяна Рудольфовна
Шошмина Ирина Владимировна
Шульте Хорст
Щербина Святослав Анатольевич
Якушева Софья Федоровна
де Карвальо Даниэль
По номеру
- Любой -
Системная информатика, 2013, № 1
Системная информатика, 2013, № 2
Системная информатика, 2014, № 3
Системная информатика, 2014, № 4
Системная информатика, 2015, № 5
Системная информатика, 2015, № 6
Системная информатика, 2016, № 7
Системная информатика, 2016, № 8
Системная информатика, 2017, № 10
Системная информатика, 2017, № 11
Системная информатика, 2017, № 9
Системная информатика, 2018, № 12
Системная информатика, 2018, № 13
Системная информатика, 2019, № 14
Системная информатика, 2019, № 15
Системная информатика, 2020, № 16
Системная информатика, 2020, № 17
Системная информатика, 2021, № 18
Системная информатика, 2021, № 19
Системная информатика, 2022, № 20
Системная информатика, 2022, № 21
Системная информатика, 2023, № 22
Системная информатика, 2023, № 23
Системная информатика, 2024, № 24
Системная информатика, 2024, № 25
Системная информатика, 2025, № 26
По году
неинтерпретированные типы
Шелехов В.И.
Верификация предикатной программы пирамидальной сортировки с применением обратных трансформаций
//
Системная информатика. —
2020
. — № 16.
—
С. 75-102
Подписаться на неинтерпретированные типы
Russian
English
Главная
Наши авторы
Статьи
Поиск
Для авторов
О журнале
English
Russian
