התחבר
|
Hebrew
|
תנאי שימוש
מילונים
הפורום
פרטי הקשר
רוסית
⇄
אנגלית
מונחים
המכילים
алгоритм включения
|
כל הפורומים
|
לפי סדר מוגדר בלבד
נושא
רוסית
אנגלית
.מָתֵי
алгоритм включения
valve algorithm
.סטָטִ
алгоритм пошагового включения переменных
stepwise variable selection
(
julchik
)
.תִכנו
алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов
algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata
(
ssn
)
.תִכנו
алгоритмы проверки включения временных омега-автоматов
algorithms for testing inclusion between timed omega automata
(
ssn
)
קבל כתובת URL קצרה