Программирование : № 3, май-июнь / Главный редактор: В.П. Иванников; Российская академия наук.
Record details
- ISSN: 0132-3474
- Physical Description: 80 с.
- Publisher: Москва : Наука , 2011.
Content descriptions
General Note: | Журнал издается под руководством Отделения математических наук РАН. |
Bibliography, etc. Note: | Библиография: с.39-41 с.49, с.39 с.63-64. |
Formatted Contents Note: | Образ методов построения покрывающих наборов / В.В. Кулямин, А.А. Петухов -- Образ современных технологий имитационной верификации аппаратуры / А.С. Какин, М.М.Чупикло -- Моделирование опяераторнной семантики машинных инструкций / В.А. Падарян , М.А.Соловьев -- Методы и средства трансляции графических диаграмм / О.Г. Шаров, А.Н. Афанасев -- Метод ускорения логического выдова в продукционной модели знаний / Р.С. Катериненко, И.А. Бесмертный. |
Search for related items by subject
Subject: | ние. Периодическое издание. |
Available copies
- 1 of 1 copy available at United Catalog.
Holds
- 0 current holds with 1 total copy.
Other Formats and Editions
Show Only Available Copies
Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
---|---|---|---|---|---|
Grigol Tsereteli Reading Hall | Ω-7594/2011/№ 3 | 900001462283 | Stacks | Available | - |