Catalog

Record Details

Catalog Search



Программирование :  № 3, май-июнь /  Cover Image Serials and magazines Serials and magazines

Программирование : № 3, май-июнь / Главный редактор: В.П. Иванников; Российская академия наук.

Иванников, В.П. (Главный редактор.). Российская академия наук. (Added Author).

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:
Образ методов построения покрывающих наборов / В.В. Кулямин, А.А. Петухов -- Образ современных технологий имитационной верификации аппаратуры / А.С. Какин, М.М.Чупикло -- Моделирование опяераторнной семантики машинных инструкций / В.А. Падарян , М.А.Соловьев -- Методы и средства трансляции графических диаграмм / О.Г. Шаров, А.Н. Афанасев -- Метод ускорения логического выдова в продукционной модели знаний / Р.С. Катериненко, И.А. Бесмертный.
Subject: ние.
Периодическое издание.

Available copies

  • 1 of 1 copy available at United Catalog.

Holds

  • 0 current holds with 1 total copy.
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 -


Additional Resources