Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
26
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Tools
Ciencias Informáticas
18
Herramientas
9
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
Evaluation
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
-
1Parte de libro publishedVersion
-
2por Marder, Sandra Esther, Fernández Francia, María Julia, Pouler, Carolina, Arpone, Soledad, D'Arcangelo, Mercedes
Publicado 2017Aportado por: SEDICI (UNLP)Objeto de conferencia -
3por Molina, Facundo, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías, Frias, Marcelo F.
Publicado 2021Aportado por: SEDICI (UNLP)Objeto de conferencia Resumen -
4por González, J.A., León, C., Piccoli, María Fabiana, Printista, Alicia Marcela, Roda García, José Luis, Rodriguez, C., Rodríguez, J.M., Sande Gonzalez, Francisco de
Publicado 2001Aportado por: SEDICI (UNLP)Objeto de conferencia -
5por Notare, Mirela S. M. A., Furlanetto, María L., Westphal, Willian Norberto, Cruz, Fernando Augusto da Silva, Westphall, Becker Carlos
Publicado 1997Aportado por: SEDICI (UNLP)Objeto de conferencia -
6
-
7
-
8
-
9
-
10por Inchaurrondo, Claudia Inés, Montejano, Germán Antonio, Figueiredo, Lucília Camarão de
Publicado 2011Aportado por: SEDICI (UNLP)Objeto de conferencia -
11
-
12por Gómez, Ayelén Suyay, Barreras, Luis Héctor Amaranto, Hidalgo, Milena, Puca Molina, Ricardo Santiago
Publicado 2020Aportado por: SEDICI (UNLP)Articulo -
13
-
14
-
15
-
16por Gutiérrez Brida, Simón, Regis, Germán, Zheng, Guolong, Bagheri, Hamid, Nguyen, ThanhVu, Aguirre, Nazareno Matías, Frias, Marcelo F.
Publicado 2021Aportado por: SEDICI (UNLP)Objeto de conferencia Resumen -
17
-
18
-
19
-
20