Serials and magazines
Программирование : № 4, июль-август / Главный редактор: В.П. Иванников; Российская академия наук.
Record details
- ISSN: 0132-3474
- Physical Description: 80 с.
- Publisher: Москва : Наука , 2012.
Content descriptions
| General Note: | Журнал издается под руководством Отделения математических наук РАН. |
| Bibliography, etc. Note: | Библиография: с.15-16.с.27-28, с.38-39,c.51,c.74-77. |
| Formatted Contents Note: | статческая формальная семамтика стандарта EMCA- 335 / В.А. Васенин, М.А.Кривчиков -- Исползование свойств мутационных аппаратпв для минимизации проверяющих тестов / К. Ель-Факи, Н.В. Евтушенко и др. -- Автоматизация построения моделей нормального поведения программ / А.В. Сапожников -- Решение проблены пареллельных вычислений на основе понятий "пространство - время" / А.И. Илюшин, М.А.Оленин -- Системы доступа к данным основанные на онтологях / М.Р.Когаловский. |
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/2012/№ 4 | 900001462278 | Stacks | Available | - |
| LDR | 00620cas a2200205Ka 4500 | ||
|---|---|---|---|
| 001 | 217025 | ||
| 003 | GUL | ||
| 005 | 20190219071318.0 | ||
| 022 | . | ‡a0132-3474 | |
| 080 | 0 | . | ‡a004 ‡x(051) |
| 245 | 1 | 0. | ‡aПрограммирование : ‡n№ 4, июль-август / ‡cГлавный редактор: В.П. Иванников; Российская академия наук. |
| 260 | . | ‡aМосква : ‡bНаука , ‡c2012. | |
| 300 | . | ‡a80 с. | |
| 310 | . | ‡aВыходит 4 раз в год ‡b1975- | |
| 500 | . | ‡aЖурнал издается под руководством Отделения математических наук РАН. | |
| 504 | . | ‡aБиблиография: с.15-16.с.27-28, с.38-39,c.51,c.74-77. | |
| 505 | 0 | 0. | ‡tстатческая формальная семамтика стандарта EMCA- 335 / ‡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 | . | ‡a217025 ‡b ‡c217025 ‡tbiblio | |
