Refine your search
Availability
-
Bibliographic level
- Статьи из сериальных изданий (2)
- Книги (1)
-
Authors
-
Locations
- Книгохранилище (1)
-
Item types
-
Topics
- SAT-решатели [x]
- D-SAT, программа (1)
- SAT-задачи (1)
- Simon, семейство шифров (1)
- Гиффорда генератор (1)
- алгебраическая нормальная форма (1)
- алгебраический криптоанализ (1)
- алгоритмы решения (1)
- диссертации (1)
- криптоанализ (1)
- криптоанализ параллельный логический (1)
- логические уравнения (1)
- многопроцессорные вычислительные системы (1)
- множества декомпозиционные (1)
- модули программ (1)
- низкоресурсные блочные шифры (1)
- пакеты прикладных программ (1)
- параллельные вычисления крупноблочные (1)
- потоковые шифры (1)
- функции дискретные (1)
- численные эксперименты (1)
- Show more
- Show less