Результати пошуку :: Harvester open publications of NAS Ukraine

Рекомендовані теми у межах Вашого пошуку. Рекомендовані теми у межах Вашого пошуку.

Статті 6,792
Проблемы материальной культуры – ЭКОНОМИЧЕСКИЕ НАУКИ 3,451
Научно-технический раздел 2,636
Краткие сообщения 2,291
Оригинальные статьи 1,621
Рецензії 1,594
Вітаємо 1,321
- 1,277
Хроніка 1,108
Вопросы духовной культуры – ФИЛОЛОГИЧЕСКИЕ НАУКИ 997
Короткі повідомлення 966
Неорганическая и физическая химия 954
Научные статьи 875
Производственный раздел 848
Наукові статті 827
Вопросы духовной культуры – ИСТОРИЧЕСКИЕ НАУКИ 798
Хроника 787
Фауна и систематика 751
Розвідки 750
Математика 724
Информация 688
Електричні машини та апарати 675
Characterization and properties 657
Критика та бібліографія 646
Повідомлення 632
631
Історія 629
Економіка 623
Точка зрения 616
Хімія 609

Logics of quasiary predicates of quantifier-equational level за авторством Nikitchenko, M.S., Shkilniak, S.S.

New methods of descriptions for uncertain variables за авторством Provotar, O.I., Lapko, O.V.

Analysis of systems of fuzzy logic to approximate fuzzy functions за авторством Schegelski, Т.S., Provotar, O.O., Provotar, O.I.

About one dynamic model of conflictcontrol user interaction in open information environments за авторством Ignatenko, O.P.

Instrumentariy creating business logic за авторством Kozhaev, V. V.

Survey on modern tools and methods of formal models verification за авторством Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

The Formal method of Component Basic Programming за авторством Grischenko, V.N.

The technology of optimal options choice based on semantic analisis of information objects of the bisnessprocess за авторством Zakharova, O.V., Minenko, V.D.

Architecture and functionalities of system of situational management of protection of zones of the responsibility за авторством Alekseev, V.A., Mostovoi, V.V., Tereshchenko, V.S., Yalovets, A.L.

The application package for calculation continuous and discrete models of dynamic processes in the control circuits за авторством Merdukh, S.L., Medvedev, R.B.

Optimisation of big N-width digits multiplication based on N-width DFT за авторством Tereshchenko, A.N., Zadiraka, V.K.

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

Synthesis of an automaton specified by the set of clauses за авторством Chebotarev, A.N.

DS-theory. Presentation of canonical algorithm by means of algorithmic language за авторством Kolesnyk, V.G.

Automated generation of parallel programs for graphics processing units based on algorithm schemes за авторством Doroshenko, А.Yu., Beketov, O.G., Ivaniv, R.B., Iovchev, V.O., Mironenko, I.O., Yatsenko, O.A.

On decompilation of VLIW executable files за авторством Jakub, K.

Descriptive logic using in Web-service problems за авторством Zakharova, O.V.

Approach qualitative analisys of dynamic systems wood based solutions за авторством Andrushchak, I.Ye.

Programming gestures simulator with statistical modeling за авторством Doroshenko, А.Yu., Novak, O.S.

Virtualization of models of technical plants in educational and research problems in the development of control systems за авторством Zherebko, V.A.

Результати пошуку

Logics of quasiary predicates of quantifier-equational level за авторством Nikitchenko, M.S., Shkilniak, S.S.

New methods of descriptions for uncertain variables за авторством Provotar, O.I., Lapko, O.V.

Analysis of systems of fuzzy logic to approximate fuzzy functions за авторством Schegelski, Т.S., Provotar, O.O., Provotar, O.I.

About one dynamic model of conflictcontrol user interaction in open information environments за авторством Ignatenko, O.P.

Instrumentariy creating business logic за авторством Kozhaev, V. V.

Survey on modern tools and methods of formal models verification за авторством Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

The Formal method of Component Basic Programming за авторством Grischenko, V.N.

The technology of optimal options choice based on semantic analisis of information objects of the bisnessprocess за авторством Zakharova, O.V., Minenko, V.D.

Architecture and functionalities of system of situational management of protection of zones of the responsibility за авторством Alekseev, V.A., Mostovoi, V.V., Tereshchenko, V.S., Yalovets, A.L.

The application package for calculation continuous and discrete models of dynamic processes in the control circuits за авторством Merdukh, S.L., Medvedev, R.B.

Optimisation of big N-width digits multiplication based on N-width DFT за авторством Tereshchenko, A.N., Zadiraka, V.K.

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

Synthesis of an automaton specified by the set of clauses за авторством Chebotarev, A.N.

DS-theory. Presentation of canonical algorithm by means of algorithmic language за авторством Kolesnyk, V.G.

Automated generation of parallel programs for graphics processing units based on algorithm schemes за авторством Doroshenko, А.Yu., Beketov, O.G., Ivaniv, R.B., Iovchev, V.O., Mironenko, I.O., Yatsenko, O.A.

On decompilation of VLIW executable files за авторством Jakub, K.

Descriptive logic using in Web-service problems за авторством Zakharova, O.V.

Approach qualitative analisys of dynamic systems wood based solutions за авторством Andrushchak, I.Ye.

Programming gestures simulator with statistical modeling за авторством Doroshenko, А.Yu., Novak, O.S.

Virtualization of models of technical plants in educational and research problems in the development of control systems за авторством Zherebko, V.A.

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

Уточнити результати

Репозитарії

Формат

Автор

Мова

Рік публікації