Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
28
Revistas
1
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Tools
Ciencias Informáticas
18
Herramientas
8
Alloy
6
Alloying
6
Computer software
6
Static analysis
6
Software engineering
5
Cerium alloys
4
Code analysis
4
DynAlloy
4
Java programming language
4
Model checking
4
Plug-ins
4
Program translators
4
Propositional formulas
4
Runtimes
4
SAT-based code analysis
4
Algorithms
3
SOFTWARE ENGINEERING
3
ARQUEOLOGIA
2
Accident prevention
2
Adaptive Systems
2
Adaptive control systems
2
Adaptive systems
2
Alloy analyzers
2
Alloy calculus
2
Alloys
2
Amino Acid Motifs
2
Amino acid sequence
2
-
41Parte de libro publishedVersion
-
42
-
43
-
44
-
45
-
46
-
47
-
48
-
49
-
50
-
51
-
52
-
53
-
54
-
55
-
56por Rosner, N., Galeotti, J., Bermúdez, S., Blas, G.M., De Rosso, S.P., Pizzagalli, L., Zemín, L., Frias, M.F.CONF
-
57
-
58