-
1Academic Journal
Συγγραφείς: Alexander K. Petrenko, Denis Buzdalov, Alexey Khoroshilov
Πηγή: Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 341-366 (2019)
Θεματικοί όροι: модельное время, моделирование архитектуры, моделирование поведения, монады, Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, функциональное программирование, 01 natural sciences, ответственные системы
-
2Academic Journal
Συγγραφείς: D. V. Buzdalov, A. K. Petrenko, A. V. Khoroshilov
Πηγή: Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 341-366 (2019)
Θεματικοί όροι: моделирование архитектуры, ответственные системы, моделирование поведения, модельное время, функциональное программирование, монады, Electronic computers. Computer science, QA75.5-76.95
Περιγραφή αρχείου: electronic resource
Relation: https://ispranproceedings.elpub.ru/jour/article/view/1137; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426
Σύνδεσμος πρόσβασης: https://doaj.org/article/89fbd92bc9794df398f0089a34e7f05b
-
3Academic Journal
Περιγραφή αρχείου: text/html
-
4Academic Journal
Методы и инструментальные средства системы управления временем в архитектурах организационных систем
Συγγραφείς: Сараев, Антон, Довгаль, Виктор
Θεματικοί όροι: УПРАВЛЕНИЕ ВРЕМЕНЕМ, ОПТИМИЗАЦИЯ ВРЕМЕНИ, МОДЕЛИРОВАНИЕ АРХИТЕКТУРЫ ОРГАНИЗАЦИОННЫХ СИСТЕМ
Περιγραφή αρχείου: text/html
-
5Academic Journal
Πηγή: Научно-технический вестник информационных технологий, механики и оптики.
Περιγραφή αρχείου: text/html
-
6Academic Journal
Методы и инструментальные средства системы управления временем в архитектурах организационных систем
Πηγή: Статистика и экономика.
Θεματικοί όροι: УПРАВЛЕНИЕ ВРЕМЕНЕМ, ОПТИМИЗАЦИЯ ВРЕМЕНИ, МОДЕЛИРОВАНИЕ АРХИТЕКТУРЫ ОРГАНИЗАЦИОННЫХ СИСТЕМ
Περιγραφή αρχείου: text/html
-
7Academic Journal
Πηγή: Статистика и экономика.
Θεματικοί όροι: УПРАВЛЕНИЕ ВРЕМЕНЕМ, ОПТИМИЗАЦИЯ ВРЕМЕНИ, МОДЕЛИРОВАНИЕ АРХИТЕКТУРЫ ОРГАНИЗАЦИОННЫХ СИСТЕМ
Περιγραφή αρχείου: text/html
-
8