Search Results - "program"
Suggested Topics within your search.
Suggested Topics within your search.
- MS6: New Trends, Research Directions, and Perspective Programs in the Field of Astronomy and Astrophysics 10
- мови програмування 6
- 681.3 5
- UDC 004.4'24 5
- УДК 004.4'24 5
- енергетична система 5
- 621.313 4
- Lua script 4
- linear programming 4
- linear programming model 4
- programming languages 4
- математична модель 4
- математичне програмування 4
- модель лінійного програмування 4
- програма FEMM 4
- программа FEMM 4
- турбогенератор 4
- IPCL 3
- Lua скрипт 3
- RECOOP Visegrad Scholarship Program 3
- UDC 004.424 3
- composition-nominative languages 3
- concurrent program 3
- formal verification 3
- generation dispatch 3
- interleaving 3
- mathematical programming 3
- nonlinear programming 3
- optimal solution 3
- program FEMM 3
-
21
-
22
-
23
Correctness Property Proof for the Banking System for Money Transfer Payments
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
24
Equivalence of two parallel execution systems
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
25
An optimization electronic simulation of multi-target system tasks
Published 2016
Get full text
Article -
26
-
27
-
28
Peterson’s algorithm Total correctness proof in IPCL
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
29
Jupyter Notebook: a system for interactive scientific computing
Published 2019
Get full text
Article -
30
Modern astrometry in different ranges of electromagnetic waves
Published in Кинематика и физика небесных тел (2005)Get full text
Article -
31
-
32
-
33
-
34
-
35
Project of the network for occultation phenomena television observations
Published in Кинематика и физика небесных тел (2005)Get full text
Article -
36
-
37
-
38
-
39
-
40