
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков Справка

Базовый поиск	Расширенный поиск	Cловари	ГРНТИ	Новые поступления	Профессионалам Поиск Экспорт данных/ Z39.50 Belmarc Методические решения

Запрос: a001a="BY-SEK-ar1922229"
Записи: 1 - 2 из 2 (стр. 1 из 1)

Сортировать по:

№	Дата	Автор	Заглавие
	2022	Кондратьев, Дмитрий Александрович	Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Кондратьев Дмитрий Александрович ; [Институт систем информатики им. А. П. Ершова Сибирского отделения Российской академии наук]
	2010	Кондратьев, Дмитрий Александрович	Атомы и ионы во внешнем электрическом поле: поляризуемость, переходы при столкновении с протонами и приложения к кинетике плазмы : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.04.21 / Кондратьев Дмитрий Александрович ; [Московский физико-технический институт (государственный университет)]

Служба технической поддержки:
+375 17 293 29 78
skk@nlb.by
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024
© Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси