Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий
This article is about the problems of synthesis of formal logic models that are
 used to describe the processes occurring in the system functioning book and magazine
 editions. Based on this it was done the assertion of the consistency of the model
 synthesized from formal lo...
Saved in:
| Published in: | Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
|---|---|
| Date: | 2010 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2010
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/27559 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий / Г. Петриашвили // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 56. — С. 250-257. — Бібліогр.: 3 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862739471534915584 |
|---|---|
| author | Петриашвили, Г. |
| author_facet | Петриашвили, Г. |
| citation_txt | Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий / Г. Петриашвили // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 56. — С. 250-257. — Бібліогр.: 3 назв. — рос. |
| collection | DSpace DC |
| container_title | Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| description | This article is about the problems of synthesis of formal logic models that are
used to describe the processes occurring in the system functioning book and magazine
editions. Based on this it was done the assertion of the consistency of the model
synthesized from formal logic models and information models, that is one of the basic
informational component.
|
| first_indexed | 2025-12-07T20:09:36Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-27559 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | XXXX-0067 |
| language | Russian |
| last_indexed | 2025-12-07T20:09:36Z |
| publishDate | 2010 |
| publisher | Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| record_format | dspace |
| spelling | Петриашвили, Г. 2011-10-08T21:26:15Z 2011-10-08T21:26:15Z 2010 Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий / Г. Петриашвили // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 56. — С. 250-257. — Бібліогр.: 3 назв. — рос. XXXX-0067 https://nasplib.isofts.kiev.ua/handle/123456789/27559 621.3 This article is about the problems of synthesis of formal logic models that are
 used to describe the processes occurring in the system functioning book and magazine
 editions. Based on this it was done the assertion of the consistency of the model
 synthesized from formal logic models and information models, that is one of the basic
 informational component. ru Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий Article published earlier |
| spellingShingle | Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий Петриашвили, Г. |
| title | Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий |
| title_full | Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий |
| title_fullStr | Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий |
| title_full_unstemmed | Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий |
| title_short | Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий |
| title_sort | методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/27559 |
| work_keys_str_mv | AT petriašvilig metodysintezainformacionnyhkomponentsformalʹnymimodelâmisistemyfunkcionirovaniâknižnožurnalʹnyhizdanii |