Suggested Topics within your search.
Showing 141 - 160 results of 564 for search '"computer science"', query time: 0.29s Refine Results
  1. 141
    Проверка эквивалентности программ с помощью двухленточных автоматов
    Get full text
    Article
    Save to List
    Saved in:
  2. 142
    Toward software engineering ecosystems definition
    by Sydorov, M.O.
    Published 2023
    Get full text
    Article
    Save to List
    Saved in:
  3. 143
    Usage of AI-planning techniques to solve problems of Web-services composition
    by Zakharova, O.V.
    Published 2018
    Get full text
    Article
    Save to List
    Saved in:
  4. 144
    Сложность реоптимизации задачи вычисления хроматического числа графа с заданным множеством оптимальных решений
    Get full text
    Article
    Save to List
    Saved in:
  5. 145
    Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга
    Get full text
    Article
    Save to List
    Saved in:
  6. 146
    Architecture metrics: a servey of the potential to improve softwar
    by Liubchenko, V.V.
    Published 2024
    Get full text
    Article
    Save to List
    Saved in:
  7. 147
    The Code is based on random numbers with irregular distribution
    by Mikhersky, R.M.
    Published 2025
    Get full text
    Article
    Save to List
    Saved in:
  8. 148
    Современные проблемы изучения комплексных объектов и базисные стратегии методологии научного исследования
    Get full text
    Article
    Save to List
    Saved in:
  9. 149
    Automated program design for solution of weather forecasting problem
    Get full text
    Article
    Save to List
    Saved in:
  10. 150
    Applying Description Logics with Concrete Domains to Solve the Problems of Semantic Web Services Discovery and Composition
    by Zakharova, O.V.
    Published 2023
    Get full text
    Article
    Save to List
    Saved in:
  11. 151
    Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
    by Shkilniak, O.S.
    Published 2019
    Get full text
    Article
    Save to List
    Saved in:
  12. 152
    T-satisfiability test problem for the VL1 logical language of the VRS system
    by Timofeev, V.G.
    Published 2015
    Get full text
    Article
    Save to List
    Saved in:
  13. 153
    Алгоритм решения задачи о наименьшем вершинном покрытии произвольного графа с помощью систем квадратичных уравнений
    Get full text
    Article
    Save to List
    Saved in:
  14. 154
    Автоматизоване проектування програм для розв’язання задачі метеорологічного прогнозування
    Get full text
    Article
    Save to List
    Saved in:
  15. 155
    Bicomponent sorting algorithms
    Get full text
    Article
    Save to List
    Saved in:
  16. 156
    Дослідження параметрів важливості вузлів у мережах співавторів
    Get full text
    Article
    Save to List
    Saved in:
  17. 157
    Hybrid autotuning model with statistic modelling
    Get full text
    Article
    Save to List
    Saved in:
  18. 158
    Traversal of arbitrary sequences of UCM symbolic transitions for test generation
    by Guba, A.A.
    Published 2025
    Get full text
    Article
    Save to List
    Saved in:
  19. 159
    Реализация алгоритма преобразования неординарной сети Петри в ординарную
    Get full text
    Article
    Save to List
    Saved in:
  20. 160
    Embedding a family of logic languages with custom monadic unification in Scala
    Get full text
    Article
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search