Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Ростов-На-Дону
Связанные издания:
Верификация асинхронных параллельных систем на основе L-программ
Задачи оптимального проектирования сетей Кирхгофа
Как получаются программисты? Воспоминания об А.Л.Фуксмане
Концепция РД-модульности и ее применение при разработке больших программ
Логико-грамматические средства спецификации и реализации языков программирования
Математические методы распараллеливания рекуррентных циклов для суперкомпьютров с параллельной памятью
Методы и средства автоматизации построения полных систем тестов программ
Разработка и сопровождение открытых СУБД приложений
Разработка программного обеспечения многопроцессорных вычислительных систем на основе программной модели и знаний проблемной области
Разработка сложных программных систем
Разработка трансляторов (Сборник статей)
Технология программирования