Подписаться
Артур Лаздин
Артур Лаздин
ITMO University (Университет ИТМО)
Нет подтвержденного адреса электронной почты - Главная страница
Название
Процитировано
Процитировано
Год
Електричество в жизни рыб
AV Lazdin
Наука, 1977
201977
Верификация в исследовательских, учебных и промышленных системах
О Немолочнов, АГ Зыков, АВ Лаздин, ВИ Поляков
Научно-технический вестник информационных технологий, механики и оптики, 146-151, 2003
152003
Метод построения графа функциональной программы для решения задач верификации и тестирования
АВ Лаздин, О Немолочнов
Научно-технический вестник информационных технологий, механики и оптики, 118-121, 2002
112002
Формальные языки, грамматики, автоматы
АВ Лаздин
СПб.: Университет ИТМО 99, 18, 2019
62019
Исследования методом индукционного каротажа в процессе бурения
ВИ Дворкин, ВИ Метелкин, АА Царегородцев, АР Лаздин, ...
Каротажник, 95-105, 2005
62005
Автономная геофизическая система Горизонталь с доставкой на бурильных трубах
РД Ахметсафин, АР Ардаширов, АА Булгаков, ИР Габдрахманов, ...
Каротажник, 39-46, 2005
42005
Оценка сложности графа функциональной программы
АВ Лаздин, О Немолочнов
Научно-технический вестник информационных технологий, механики и оптики, 113-117, 2002
42002
АЛГОРИТМ ОЦЕНКИ ОБЪЕКТА ПО СМЫСЛУ ЕГО ТЕКСТОВЫХ ДАННЫХ
ПМ Колычев, АВ Лаздин, ТВ Паскаленко, ЭМ Фирова
Научная сессия ГУАП: Гуманитарные науки, 78-81, 2021
32021
Определение удельного сопротивления коллекторов по данным пятизондового индукционного каротажа
ВИ Дворкин, ЕА Морозова, АР Лаздин
Электронный научный журнал Нефтегазовое дело, 279-282, 2012
32012
Результаты опробования новой пятизондовой аппаратуры индукционного каротажа для исследований горизонтальных скважин
ВИ Дворкин, АР Лаздин, ЕА Морозова
Геофизика, 77-79, 2011
32011
Анализ результатов применения индукционного каротажа в горизонтальных скважинах
ВИ Дворкин, ЕА Морозова, АР Лаздин, ВИ Барышев
Каротажник, 219-229, 2012
22012
Развитие метода индукционного каротажа в ОАО НПФ" Геофизика"
ВИ Дворкин, АР Лаздин, ЕА Морозова, АП Яковлев
Каротажник, 17-30, 2015
12015
Поиск процедур по графу переходов функциональной программы при верификации вычислительных процессов
АА Гедич, АГ Зыков, АВ Лаздин, ВИ Поляков
Известия высших учебных заведений. Приборостроение 57 (4), 64-68, 2014
12014
Автоматический поиск локальных переменных и аргументов процедуры в исполняемом коде программы при верификации вычислительных процессов
АА Гедич, АГ Зыков, АВ Лаздин
Научно-технический вестник информационных технологий, механики и оптики, 117-123, 2013
12013
РЕЗУЛЬТАТЫ ОПРОБОВАНИЯ МНОГОЗОНДОВОЙ ИЗОПАРАМЕТРИЧЕСКОЙ АППАРАТУРЫ ИНДУКЦИОННОГО КАРОТАЖА
ВИ Дворкин, АР Лаздин, ЕА Морозова, АП Яковлев
NovaInfo. Ru 2 (49), 71-75, 2016
2016
Многозондовая аппаратура индукционного каротажа для исследования наклонных и горизонтальных скважин
ВИ Дворкин, АР Лаздин, ЕА Морозова, АП Яковлев
Нефть. Газ. Новации, 18-20, 2014
2014
Методы построения графо-аналитических моделей функциональных программ
АВ Лаздин
Санкт-Петербургский государственный университет информационных технологий …, 2009
2009
Использование метода индукционного каротажа в процессе бурения скважин
ВИ Дворкин, ВИ Метелкин, АА Царегородцев, АР Лаздин, ...
Интервал. Передовые нефтегазовые технологии, 66-71, 2008
2008
Сопоставление данных исследований автономной и стандартной аппаратурой электрического каротажа
АР Лаздин
Каротажник, 228-232, 2005
2005
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–19