NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 6
  • Tagged with
  • 6
  • 6
  • 6
  • 6
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 6 of 6 (0.009 seconds)
1

Synchronization of partial and non-deterministic automata: a sat-based approach : dissertation for the degree of candidate of physical and mathematical sciences : 05.13.17 / Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.17

Shabana, H. M. D. January 2020 (has links)
No description available.
NONDETERMINISTIC AUTOMATON
RANDOM AUTOMATON
SAT
SATSOLVER
ДИССЕРТАЦИИ
05.13.17
2

Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17

Шабана, Х. М. Д. January 2020 (has links)
No description available.
NONDETERMINISTIC AUTOMATON
RANDOM AUTOMATON
SAT
SATSOLVER
АВТОРЕФЕРАТЫ
05.13.17
3

Модели, методы и алгоритмы построения семантической сети слов для задач обработки естественного языка : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17

Усталов, Д. А. January 2017 (has links)
No description available.
АВТОРЕФЕРАТЫ
05.13.17
4

Модели, методы и алгоритмы построения семантической сети слов для задач обработки естественного языка : диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.17

Усталов, Д. А. January 2017 (has links)
No description available.
ДИССЕРТАЦИИ
05.13.17
5

Эффективные строковые алгоритмы в модели потока данных : диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.17

Меркурьев, О. А. January 2020 (has links)
No description available.
ДИССЕРТАЦИИ
СТРИНГОЛОГИЯ
СТРОКОВЫЕ АЛГОРИТМЫ
МОДЕЛИ ПОТОКА ДАННЫХ
ПАЛИНДРОМЫ В ПОТОКАХ
ПОВТОРЫ В ПОТОКАХ
05.13.17
6

Эффективные строковые алгоритмы в модели потока данных : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17

Меркурьев, О. А. January 2020 (has links)
No description available.
АВТОРЕФЕРАТЫ
СТРИНГОЛОГИЯ
СТРОКОВЫЕ АЛГОРИТМЫ
МОДЕЛИ ПОТОКА ДАННЫХ
ПАЛИНДРОМЫ В ПОТОКАХ
ПОВТОРЫ В ПОТОКАХ
05.13.17

Page generated in 0.0138 seconds