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

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

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

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

Дата	Автор	Заглавие
2000	Quine, Willard Van Orman (1908—2000)	Z punktu widzenia logiki : dziewiec esejow logiczno-filozoficznych / Willard Van Orman Quine ; przelozyla: Barbara Stanosz
1998	Шалыто, Анатолий Абрамович	SWITCH-технология.Алгоритмизация и программирование задач логического управления
2012	Бутаков, Михаил Игоревич	Инструментальное средство синтеза и исполнения транслирующих программ на основе позитивно-образованных формул : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Бутаков Михаил Игоревич ; [Учреждение Российской академии наук "Институт динамики систем и теории управления Сибирского отделения Российской академии наук" (ИДСТУ СО РАН)]
2010	Андреев, Олег Олегович	Логико-языковые средства описания моделей логического разграничения доступа : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.19 / Андреев Олег Олегович ; Московский государственный университет им. М. В. Ломоносова
2009	Нигиян, Арам Вигенович	Логическое моделирование процедурных языков программирования и недетерминированных конечных автоматов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Нигиян Арам Вигенович ; Ереванский государственный университет
1994		Programming language implementation and logic programming : 6th Intern. Symp., PLIPL'94, Madrid, Spain, Sept. 1994: Proc. / Ed. by M.Hermengildo a. J.Penjam
2020	Хаберланд, Рене	Логический язык программирования как инструмент спецификации и верификации динамической памяти : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Хаберланд Рене ; [Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В. И. Ульянова (Ленина)]
2001	Коваль, Валерий Николаевич (доктор технических наук ; 1937—2006)	Концепторные языки. Доказательное проектирование / Нац.акад.наук Украины. Ин-т им.В.М.Глушкова
1971	Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014)	Алгоритмы синтеза дискретных автоматов / А. Д. Закревский

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