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

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

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

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

Дата	Автор	Заглавие
2002	Канке, Виктор Андреевич (доктор философских наук ; род. 1944)	Формы времени
2004	Swirydowicz, Kazimierz	Podstawy logiki modalnej / Kazimierz Swirydowicz ; red. Aleksandra Ratajczak ; Uniw. im. A. Mickiewicza w Poznaniu
2010	Шапчиц, Павел Анатольевич	Интервальная временная логика и грамматические времена : автореферат диссертации на соискание ученой степени кандидата философских наук : 09.00.07 / Шапчиц Павел Анатольевич ; Санкт-Петербургский государственный университет
1993	Symposium on programming languages and software tools (3 ; 1993 ; Kaariku, Estonia)	Proceedings of the third symposium on programming languages and software tools : Kaariku, Estonia, August 23-24 1993 / editor: M. Tombak
2007	Стемпковский, Александр Леонидович (доктор технических наук ; род. 1950)	Методы логического и логико-временного анализа цифровых КМОП СБИС / А. Л. Стемпковский, С. В. Гаврилов, А. Л. Глебов ; под общ. ред. А. Л. Стемпковского ; Рос. акад. наук, Ин-т проблем проектирования в микроэлектронике

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