Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Codes (symbols)
23
Algorithms
14
Computer programming
8
Encoding (symbols)
8
Mathematical models
8
Polynomials
8
Symbolic execution
8
Algebra
6
Computational complexity
6
Model checking
6
Parameter estimation
6
Problem solving
6
Specifications
6
Symbolic computation
6
Abstracting
5
Numerical methods
5
Sparse resultant
5
Argentina
4
Calculations
4
Complexity
4
Computational linguistics
4
Computer simulation
4
Computer software
4
Concretes
4
Constraint Solving
4
Data structures
4
Formal methods
4
Geometry
4
Graph theory
4
Polynomial equation solving
4
-
1Materias: “...Symbolic execution...”
-
2Materias: “...Symbolic execution...”
JOUR -
3Materias: “...Symbolic Newton's algorithm...”
-
4Materias: “...Symbolic Newton's algorithm...”
Artículo publishedVersion -
5
-
6
-
7
-
8Publicado 2008Materias: “...Symbolic dynamics...”
-
9Materias: “...Symbolic dynamics...”
JOUR -
10Publicado 2018Materias: “...Symbolic Execution...”
-
11por Braberman, V., Garbervetsky, D., Godoy, J., Uchitel, S., De Caso, G., Perez, I., Perez, S., Garci A., Pasareanu C.S., Leavens G.T.Materias: “...Symbolic Execution...”
CONF -
12
-
13
-
14Materias: “...Symbolic execution...”
-
15Materias: “...Symbolic execution...”
CONF -
16Publicado 1998Materias: “...Symbolic computing...”
-
17
-
18por Di Lorenzo, Francisco J., Raspa, Verónica, Knoblauch, Pablo Tomás, Moreno, Cesar HugoMaterias: “...Codes (symbols)...”
Publicado 2007
-
19Publicado 2009Materias: “...Symbolic bisimulation...”
-
20Materias: “...Codes (symbols)...”
Artículo publishedVersion