Catalog

Record Details

Catalog Search



Программирование :  № 6, ноябрь-декабрь /  Cover Image Serials and magazines Serials and magazines

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

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

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:
Информационные системы для улучшения социальных коммуникаций на конференциях: сенсорный подход / А.Х. Михаель А.Фруид и др. -- Экспоненциальное улучшение временной сложности проверки моделей для мультиагентных систем с абсолютной памятью / Н.О. Гараниа -- Методы композиции пеи построении характеризационных формул для моделей с непрерывным временем / Е.Н. Боженскова -- Эффективная поддержка баз данных с онтологоическими завистимостями: реляционные языки вместо дискрептивных логик / Л.А. Калиниченко -- Нацеленная генерация данных для тестирования приложений над базами данных / Е.А.Костычев, В.А.Омельченко и др.
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/2012/№ 6 900001462257 Stacks Available -

LDR 00620cas a2200205Ka 4500
001217008
003GUL
00520190219045958.0
022 . ‡a0132-3474
0800 . ‡a004 ‡x(051)
24510. ‡aПрограммирование : ‡n№ 6, ноябрь-декабрь / ‡cГлавный редактор: В.П. Иванников; Российская академия наук.
260 . ‡aМосква : ‡bНаука , ‡c2012.
300 . ‡a80 с.
310 . ‡aВыходит 6 раз в год ‡b1975-
500 . ‡aЖурнал издается под руководством Отделения математических наук РАН.
504 . ‡aБиблиография: с.18-19.с.31-32, с.59-62.
50500. ‡tИнформационные системы для улучшения социальных коммуникаций на конференциях: сенсорный подход / ‡rА.Х. Михаель А.Фруид и др. -- ‡tЭкспоненциальное улучшение временной сложности проверки моделей для мультиагентных систем с абсолютной памятью / ‡rН.О. Гараниа -- ‡tМетоды композиции пеи построении характеризационных формул для моделей с непрерывным временем / ‡rЕ.Н. Боженскова -- ‡tЭффективная поддержка баз данных с онтологоическими завистимостями: реляционные языки вместо дискрептивных логик / ‡rЛ.А. Калиниченко -- ‡tНацеленная генерация данных для тестирования приложений над базами данных / ‡rЕ.А.Костычев, В.А.Омельченко и др.
65014. ‡aПрограммирование.
65024. ‡aПериодическое издание.
7001 . ‡aИванников, В.П. ‡eГлавный редактор.
7102 . ‡aРоссийская академия наук.
910 . ‡aლეილა ცანკაშვილი.
901 . ‡a217008 ‡b ‡c217008 ‡tbiblio

Additional Resources