Normal view
MARC view
Системная информатика [Вып. ] 9 сборник научных трудов [Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова]
Material type: TextPublication details: Новосибирск 2004Description: 358, [1] с. ил. 22 смISBN: 5769207000Other title: Формальные методы и модели информатики [Distinctive title]Subject(s): информатика | Петри сети стохастические | машинные коды, генерация | машинные коды, синтез | математика интервальная | решатель вычислительных задач кооперативный SibCalc | алгоритмы последовательные детерминированные | алгоритмы последовательные недетерминированные | последовательные машины абстрактных состояний | язык программирования C | язык программирования C-light | семантика структурная операционная C-light | семантика аксиоматическая C-kerner | верификация программ формальная (программирование) | вычислительные процессы, производительность | алгоритмы генерации машинного кода | искусственный интеллект | вычислительные задачи сложные | языки программирования со встроенными интервальными типами данных | математические системы на основе методов распространения ограничений | математическая система на основе методов распространения ограничений ILOG Solver | математическая система на основе методов распространения ограничений UniCalcOther classification: 32.973Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
1 месяц | Научная библиотека ТГУ Книгохранилище | 1-934638 (Browse shelf(Opens below)) | Available | 13820000511191 | |||
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-923511к 51 (Browse shelf(Opens below)) | 1 | Available | 13820000483494 |
Библиогр. в конце ст.
There are no comments on this title.
Log in to your account to post a comment.