Поисковый запрос: <.>A=Ильинский, Н.$<.> |
Общее количество найденных документов : 13
Показаны документы с 1 по 10 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : 6П2.154.5/Я 41
Автор(ы) : Фути К., Тикаяма Т., Аида Х., Танака Х., Мотоока Т.
Заглавие : Язык Пролог в пятом поколении ЭВМ
: Сборник статей [1983-1986 гг.] : Пер. с англ
Выходные данные : Москва: Мир , 1988
Колич.характеристики :501 с.:
риc; 23см
ISBN (в пер.), Цена 5-03-000537-4: 2.60, р.
Предметные рубрики: Информатика-- Языки программирования
Содержание : К вычислительным системам пятого поколения ; ESP- предварительная версия базового языка программирования компьютеров пятого поколения ; Абстрактные типы данных в PROLOG/KR ; Расширение пролога для работы с негативными знаниями ; ShapeUp- язык обработки информационных знаний ; Операционная система последовательной машины вывода - основные концепции ; Объктно-ориентированное программирование в Параллельном Прологе ; Слияние с ограниченным ожиданием в Параллельном Прологе Шапиро ; Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном Прологе ; Упорядочивание редукции процессов в Параллельном Прологе ; Многоканальное слияние с постоянной задержкой в Параллельном Прологе ; Пролог средствами функционального программирования ; Эффективный алгоритм управления памятью Пролог-программ, допускающий гибкие стратегии управления ; Максимальные унифицируемые и минимальные неунифицированные подмножества ; Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины ; ORBIT- параллельная модель выполнения Пролог-программ ; Конвейерный Пролог-процессор ; ИЛИ - параллельная потоковая Пролог-машина ; Последовательная Пролог-машина РЕК ; Спецификация и инициализация логической вычислительной системы ; Система восходящего грамматического разбора (ВГР), встроенная в Пролог ; Применение Пролога для синтеза логических схем ; Пролог и автоматическое доказательство теорем ; Исчисление событий, основанное на логике ; Определение чисто функционального языка HASL средствами языка Пролог ; Логическое программирование как средство разработки экспертных систем ; Преобразование программ посредством метасдвига ; Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода
Аннотация: Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 6П2.1/С 36
Автор(ы) : Сили С.
Заглавие : Электромеханическое преобразование энергии
: Пер. с англ.
Выходные данные : Москва: Энергия , 1968
Колич.характеристики :376 с.:
ил.; 21 см
Примечания : Библиогр. в конце ст.
Цена : 1.43, р.
УДК : 6П2.1
Предметные рубрики: Электротехника
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 6П2.1/П 44
Автор(ы) : Китс А. Паллен
Заглавие : Топологические и матричные методы (Теория и применение), перевод с английского
Выходные данные : Москва, Ленинград: Энергия , 1966
Колич.характеристики :94 с.:
ил.; 20.5см
Цена : 0.37, р.
УДК : 6П2.1
Предметные рубрики: Электротехника. Электроника
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : 6П2.115/К 33
Автор(ы) : Кениг Г., Блекуэлл В.
Заглавие : Теория электромеханических систем
: научное издание
Выходные данные : Москва; Ленинград: Энергия, 1965
Колич.характеристики :423 с.:
ил.; 26 см
Примечания : Библиогр.: с. 419-420
Цена : 2.44, 2.14, р.
Предметные рубрики: Электромеханические системы-- Теория графов
Ключевые слова (''Своб.индексиров.''): уравнения хорд--многополюсники--уравнения отсечений--мощность и энергия--теория графов--электрические цепи--сложные системы
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 6П2.1/И 46
Автор(ы) : Ильинский Н.Ф., Цаценкин В.К.
Заглавие : Приложение теории графов к задачам электромеханики
Выходные данные : Москва: Энергия , 1968
Колич.характеристики :200 с.:
ил.; 20 см
Примечания : Библиогр.: с. 201 (20 назв.)
Цена : 0.52, р.
УДК : 6П2.1
Предметные рубрики: Электротехника
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : 84(4Бел)-4/И 46
Автор(ы) : Ильинский Н.
Заглавие : Последняя ладья викингов
Выходные данные : Минск: Современная школа, 2011
Колич.характеристики :352 с.
; 20 см
ISBN (в пер.), Цена 978-985-539-040-5: 162 р.
ББК : 84(4Бел)-4
Предметные рубрики: Белорусская литература-- Роман --Россия
Экземпляры :АБ(1)
Свободны : АБ(1)
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : 84(4Бел)-4/И 46
Автор(ы) : Ильинский Н.
Заглавие : Воины-хранители.
Выходные данные : Минск: Современная школа, 2011
Колич.характеристики :352 с.
; 20 см
ISBN (в пер.), Цена 978-985-539-039-9: 162.00 р.
ББК : 84(4Бел)-4
Предметные рубрики: Художественная литература (произведения)-- Романы --Беларусь
Экземпляры :АБ(1)
Свободны : АБ(1)
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : 6Т5.1/Д 85
Автор(ы) : Духон Ю. И., Ильинский Н. Н.
Заглавие : Средства управления летательными аппаратами
: научное издание
Выходные данные : Москва: Воениздат, 1972
Колич.характеристики :432 с.
; 20 см.
Цена : 1.32 р.
Предметные рубрики: Самолеты. Самолетостроение
Ключевые слова (''Своб.индексиров.''): радиосвязь--радионавигация--радиолокация--системы посадки--автоматизированные системы наведения
Экземпляры :АБ(1)
Свободны : АБ(1)
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : 6Т5.1/Д 85
Автор(ы) : Духон Ю. И., Ильинский Н. Н., Лаушев Г. И.
Заглавие : Справочник по связи и радиотехническому обеспечению полетов
Выходные данные : Москва: Военное издательство Министерства обороны СССР, 1979
Колич.характеристики :286 с.:
ил.; 23 см
Примечания : Библиография: с. 279
Цена : 1.30 р.
Предметные рубрики: Летательные аппараты-- Безопасность полетов
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 6П2.1/Д 48
Заглавие : Дискретный электропривод с шаговым двигателями
Выходные данные : Москва: Энергия, 1971
Колич.характеристики :624 с.:
ил.; 21 см 5
Примечания : Библиогр.: с. 614 - 621
Цена : 2.02, р.
ББК : 6П2.1
Предметные рубрики: Электротехника. Электроника
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие
|
|
|
|
Каталог Национальной Библиотеки Республики Дагестан
Стандартный
Главная
Описание
