Результати пошуку - Львов, М.С.

  • Показ 1 - 16 результатів із 16
Уточнити результати
  1. 1
    Зображення обкладинки

    Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании... за авторством Львов, М.С.

    Опубліковано в: Проблеми програмування (2015)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

    Метод доказательства инвариантности линейных неравенств для линейных циклов за авторством Львов, М.С.

    Опубліковано в: Кибернетика и системный анализ (2014)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

    Алгебраический подход к задаче решения систем линейных неравенств за авторством Львов, М.С.

    Опубліковано в: Кибернетика и системный анализ (2010)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

    Полиномиальные инварианты линейных циклов за авторством Львов, М.С.

    Опубліковано в: Кибернетика и системный анализ (2010)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

    Об одном подходе к верификации алгебраических вычислений за авторством Львов, М.С.

    Опубліковано 2011
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

    Концепция информационной поддержки учебного процесса и ее реализация в педагогических программных средах... за авторством Львов, М.С.

    Опубліковано 2009
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  7. 7
    Зображення обкладинки

    Математичні моделі та методи підтримки ходу розв’язання навчальних задач з аналітичної геометрії... за авторством Львов, М.С.

    Опубліковано в: Штучний інтелект (2010)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  8. 8
    Зображення обкладинки

    Интеллектуальные свойства систем компьютерной математики учебного назначения и методы их реализации... за авторством Львов, М.С.

    Опубліковано в: Штучний інтелект (2011)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  9. 9
    Зображення обкладинки

    Тригонометрические вычисления в системах компьютерной математики учебного назначения за авторством Львов, М.С.

    Опубліковано в: Штучний інтелект (2011)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  10. 10
    Зображення обкладинки

    Концепция, архитектура и функциональность гибкой распределенной программной среды учебного назначения для средней школы. Рабочее место методиста... за авторством Львов, М.С.

    Опубліковано в: Управляющие системы и машины (2009)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  11. 11
    Зображення обкладинки

    Распределенные программные среды учебного назначения. Подсистема управления учебным процессом за авторством Львов, М.С.

    Опубліковано в: Управляющие системы и машины (2010)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  12. 12
    Зображення обкладинки

    Реализация вычислений в алгебрах числовых множеств в математических системах учебного назначения... за авторством Львов, М.С.

    Опубліковано в: Управляющие системы и машины (2010)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  13. 13
    Зображення обкладинки

    Математические тесты в системах компьютерной математики учебного назначения за авторством Львов, М.С.

    Опубліковано в: Управляющие системы и машины (2011)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  14. 14
    Зображення обкладинки

    Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов за авторством Львов, М.С., Крекнин, В.А.

    Опубліковано в: Кибернетика и системный анализ (2012)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  15. 15
    Зображення обкладинки

    Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием... за авторством Львов, М.С., Песчаненко, В.С.

    Опубліковано в: Кибернетика и системный анализ (2012)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  16. 16
    Зображення обкладинки

    Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул за авторством Львов, М.С., Песчаненко, В.С., Летичевский, А.А., Тарасич, Ю.Г., Баев, А.С.

    Опубліковано в: Кибернетика и системный анализ (2018)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: