de
en
es
fr
Shop
GRIN Website
Publicación mundial de textos académicos
Textos académicos sobre CNF
2 publications
Finding all Solutions to a CNF. The DualSat SAT Solver
Autor:in:
Elmar Stellnberger (Autor)
Asignatura:
Ciencias de la computación - Aplicada
Categoría:
Tesis de Máster , 2020 66 Páginas , Calificación: Sehr gut
No. de catálogo:
1022264
Precio:
US$ 34,99
Werkzeuggestützte Ableitung Boolescher Modelle auf Grundlage existierender Variabilitätsmodelle. Eine Betrachtung
Autor:in:
Lea Kristin Gerling (Autor)
Asignatura:
Ciencias de la computación - Internet, nuevas tecnologías
Categoría:
Trabajo de Seminario , 2015 34 Páginas
No. de catálogo:
335400
Precio:
US$ 18,99
