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

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

Статті 6,831
Проблемы материальной культуры – ЭКОНОМИЧЕСКИЕ НАУКИ 3,451
Научно-технический раздел 2,648
Краткие сообщения 2,299
Оригинальные статьи 1,621
Рецензії 1,596
Вітаємо 1,321
- 1,277
Хроніка 1,110
Вопросы духовной культуры – ФИЛОЛОГИЧЕСКИЕ НАУКИ 997
Короткі повідомлення 966
Неорганическая и физическая химия 960
Научные статьи 875
Производственный раздел 858
Наукові статті 827
Вопросы духовной культуры – ИСТОРИЧЕСКИЕ НАУКИ 798
Хроника 791
Фауна и систематика 752
Розвідки 750
Математика 728
Информация 689
Електричні машини та апарати 675
Characterization and properties 657
Критика та бібліографія 646
Повідомлення 632
631
Історія 629
Економіка 623
Точка зрения 616
Хімія 613

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.

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

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

Репозитарії

Формат

Автор

Мова

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