• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Reputation Systems in E-commerce: Comparative Analysis and Perspectives to Model Uncertainty Inherent in Them

Nosovskiy M.M., Degtiarev K.Y.

Proceedings of the Institute for System Programming of the RAS. 2019. Vol. 31. No. 3. P. 99-122.

Глава в книге
Crystallochemical Design of Huntite-Family Compounds

Kuz’micheva G. M., Kaurova I. A., Rybakov V. B. et al.

In bk.: Crystal Growth of Multifunctional Borates and Related Materials. Basel; Beijing; Wuhan; Barcelona; Beograd: MDPI, 2019. P. 58-106.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

Поздравляем Андрея Дмитриевича Татарникова с успешной защитой диссертации

19 октября 2017 в ИСП РАН состоялась защита диссертации преподавателя департамента программной инженерии Татарникова Андрея Дмитриевича на тему «Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций» на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Научным руководителем работы является доцент кафедры «Системное программирование» Камкин Александ Сергеевич - ведущий научный сотрудник ИСП РАН, к.ф.-м.н., для которого защита А.Д.Татарникова является первой защитой под его руководством.
Коллектив  департамента программной инженерии и кафедры СП поздравляет А.Д.Татарникова и А.С.Камкина с успешной защитой.