Author Search Results :: Harvester open publications of NAS Ukraine

Select result number 1
1

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

Published in Проблеми програмування (2015)

Get full text

Article

standalone_record_link
Save to List

Saved in:
Select result number 2
2

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

Published in Кибернетика и системный анализ (2014)

Get full text

Article

standalone_record_link
Save to List

Saved in:
Select result number 3
3

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

Published in Кибернетика и системный анализ (2010)

Get full text

Article

standalone_record_link
Save to List

Saved in:
Select result number 4
4

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

Published in Кибернетика и системный анализ (2010)

Get full text

Article

standalone_record_link
Save to List

Saved in:
Select result number 5
5

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

Published 2011

Get full text

Article

standalone_record_link
Save to List

Saved in:
Select result number 6
6

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

Published 2009

Get full text

Article

standalone_record_link
Save to List

Saved in:
Select result number 7
7

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

Published in Штучний інтелект (2010)

Get full text

Article

standalone_record_link
Save to List

Saved in:
Select result number 8
8

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

Published in Штучний інтелект (2011)

Get full text

Article

standalone_record_link
Save to List

Saved in:
Select result number 9
9

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

Published in Штучний інтелект (2011)

Get full text

Article

standalone_record_link
Save to List

Saved in:
Select result number 10
10

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

Published in Управляющие системы и машины (2009)

Get full text

Article

standalone_record_link
Save to List

Saved in:
Select result number 11
11

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

Published in Управляющие системы и машины (2010)

Get full text

Article

standalone_record_link
Save to List

Saved in:
Select result number 12
12

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

Published in Управляющие системы и машины (2010)

Get full text

Article

standalone_record_link
Save to List

Saved in:
Select result number 13
13

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

Published in Управляющие системы и машины (2011)

Get full text

Article

standalone_record_link
Save to List

Saved in:
Select result number 14
14

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

Published in Кибернетика и системный анализ (2012)

Get full text

Article

standalone_record_link
Save to List

Saved in:
Select result number 15
15

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

Published in Кибернетика и системный анализ (2012)

Get full text

Article

standalone_record_link
Save to List

Saved in:
Select result number 16
16

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

Published in Кибернетика и системный анализ (2018)

Get full text

Article

standalone_record_link
Save to List

Saved in:

Search Results - Львов, М.С.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Search Tools:

Related Subjects