Библиография
] Фильтры: Автор - СЭ Вельдер [Clear All Filters]
2011
Вельдер СЭ, Лукин МА, Шалыто АА, Яминов БР.
2011. Верификация автоматных программ. Санкт-Петербургский национальный исследовательский университет ИТМО. 004.42 Abstract
Вельдер СЭ, Лукин МА, Шалыто АА, Яминов БР.
2011. Верификация автоматных программ. СПбГУ ИТМО. Abstract
- Правообладатель
- Microsoft
- NOTA BENE
- «АНО «ЛОГОС»»
- «Научная книга»
- АГАО имени В.М.Шукшина
- АНО ВПО «Алтайская академия экономики и права (институт)»
- АНО ВПО «Белгородский университет кооперации,экономики и права»
- Автономная некоммерческая организация "Национальное общество по изучению атеросклероза"
- Адыгейский ГУ
- АиСМ
- Алтайский ГТУ им. И.И. Ползунова
- Алтайский Государственный Университет
- Альтекс
- Альфа-М
- Астраханский ГТУ
- Астраханский ГУ
- БГПУ
- БИНОМ
- БИНОМ. ЛЗ
- БПОУ УР «АА-ТТ»
- БХВ-Петербург
- Балтийский государственный технический университет
- Балтийский федеральный университет имени Иммануила Канта
- Белгородский ГУ
- Белгородский государственный аграрный университет им. В.Я.Горина
- Белгородский государственный технический университет им. В.Г. Шухова
- Белорусская государственная сельскохозяйственная академия
- Брянский государственный технический университет
- Бурятский ГУ
- ВГПУ
- Владивостокский государственный университет экономики и сервиса
- Военно-медицинская академия им. С.М. Кирова
- Волгоградский ГТУ
- Волгоградский ГУ
- Волгоградский государственный социально-педагогический университет
- Волжский университет имени В.Н. Татищева
- Воронежский ГУ
- Восточная экономико-юридическая гуманитарная академия
- Восточно-Сибирский научный центр экологии человека СО РАМН
- ГБОУ ВПО «Казанский государственный технологический университет»
- ГБОУ ВПО АГМА Минздрава России
- ГБОУ ВПО ИвГМА Минздрава
- ГБОУ ВПО СЗГМУ им. И.И. Мечникова
- ГБОУ СПО
- ГБОУ СПО Стерлитамакский сельскохозяйственный техникум
- ГБУ ДПО Самара-аграрнная региональная информационная система
- ГБУЗ МО МОНИКИ им.М.Ф. Владимирского
- ГОУ ВПО "ННГУ им. Н.И. Лобачевского"
- ГОУ ВПО
- ГОУ ВПО «Владимирский государственный университет»
- ГОУ ВПО «Воронежский государственный технический университет»
- ГОУ ВПО «Воронежский институт МВД России»
- ГОУ ВПО «Иркутский государственный университет»
- ГОУ ВПО «Марийский государственный университет»
- ГОУ ВПО «Национальный исследовательский Томский политехнический университет»
- ГОУ ВПО «Пензенский государственный университет»
- ГОУ ВПО «Российская таможенная академия»
- ГОУ ВПО «Российский государственный профессионально-педагогический университет»
- ГОУ ВПО «Самарский государственный технический университет»
- ГОУ ВПО «Самарский государственный университет»
- ГОУ ВПО «Саратовский государственный технический университет»
- ГОУ ВПО «Ставропольская государственная медицинская академия»
- ГОУ ВПО «Уральский государственный технический университет»
- ГОУ ВПО ВСГТУ
- ГОУ ВПО МО «Коломенский государственный педагогический институт»
- ГОУ ВПО Мордовский государственный университет им. Н.П. Огарева
- ГОУ ВПО ОГТУ
- ГОУ ВПО ОГУ
- ГОУ ВПО СПбГТУРП
- ГОУ ВПО ТГАСУ
- ГОУ ВПО ТРТУ
- ГОУ СПО «Аксеновский сельскохозяйственный техникум»
- ГУ Высшая школа экономики
- Горно-Алтайский ГУ
- Государственное образовательное учреждение высшего профессионального образования Московский государственный областной университет
- Гродненский ГУ им. Я.Купалы
- ДВПИ им. В.В. Куйбышева
- ДВФУ Дальневосточный Федеральный Университет
- Двумерные отображения
- Диалог-МГУ
- Дискретные отображения
- Донской государственный аграрный университет
- ЕГУ им.И.А.Бунина
- Едиториал УРСС
- Елабужский государственный педагогический университет
- ЗАО "Издательство "Медицина-Здоровье""
- Забайкальский Аграрный Институт - филиал ФГБОУ ВПО «ИрГСХА»
- ИКАР
- ИНФРА-М
- ИПУ РАН им. В.А. Трапезникова
- ИФ РАН
- Ивановский ГУ
- Ижевский институт компьютерных исследований
- Известия
- Издательско-торговая корпорация «Дашков и К°»
- Издательство «ООО «Агентство Пресса»
- Издательство "Академия Естествознания"
- Издательство "КГФИ"
- Издательство "Наука"
- Издательство "ФЭН
- Издательство «НПК «РОСТ»»
- Институт вулканологии и сейсмологии ДВО РАН
- Институт вычислительной математики РАН
- Институт геологии Коми научного центра Уральского отделения РАН
- Институт гуманитарных исследований Республики Башкортостан
- Институт естественных и гуманитарных наук Сибирского федерального университета
- Институт законодательства и правовой информации им. М.М. Сперанского
- Институт леса КарНЦ РАН
- Институт проблем освоения Севера Сибирского отделения Российской академии наук
- Институт современного развития
- Институт сравнительных исследований трудовых отношений
- Институт цитологии и генетики Сибирского отделения РАН
- Институт экономики КарНЦ РАН
- Иркутский государственный университет путей сообщения
- КФ СПбУ МВД России
- Казанский (Приволжский) федеральный университет
- Казанский государственный архитектурно-строительный университет
- Казанский государственный технический университет им. А.Н. Туполева
- Казанский государственный университет
- Калмыцкий институт гуманитарных исследований Российской академии наук
- Камчатский ГТУ
- Камышинский технологический институт
- Карельский научный центр РАН
- Кемеровский ГУ
- Кировская государственная медицинская академия
- Колос
- КолосС
- Компания INFLASH
- Красноярский ГУ
- Курганский ГУ
- Кыргызско-Российский Славянский университет
- МАКС Пресс
- МГАПИ
- МГИУ
- МГУ им. М.В. Ломоносова
- МГУДТ
- МИРЭА
- МИТХТ им. М.В. Ломоносова
- МФТИ
- Машиностроение
- Международный научно-инновационный центр (ООО)
- Морской ГУ им. адм. Г.И. Невельского
- Московская академия предпринимательства при Правительстве Москвы
- Московский государственный университет путей сообщения
- Московский гуманитарный педагогический институт
- Московский институт духовной культуры
- Московский педагогический государственный университет
- НГТУ
- НГТУ им. Р.Е. Алексеева
- НИА-Природа
- НИЦ Инфра-М
- ННГУ им. Н.И. Лобачевского
- НОО ВПО НП
- НОУ ВПО «МПСУ»
- НОУ ВПО «Самарская гуманитарная академия»
- НП «Национальный совет по корпоративному управлению»
- Национальный Институт им. Екатерины Великой
- Национальный исследовательский университет "Высшая школа экономики"
- Национальный исследовательский ядерный университет
- Новгородский государственный университет им. Ярослава Мудрого
- Новосибирский ГУ
- Новосибирский государственный архитектурно-строительный университет
- ООО "ВостЭко"
- ООО "Научно-исследовательский институт истории науки и техники"
- ООО «Техполиграфцентр»
- ООО «Феникс»
- Одесский национальный университет им. И.И. Мечникова
- Омский ГУ
- ПГПИ им. С.М. Кирова
- ПГУ им. М. В. Ломоносова
- Паата Леиашвили
- Пермский ГУ
- Петрозаводский ГУ
- Президиум ДВО РАН
- РГАЗУ
- РИО ГАГУ
- РИОР
- РИЦ ХГАЭП
- Россельхозиздат
- Российский государственный педагогический университет им. А.И. Герцена
- Российский государственный торгово-экономический университет
- Российский онкологический научный центр им. Н.Н.Блохина
- Русское слово
- Рыбинская государственная авиационная технологическая академия имени П. А. Соловьева
- Рязанский государственный радиотехнический университет
- Рязанский государственный университет им. С.А. Есенина
- СПб филиал ГУ-ВШЭ
- СПбГЛТА им. С.М. Кирова
- СПбГУТ им. проф. М.А. Бонч-Бруевича
- СФ МГГУ им. М. А. Шолохова
- СФУ
- Самарская гуманитарная академия
- Самарский государственный аэрокосмический университет им. академика С.П. Королёва
- Санкт-Петербургская Лесотехническая Академия имени С.М.КИРОВА
- Санкт-Петербургская академия управления и экономики
- Санкт-Петербургский ГУ
- Санкт-Петербургский Государственный Политехнический Университет
- Санкт-Петербургский государственный архитектурно-строительный университет
- Санкт-Петербургский государственный инженерно-экономический университет
- Санкт-Петербургский государственный медицинский университет им. академика И.П. Павлова
- Санкт-Петербургский национальный исследовательский университет ИТМО
- Санкт-Петербургский университет МВД России
- Саратовский ГУ им.Н.Г.Чернышевского
- Северо-Западный государственный заочный технический университет
- Сибирский государственный аэрокосмический университет имени академика М.Ф. Решетнева
- Специальная астрофизическая обсерватория РАН
- ТУСУР
- Таганрогский государственный радиотехнический университет
- Тверской ГУ
- Тверской государственный технический университет
- Терский филиал ФГБОУ ВПО КБГАУ им.В.М.Кокова
- Технопечать
- Тихоокеанский государственный университет
- Тольяттинский ГУ
- Томский ГУ
- Ульяновский ГТУ
- Университет и школа
- УралНИИпроект РААСН
- Уральский государственный лесотехнический университет
- Уральский государственный педагогический университет
- Уфимский государственный нефтяной технический университет
- ФБГОУ ВО Смоленская ГСХА
- ФГАОУ ВПО УрФУ им. первого Президента России Б.Н. Ельцина
- ФГБНУ «Росинформагротех»
- ФГБНУ НИИПЗК
- ФГБОУ ВО ГАГУ
- ФГБОУ ВО Пензенский ГАУ
- ФГБОУ ВО
- ФГБОУ ВО «Белгородский ГАУ им.В.Я.Горина»
- ФГБОУ ВО «Казанский государственный аграрный университет»
- ФГБОУ ВО Брянский ГАУ
- ФГБОУ ВО Волгоградский ГАУ
- ФГБОУ ВО Вятская ГСХА
- ФГБОУ ВО Вятский ГАТУ
- ФГБОУ ВО Донской ГАУ
- ФГБОУ ВО Ижевская ГСХА
- ФГБОУ ВО Красноярский ГАУ
- ФГБОУ ВО Пензенский ГАУ
- ФГБОУ ВО РГАЗУ
- ФГБОУ ВО Самарская ГСХА
- ФГБОУ ВПО Ижевская ГСХА
- ФГБОУ ВПО "МАДИ"
- ФГБОУ ВПО "Орловский ГАУ"
- ФГБОУ ВПО "Северо-Осетинский ГУ им. К.Л. Хетагурова"
- ФГБОУ ВПО
- ФГБОУ ВПО «Адыгейский государственный университет»
- ФГБОУ ВПО «Академии Генеральной прокуратуры Российской Федерации»
- ФГБОУ ВПО «Алтайский государственный аграрный университет»
- ФГБОУ ВПО «Астраханский государственный технический университет»
- ФГБОУ ВПО «Башкирский государственный аграрный университет»
- ФГБОУ ВПО «Башкирский государственный университет»
- ФГБОУ ВПО «Бурятская ГСХА им. В.Р. Филиппова»
- ФГБОУ ВПО «Великолукская ГСХА»
- ФГБОУ ВПО «ВолгГАСУ»
- ФГБОУ ВПО «Вологодский институт права и экономики Федеральной службы исполнения наказаний»
- ФГБОУ ВПО «Воронежский государственный аграрный университет им. Императора Петра I»
- ФГБОУ ВПО «Вятская ГСХА»
- ФГБОУ ВПО «Вятский государственный гуманитарный университет»
- ФГБОУ ВПО «Дагестанский государственный аграрный университет имени М.М. Джамбулатова»
- ФГБОУ ВПО «Дагестанский государственный университет»
- ФГБОУ ВПО «Донской государственный технический университет»
- ФГБОУ ВПО «Ижевская ГСХА»
- ФГБОУ ВПО «Иркутская ГСХА»
- ФГБОУ ВПО «Казанский государственный университет культуры и искусств»
- ФГБОУ ВПО «Кемеровский ГСХИ»
- ФГБОУ ВПО «Кемеровский государственный университет культуры и искусств»
- ФГБОУ ВПО «Красноярский ГАУ»
- ФГБОУ ВПО «Курская ГСХА им. Профессора И.И. Иванова»
- ФГБОУ ВПО «Майкопский ГТУ»
- ФГБОУ ВПО «Мурманский ГТУ»
- ФГБОУ ВПО «Нижегородский государственный лингвистический университет им. Н.А. Добролюбова»
- ФГБОУ ВПО «Новгородский государственный университет им. Ярослава Мудрого»
- ФГБОУ ВПО «Новосибирский государственный педагогический университет»
- ФГБОУ ВПО «Пензенская ГСХА»
- ФГБОУ ВПО «Российский экономический университет имени Г.В. Плеханова»
- ФГБОУ ВПО «Рязанский государственный агротехнологический университет имени П.А. Костычева»
- ФГБОУ ВПО «Самарская ГСХА»
- ФГБОУ ВПО «Смоленская ГСХА»
- ФГБОУ ВПО «Тамбовский государственный технический университет»
- ФГБОУ ВПО «Тверская ГСХА»
- ФГБОУ ВПО «Тюменская государственная сельскохозяйственная академия»
- ФГБОУ ВПО «Ульяновская ГСХА им.П.А.Столыпина»
- ФГБОУ ВПО «Финансовый университет при Правительстве РФ»
- ФГБОУ ВПО «Ярославская ГСХА»
- ФГБОУ ВПО ВГГУ
- ФГБОУ ВПО ВЮИ ФСИН России
- ФГБОУ ВПО Великолукская ГСХА
- ФГБОУ ВПО Волгоградский ГАУ
- ФГБОУ ВПО ГУМРФ имени адмирала С.О. Макарова
- ФГБОУ ВПО ДГАУ
- ФГБОУ ВПО ДальГАУ
- ФГБОУ ВПО Забайкальский государственный университет
- ФГБОУ ВПО Иркутский государственный лингвистический университет
- ФГБОУ ВПО Иркутский государственный технический университет
- ФГБОУ ВПО КГПУ им. В.П. Астафьева
- ФГБОУ ВПО Казанский ГАУ
- ФГБОУ ВПО Кемеровский ГУ
- ФГБОУ ВПО Костромской государственный университет им. Н.А. Некрасова
- ФГБОУ ВПО Кузбасский ГТУ им. Т.Ф. Горбачева
- ФГБОУ ВПО МАТИ
- ФГБОУ ВПО МГИМО (У) МИД России
- ФГБОУ ВПО МГИУ
- ФГБОУ ВПО МГМУ (МАМИ)
- ФГБОУ ВПО МГТУ «Станкин»
- ФГБОУ ВПО МГТУ им. Г.И. Носова
- ФГБОУ ВПО МичГАУ
- ФГБОУ ВПО НГСХА
- ФГБОУ ВПО Омский государственный университет им. Ф.М. Достоевского
- ФГБОУ ВПО Орловский ГАУ
- ФГБОУ ВПО РГУПС
- ФГБОУ ВПО Смоленская ГСХА
- ФГБОУ ВПО Тульский ГУ
- ФГБОУ ВПО Финансовый университет при Правительстве РФ
- ФГБОУ ДПО Татарский институт переподготовки кадров агробизнеса
- ФГБОУ ДПО «Татарский институт переподготовки кадров агробизнеса»
- ФГБОУ ДПО Татарский институт переподготовки кадров агробизнеса
- ФГБОУ ДПОС « Марийский институт переподготовки кадров агробизнеса»
- ФГБОУ ДПОС МИПКА
- ФГБУ «ИМЦЭУАОСМП»
- ФГБУ ДНЦ ФПД СО РАМН
- ФГБУН НЦБМТ ФМБА России
- ФГКОУ ВПО «Волгоградская академия МВД России»
- ФГКОУ ВПО СПбУ МВД
- ФГОУ ВПО «Кубанский государственный аграрный университет»
- ФГОУ ВПО АГАУ
- ФГОУ ВПО АЧГАА
- ФГОУ ВПО ВГАВТ
- ФГОУ ВПО Волгоградский ГАУ
- ФГОУ ВПО Ижевская ГСХА
- ФГОУ ВПО КНИТУ
- ФГОУ ВПО ПГУТИ
- ФГОУ ВПО РГАЗУ
- ФГОУ ВПО РГАУ-МСХА им.КА Тимирязева
- ФГОУ ВПО СПбГУАП
- ФГОУ ВПО Смоленский сельскохозяйственный институт
- ФГОУ ВПО Ставропольский государственный аграрный университет
- ФГОУ ВПО “БГСХА им. В.Р. Филиппова”
- ФГОУ ДПОС «Российская академия кадрового обеспечения АПК»
- ФГУ "НМХЦ им. Н.И. Пирогова Росздрава"
- ФГУ «Центрохотконтроль»
- ФГУП "ВНИИ Проблем вычислительной техники и информатизации"
- ФГУП «ВНИИ Агроэкоинформ»
- ФГУП ВПО РГАЗУ
- Федеральная электронная медицинская библиотека
- Флинта
- Форум
- Челябинский государственный педагогический университет
- ЭБС"ЮристЛиб"
- ЮНИТИ-ДАНА
- ЮРГТУ (НПИ)
- Югорский государственный университет
- Южно-Уральский ГУ
- Южное отделение Института океанологии им. П.П. Ширшова РАН
- Южный федеральный университет
- Издательство "Лань"
- ФГБОУ ВПО РГАЗУ
