Serials and magazines
Программирование : № 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 | - |
| LDR | 00620cas a2200205Ka 4500 | ||
|---|---|---|---|
| 001 | 216633 | ||
| 003 | GUL | ||
| 005 | 20190213071156.0 | ||
| 022 | . | ‡a0132-3474 | |
| 080 | 0 | . | ‡a004 ‡x(051) |
| 245 | 1 | 0. | ‡aПрограммирование : ‡n№ 3, май-июнь / ‡cГлавный редактор: В.П. Иванников; Российская академия наук. |
| 260 | . | ‡aМосква : ‡bНаука , ‡c2011. | |
| 300 | . | ‡a80 с. | |
| 310 | . | ‡aВыходит 6 раз в год ‡b1975- | |
| 500 | . | ‡aЖурнал издается под руководством Отделения математических наук РАН. | |
| 504 | . | ‡aБиблиография: с.39-41 с.49, с.39 с.63-64. | |
| 505 | 0 | 0. | ‡tОбраз методов построения покрывающих наборов / ‡rВ.В. Кулямин, А.А. Петухов -- ‡tОбраз современных технологий имитационной верификации аппаратуры / ‡rА.С. Какин, М.М.Чупикло -- ‡tМоделирование опяераторнной семантики машинных инструкций / ‡rВ.А. Падарян , М.А.Соловьев -- ‡tМетоды и средства трансляции графических диаграмм / ‡rО.Г. Шаров, А.Н. Афанасев -- ‡t Метод ускорения логического выдова в продукционной модели знаний / ‡rР.С. Катериненко, И.А. Бесмертный. |
| 650 | 1 | 4. | ‡aние. |
| 650 | 2 | 4. | ‡aПериодическое издание. |
| 700 | 1 | . | ‡aИванников, В.П. ‡eГлавный редактор. |
| 710 | 2 | . | ‡aРоссийская академия наук. |
| 910 | . | ‡aლეილა ცანკაშვილი. | |
| 901 | . | ‡a216633 ‡b ‡c216633 ‡tbiblio | |
