Вы здесь

Главная

Вильнюс

Связанные издания:

Верификация интерпретатора для языка БЭЙСИК
Математическая логика и ее применение. Вып.1. Программные логики
Оптимизация крупноблочных программ
Применение аналитических вычислений на ЭВМ для решения задач кинетики сложных реакций
Проблемы организации распределенных банков данных (Материалы к семинару при ИФиМ АН ЛитССР "Автоматизация процессов планирования и управления")
Программирование ЭВМ. Вып.1. Системное программиррование и программное обеспечение ЭВМ
Программирование ЭВМ. Вып.2. Программное обеспечение ЭВМ и методы программирования
Программирование ЭВМ. Вып.3. Системное программирование
Программирование ЭВМ. Вып.4. Структуры данных и программное обеспечение информационных и диалоговых систем
Программирование ЭВМ. Вып.5: Системное программирование и абстрактные типы данных
Программирование ЭВМ. Вып.6. Вопросы системного программного обеспечения вычислительной системы
Программирование ЭВМ. Вып.7. Системное и теоретическое программирование
Программирование ЭВМ. Вып.9. Методика системного программирования
Тезисы докладов и сообщений к всесоюзной конференции "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование". Паланга, 3-5 сентября 1980 г. Часть 1.
Тезисы докладов и сообщений к всесоюзной конференции "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование". Паланга, 3-5 сентября 1980 г. Часть 2.