Публикации

-

Результаты испытаний микромеханических гироскопов при механических воздействиях

Ковалев Андрей Сергеевич

  • Авторы: Евстифеев М.И., Ковалев А.С., Елисеев Д.П. Розенцвейн Д.В., Ковалев Андрей Сергеевич
  • Объем (страниц): 0
  • Издательство: СПб.: ГНЦ РФ – ЦНИИ "Электроприбор"
  • ISBN:
  • ISSN:
  • Сборник/Журнал: Journal of Molecular Liquids
  • Страницы в сборнике: С.49-58
Статья в журнале
2011 год

Методика оценки метрологических характеристик одноосного стенда переменных угловых скоростей

Ковалев Андрей Сергеевич

  • Авторы: Грязин Д.Г, Скалон А.И., Ковалев А.С., Лычев Д.И., Ковалев Андрей Сергеевич
  • Объем (страниц): 0
  • Издательство: СПб.: ГНЦ РФ – ЦНИИ "Электроприбор"
  • ISBN:
  • ISSN:
  • Сборник/Журнал: Journal of Molecular Liquids
  • Страницы в сборнике: С.81-90
Статья в журнале
2010 год

Dependence video quality on NALU size

Таубин Феликс Александрович

Статья в сборнике трудов
2010 год

Некоторые приложения ?-исчисления с типами к атрибутным вычислениям в системах категорных преобразований графов

Баранов Сергей Николаевич

  • Авторы: Баранов С.Н., Буавер Б., Соловьев С.В., Феро Л., Баранов Сергей Николаевич
  • Объем (страниц): 28
  • Издательство: Наука
  • ISBN: 2078-9181
  • ISSN:
  • Сборник/Журнал: Journal of Molecular Liquids
  • Страницы в сборнике: 296-323
  • Конференция:
Статья в сборнике трудов
2012 год

Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений

Баранов Сергей Николаевич

  • Авторы: Ануреев И.С., Баранов С.Н., Белоглазов Д.М. и др., Баранов Сергей Николаевич
  • Объем (страниц): 35
  • Издательство: Наука
  • ISBN: 2078-9181
  • ISSN:
  • Сборник/Журнал: Journal of Molecular Liquids
  • Страницы в сборнике: 349-383
  • Конференция:
Статья в сборнике трудов
2013 год

Equality in lambda calculus. Weak universality in category theory and reversible computations

Баранов Сергей Николаевич

  • Авторы: Baranov S.N., Soloviev S.V., Баранов Сергей Николаевич
  • Объем (страниц): 27
  • Издательство: Institut Henri Poincar?
  • ISBN: 1245-530X
  • ISSN:
  • Сборник/Журнал: Journal of Molecular Liquids
  • Страницы в сборнике: 264-291
Статья в журнале
2013 год

Conditionally Reversible Computations and Weak Universality in Category Theory

Баранов Сергей Николаевич

  • Авторы: Baranov S.N., Soloviev S.V., Баранов Сергей Николаевич
  • Объем (страниц): 14
  • Издательство: Наука
  • ISBN: 0132-6678
  • ISSN:
  • Сборник/Журнал: Journal of Molecular Liquids
  • Страницы в сборнике: 19-32
Статья в журнале
2014 год

Conditionally Reversible Computations and Weak Universality in Category Theory

Баранов Сергей Николаевич

  • Авторы: Baranov S.N., Soloviev S.V., Баранов Сергей Николаевич
  • Объем (страниц): 8
  • Издательство: Springer
  • ISBN: 1072-3374
  • ISSN:
  • Сборник/Журнал: Journal of Molecular Liquids
  • Страницы в сборнике: 654-661
Статья в журнале
2014 год

Equivalent Transformations and Regularization in Context-Free Grammars

Баранов Сергей Николаевич

  • Авторы: Baranov S.N., Fedorchenko L.N., Баранов Сергей Николаевич
  • Объем (страниц): 16
  • Издательство: Bulgarian Academy of Sciences
  • ISBN: 1311-9702
  • ISSN:
  • Сборник/Журнал: Journal of Molecular Liquids
  • Страницы в сборнике: 30-45
Статья в журнале
2014 год

Verification Aspects in a Unified Framework for Developing Software Products

Баранов Сергей Николаевич

  • Авторы: Baranov S.N., Soloviev S.V., Баранов Сергей Николаевич
  • Объем (страниц): 4
  • Издательство:
  • ISBN:
  • ISSN:
  • Сборник/Журнал: Journal of Molecular Liquids
  • Страницы в сборнике: 54-57
  • Конференция: The International Conference "Polynomial Computer Algebra", 6-10 May 2013, Saint-Petersburg, Russia. Euler International Mathematical Institute
Статья в сборнике трудов
2013 год
Показать записей на странице.

Информационная система «Личный кабинет» (pro.guap.ru, далее - Сайт) использует файлы cookie и схожие технологии, чтобы максимизировать удобство ее использования. Продолжая пользоваться Сайтом, Вы соглашаетесь с Политикой по работе с файлами cookies в ИС «Личный кабинет». При необходимости Вы можете отключить файлы cookies в настройках Вашего браузера.