NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2
  • Tagged with
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 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 2 of 2 (0.014 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

Page generated in 0.0186 seconds