Refine your search
Availability
-
Bibliographic level
- Книги (6)
-
Authors
-
Locations
- Книгохранилище (6)
- Абонемент. Депозитарий (1)
-
Item types
- Выдается в читальный зал (6)
- 1 месяц (2)
- 6 месяцев (1)
-
Topics
- Ершов, Андрей Петрович (3)
- информатика (3)
- история программирования (3)
- научно-организационная деятельность (3)
- теория программирования (3)
- Информатика в СССР (2)
- История (2)
- Кибернетика в СССР (2)
- Компьютеры персональные (2)
- Программирование (2)
- Сибирская школа информатики (2)
- воспоминания (2)
- искусственный интеллект (2)
- история информатики (2)
- научная деятельность (2)
- научное наследие (2)
- научные биографии (2)
- системное программирование (2)
- Web-технологии (1)
- Академия наук СССР. Сибирское отделение. Вычислительный центр (1)
- Интернет (1)
- Интернет-поиск (1)
- Интернет-поиск распределенный (1)
- Ляпунов, Алексей Андреевич (1)
- Новосибирская школа программирования (1)
- Петри вложенные сети (1)
- Петри объектно-ориентированные сети (1)
- Петри сети стохастические (1)
- Поттосин, Игорь Васильевич (1)
- Российская академия наук. Сибирское отделение. Институт систем информатики (1)
- Сибирская школа теоретического программирования (1)
- автоматическое программирование (1)
- алгоритмические языки (1)
- алгоритмы генерации машинного кода (1)
- алгоритмы обновления баз данных (1)
- алгоритмы последовательные детерминированные (1)
- алгоритмы последовательные недетерминированные (1)
- архивные материалы (1)
- базы данных, обновление (1)
- базы знаний (1)
- биобиблиография ученых (1)
- биологические процессы (1)
- верификация (1)
- верификация программ формальная (программирование) (1)
- визуализация графов (1)
- вычислительная математика (1)
- вычислительные задачи сложные (1)
- вычислительные процессы, производительность (1)
- графические модели (1)
- индексирование документов семантическое (1)
- Show more
- Show less