Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
-
Locations
-
Item types
- 1 месяц (2)
- Выдается в читальный зал (1)
-
Topics
- математика интервальная (2)
- Office 2000, пакет программ интегрированный (1)
- Office-приложения (1)
- Office-приложения решения управленческих задач (1)
- Петри сети стохастические (1)
- алгоритмы генерации машинного кода (1)
- алгоритмы последовательные детерминированные (1)
- алгоритмы последовательные недетерминированные (1)
- алгоритмы решения (1)
- верификация программ формальная (программирование) (1)
- вычислительные задачи сложные (1)
- вычислительные процессы, производительность (1)
- жизненный цикл программ (1)
- информатика (1)
- искусственный интеллект (1)
- математическая система на основе методов распространения ограничений ILOG Solver (1)
- математическая система на основе методов распространения ограничений UniCalc (1)
- математические системы на основе методов распространения ограничений (1)
- машинные коды, генерация (1)
- машинные коды, синтез (1)
- последовательные машины абстрактных состояний (1)
- практические задания (1)
- расчеты неточно заданных исходных данных (1)
- решатель вычислительных задач кооперативный SibCalc (1)
- семантика аксиоматическая C-kerner (1)
- семантика структурная операционная C-light (1)
- структура прикладной программы (1)
- экономические расчеты (1)
- язык программирования C-light (1)
- язык программирования C. (1)
- языки программирования со встроенными интервальными типами данных (1)
- Show more
- Show less