Программирование : № 6, ноябрь-декабрь / Главный редактор: В.П. Иванников; Российская академия наук.
Record details
- ISSN: 0132-3474
- Physical Description: 80 с.
- Publisher: Москва : Наука , 2012.
Content descriptions
General Note: | Журнал издается под руководством Отделения математических наук РАН. |
Bibliography, etc. Note: | Библиография: с.18-19.с.31-32, с.59-62. |
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/2012/№ 6 | 900001462257 | Stacks | Available | - |
LDR | 00620cas a2200205Ka 4500 | ||
---|---|---|---|
001 | 217008 | ||
003 | GUL | ||
005 | 20190219045958.0 | ||
022 | . | ‡a0132-3474 | |
080 | 0 | . | ‡a004 ‡x(051) |
245 | 1 | 0. | ‡aПрограммирование : ‡n№ 6, ноябрь-декабрь / ‡cГлавный редактор: В.П. Иванников; Российская академия наук. |
260 | . | ‡aМосква : ‡bНаука , ‡c2012. | |
300 | . | ‡a80 с. | |
310 | . | ‡aВыходит 6 раз в год ‡b1975- | |
500 | . | ‡aЖурнал издается под руководством Отделения математических наук РАН. | |
504 | . | ‡aБиблиография: с.18-19.с.31-32, с.59-62. | |
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 | . | ‡a217008 ‡b ‡c217008 ‡tbiblio |