Dissertation/ Thesis
Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17
| Τίτλος: | Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 |
|---|---|
| Συνεισφορές: | Волков, М. В. |
| Στοιχεία εκδότη: | б. и., 2020. |
| Έτος έκδοσης: | 2020 |
| Θεματικοί όροι: | NONDETERMINISTIC AUTOMATON, RANDOM AUTOMATON, SAT, SATSOLVER, ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ, АВТОРЕФЕРАТЫ, 05.13.17 |
| Τύπος εγγράφου: | Thesis |
| Περιγραφή αρχείου: | application/pdf |
| Γλώσσα: | Russian |
| Σύνδεσμος πρόσβασης: | http://elar.urfu.ru/handle/10995/84648 |
| Αριθμός Καταχώρησης: | edsair.od.......917..93c44afbc9c82599a4bd9a41e90fd741 |
| Βάση Δεδομένων: | OpenAIRE |
| Η περιγραφή δεν είναι διαθέσιμη |