Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Home
»
Издательства
Биоинформсервис
Связанные издания:
Исследование задач и методов их решения для одного класса систем логических соотношений
Параллельное прораммирование в среде Java для систем с распределенной памятью. Объектные модели параллельного выполнения
Распределенные объектно-ориентированные системы
Труды Института системного программирования РАН, 1999 г. Том 1
Формальные методы для ускоренной разработки телекоммуникационного программного обеспечения
Формальные спецификации в технологиях обратной инженерии и верификации программ
Язык и система программирования для высокопроизводительных параллельных вычислений на неоднородных сетях