Ähnliche Schlagwörter innerhalb Ihrer Suche.
Treffer 1 - 19 von 19 für Suche '"UDC 004.415"', Suchdauer: 0,17s Treffer weiter einschränken
  1. 1
    Development of integrated system of scientific periodicals based on the OJS
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Regression testing: techniques and future research directions
    von Moroz, H.B., Plys, A.B.
    Veröffentlicht 2025
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  3. 3
    Traversal of arbitrary sequences of UCM symbolic transitions for test generation
    von Guba, A.A.
    Veröffentlicht 2025
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  4. 4
    Static method of consistency and completeness checking in formal model of distributed software systems
    von Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.
    Veröffentlicht 2025
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  5. 5
    Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
    von Chebanyuk, E.V., Chuprinka, V.I.
    Veröffentlicht 2015
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  6. 6
    Formal model of scientific publication
    von Reznichenko, V.A., Proskudina, G.Yu., Ovdii, O.M.
    Veröffentlicht 2015
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  7. 7
    Decision support system for quality management in study process
    von Komleva, N.O., Liubchenko, V.V., Zinovatna, S.L.
    Veröffentlicht 2020
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  8. 8
    A GPU-based singular value decomposition algorithm
    von Sukharskyi, S.S.
    Veröffentlicht 2023
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  9. 9
    Efficient increasing of the mutation score during model-based test suite generation
    von Kolchin, A., Potiyenko, S., Weigert, T.
    Veröffentlicht 2020
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  10. 10
    Toward software artifacts ecosystem
    von Sydorov, N.A.
    Veröffentlicht 2021
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  11. 11
    Domain engineering approach of software requirements analysis
    von Chebanyuk, O.V., Palahin, O.V., Markov, K.K.
    Veröffentlicht 2020
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  12. 12
    Equivalence of two parallel execution systems
    von Panchenko, T.V., Fabunmi, S.
    Veröffentlicht 2018
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  13. 13
    Correctness Property Proof for the Banking System for Money Transfer Payments
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  14. 14
    An approach of intelligent searching of information in texts
    von Chebanuyk, O.V.
    Veröffentlicht 2023
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  15. 15
    On the peculiarities of using sparse matrices in problems of mathematical modeling
    von Khimich, O.M., Popov, A.V., Chystiakov, О.V.
    Veröffentlicht 2023
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  16. 16
    Agile requirement analysis approach using artificial intelligent technologies
    von Chebanyuk, O.V.
    Veröffentlicht 2024
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  17. 17
    Peterson’s algorithm Total correctness proof in IPCL
    von Zhygallo, A.A.
    Veröffentlicht 2018
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  18. 18
    Formal verification of deep neural networks
    von Panchuk, B.O.
    Veröffentlicht 2024
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  19. 19
    Formal foundations for software model to model transformation operation
    von Chebanyuk, O.V.
    Veröffentlicht 2018
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden – Suche speichern