Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Тбилиси
Связанные издания:
VIII Всесоюзный симпозиум по кибернетике (Тезисы симпозиума. Тбилиси, 9-12 ноября 1976 г.)
Вопросы использования ПЭВМ в библиотечной технологии
Доказательство условий корректности в проблемно-ориентированной системе верификации программ
Интерактивная система поддержки проектирования архитектуры и программного обеспечения ЭВМ нового поколения
Интерактивные системы. Книга II: Доклады и сообщения 6-й межреспубликанской школы-семинара (Батуми, 28 мая-2 июля 1984 г.)
Интерактивные системы. Книга I: Пленарные доклады, авторские лекции 6-й межреспубликанской школы-семинара (Батуми, 28 мая-2 июля 1984 г.)
Интерактивные системы: Материалы школы-семинара (Кутаиси, 2-10 апреля 1983 г.)
Интерактивные системы. Тезисы докладов второй школы-семинара (Боржоми, февраль, 1980)
Интерактивные системы. /Труды Советско-финского симпозиума, Тбилиси, октябрь, 1979. Часть I
Интерактивные системы. /Труды Советско-финского симпозиума, Тбилиси, октябрь, 1979. Часть II
Исследование и разработка программного обеспечения задач планирования действий
Исследование метода построения системы организации баз данных
Исследование принципов построения моделей баз данных на основе системы запросов
Итерактивная система поддержки проектирования архитектуры и программного обеспечения ЭВМ нового поколения
Материалы VIII школы-семинара "Персональные компьютеры и локальные сети", 2-7 окт. 1986 г., Новый Афон
Материалы VI конференции по эксплуатации вычислительной машины БЭСМ-6. Аппаратное обеспечение
Материалы VI конференции по эксплуатации вычислительной машины БЭСМ-6. Программное обеспечение
Некоторые вопросы построения базы данных для решений задач АСУ
Об алгоритме опытного машинного перевода с грузинского языка на русский
Об одной системе автоматизации программирования алгоритмов перевода
Об одном подходе к построению систем коллективного пользования общего назначения
О логике обобщенных процессов и ее взаимосвязи с сетевым описанием систем и процессов
Принципы построения систем параллельного программирования на основе АЛГОЛ 60
РИТА- экспериментальная система взаимодействия с ЭВМ на естественном языке
Самоучитель грузинского языка (элементарный курс)
Система управления базами данных БОЯЗ-6: архитектура и возможности
Труды Всесоюзного семинара по вопросам макрогенерации
Шагающий робот: модель управления недетерминированного типа
Экспертная система ПТО и "автоформализация знаний"
Язык программирования АДА: Тезисы докладов научной конференции 3-6 октября 1988 г.