Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Киев
Связанные издания:
ActiveX: Создание Web-приложений
Analysis of Modern Authentication Facilitied for Information Security Systems
G1 - геометрическая системы программного обеспечения ЭВМ
Java: основы программирования
MS - DOS 5.0 ... для пользователя
SQL: полное руководство
Ventura Publisher для Windows
Word 6.0 для Windows
Абстрактная модель компилятора
Автоматизация исследований в математике: Сборник научных трудов
Автоматизация отладки программ в Р-технологии программирования
Автоматизация поиска доказательств некоторых теорем анализа
Автоматизация программирования для одноадресных вычислительных машин "УРАЛ-2", "УРАЛ-3", "УРАЛ-4" (Библиотечный метод)
Автоматизация программирования: Труды семинара, вып. 1: Киев, 1969
Автоматизация программирования: Труды семинара, вып. 3: Киев, 1969
Автоматизация проектирования и моделирования вычислительных систем
Автоматизация проектирования микропрограммных структур ЭВМ на основе автоматных методов анализа и оптимизации
Автоматизация проектирования управляю их систем гибких автоматизированных производств
Автоматизация производства программного обеспечения одного класса микропроцессорных систем
Автоматизация процесса построения компиляторов
Автоматизированная система производства программ СИНТЕРМ (Технический паспорт)
Автоматизированные системы обработки данных
Автоматическое построение полных систем примеров
Автоматическое построение полных систем примеров
Автоматные методы описания и исследования вероятностных систем
Адаптивный стековый алгоритм универсального множественного доступа в распределенных сетях и сетях компьютеров
АДОНИС - система базового программного обеспечения для автоматизации научных исследований
Алгебра логики и интегральные преобразования в краевых задачах
Алгебра. Языки. Программирование
Алгебра. Языки. Программирование. Изд-е второе, переработанное
АЛГОЛ-60 (Программированное учебное пособие)
Алгоритм идентификации стохастических нелинейных систем по измерительным данным
Алгоритмическая система обработки символьной информации в механике деформируемого твёрдого тела
Алгоритмические вопросы теории рекурсивных преобразований
Алгоритмические свойства рекурсивных преобразователей информации
Алгортмiчнi алгебри: навчальний посiбник
Анализ и разработка технологических средств подготовки программного обеспечения мини- и микро-ЭВМ
А.П.Ершов и становление новосибирской школы программирования
Аппаратный синтаксический контроль на основе метаязыка R -грамматик
Арифметика чисел произвольной длины и произвольного диапазона и её применение к вычислению элементарных функций (на примере машин серии "МИР")
Архитектура и методы построения развитых интегрированных и интеллектуальных пакетов прикладных программ для систем специального назначения
Архитектурно-структурная организация и формализованное проектирование микро-ЭВМ
Банки данных и информационно-поисковые системы (Библиографический указатель)
Банки данных: Тезисы докладов второй Всесоюзной конференции, Ташкент, 12-14 октября 1983 г. : Секция 1: Теоретические основы построения баз данных
Банки данных: Тезисы докладов второй Всесоюзной конференции, Ташкент, 12-14 октября 1983 г. : Секция 2: Программное обеспечение банков данных
Банки данных: Тезисы докладов второй Всесоюзной конференции, Ташкент, 12-14 октября 1983 г. : Секция 3: Методы и системы проектирования баз данных
Банки данных: Тезисы докладов второй Всесоюзной конференции, Ташкент, 12-14 октября 1983 г. : Секция 4: Опыт создания и функционирования банков данных
Библиографический указатель по теории автоматов и сложности вычислений в двух частях
Введение в алгоритмику
Введение в алгоритмы параллельных вычислений
1
2
3
4
5
6
7
8
9
следующая ›
последняя »