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

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

Запрос: a001="BY-NLB-ar5261776"
Записи: 1 - 8 из 8 (стр. 1 из 1)

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

Дата	Автор	Заглавие
1996	Зема, Татьяна Гавриловна (математик)	Проблемы моделирования семантики в интеллектуальных информационных системах : Метод.разработки / АН Беларуси. Ин-т техн.кибернетики. Ч.1
1980		Abstract software specifications : 1979 Copenhagen winter school, Jan. 22 - Feb.2, 1979: Proc. / Ed. by D.Bjorner
1999	Nielson, Flemming	Principles of program analysis
2015	Кузнецов, Александр Сергеевич (кандидат технических наук. информационные технологии)	Теория вычислительных процессов : учебник для студентов высших учебных заведений, обучающихся по специальностям: 230105.65 "Программное обеспечение вычислительной техники и автоматизированных систем", 080801.65 "Прикладная информатика (в экономике)", 230700.62 "Прикладная информатика" / А. С. Кузнецов, Р. Ю. Царев, А. Н. Князьков ; Министерство образования и науки Российской Федерации, Сибирский федеральный университет
2012	Марьясов, Илья Владимирович	Верификация C-программ с помощью смешанной аксиоматической семантики : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Марьясов Илья Владимирович ; [Институт систем информатики им. А. П. Ершова Сибирского отделения Российской академии наук]
1998	Abadi, Martín (нар. 1963)	A theory of objects
2012	Пирс, Бенджамин	Типы в языках программирования : перевод с английского / Бенджамин Пирс
1990	Бухараев, Раис Гатич	Семантический анализ в вопросно-ответных системах

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