Suchergebnisse - "004.415"
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- 16
- УДК 004.415.2.045 (076.5) 8
- UDC 004.415.2.045 (076.5) 7
- УДК 004.415 7
- 004.415 6
- UDC 004.415 5
- UDC 004.424 4
- formal verification 4
- УДК 004.424 4
- формальна верифікація 4
- IPCL 3
- UDC 004.415.2 3
- UDC 004.415.52 3
- algorithm 3
- composition-nominative languages 3
- concurrent program 3
- data 3
- interleaving 3
- programming 3
- УДК 004.415.2 3
- УДК 004.415.52 3
- алгоритм 3
- композиционно-номинативные языки 3
- композиційно-номінативні мови 3
- параллельная программа 3
- програмування 3
- формальная верификация 3
- Model-Driven Development 2
- Requirement Analysis 2
- Software Model Transformation 2
-
1
Development of integrated system of scientific periodicals based on the OJS
Veröffentlicht 2017Volltext
Artikel -
2
-
3
-
4
The usage of ontologies for semantics analysis of texts on natural language
Veröffentlicht 2026Volltext
Artikel -
5
-
6
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
Veröffentlicht 2025Volltext
Artikel -
7
-
8
Static method of consistency and completeness checking in formal model of distributed software systems
Veröffentlicht 2025Volltext
Artikel -
9
About one Approach for the Verification of Algebraic Computations
Veröffentlicht 2025Volltext
Artikel -
10
-
11
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
Veröffentlicht 2017Volltext
Artikel -
12
-
13
An approach to behavioral software models refinement using design patterns
Veröffentlicht 2025Volltext
Artikel -
14
-
15
-
16
DS-theory. Presentation of canonical algorithm by means of algorithmic language
Veröffentlicht 2017Volltext
Artikel -
17
-
18
-
19
On the possibility of a systematic study of the production management systems
Veröffentlicht 2018
Volltext
Artikel -
20
Decision support system for quality management in study process
Veröffentlicht 2020
Volltext
Artikel