Skip navigation
Inicio
Listar
Comunidades
Listar Items por:
Fecha Publicación
Autor
Título
Materia
Ayuda
En pocas palabras
Ayuda Convenios
Ayuda Rápida
Preguntas Frecuentes
Apoyo a autores
Institucional
Objetivos
Beneficios
Recursos
Somos
Contacto
Equipo de Trabajo
BiDYA
Ingresar
Mi Espacio
Alertas
Editar perfil
Buscar
english
español
Colibri
Facultad de Ingeniería
Instituto de Computación
Reportes Técnicos
Buscar
Búsqueda avanzada
Buscar:
Todo Colibri
Facultad de Ingeniería
Instituto de Computación
Reportes Técnicos
por
Comenzar una nueva búsqueda
Agregar filtros:
Usar filtros para refinar el resultado de la búsqueda.
Título
Autor
Materia
Fecha de Publicación
Clasificación
Palabras clave
Descriptores
Tutor
Convenios: Número
Convenios: Tipo
Convenios: Tipo específico
Convenios: Contraparte
Convenios: Pais de la contraparte
Iguales
Contiene
ID
Diferente a
No Contiene
ID distinto a
Resultados 161-170 de 203.
Anterior
1
...
14
15
16
17
18
19
20
...
21
Siguiente
Resultados por ítem:
Fecha de publicación
Título
Autor(es)
2005
Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias
Luna, Carlos
2005
Generación automática de casos de prueba. Investigación en variables enteras
Vallespir Ligugnana, Diego
2000
Multidimensional models :A state of art
Carpani, Fernando
2006
C5 printf and C5 scanfin C5 version 0.98
Cabezas, Juan José
2008
Hacia una especificación formal de un microcontrolador usado en marcapasos
Luna, Carlos
;
Echenique, Paula
;
Sierra Abbate, Luis Ricardo
2007
A multi-objective metaheuristic approach for the transit network design problem
Mauttone, Antonio
;
Urquhart, María E
2006
Generación de un diccionario de formas verbales a partir de información obtenida en la web
Martínez Amarante, Mónica María
2008
Evaluación de modelos de ngrama construidos de derecha a izquierda
Moncecchi, Guillermo
2015
A Multi-Tree Committee to Assist Port-of-entry Inspection Decisions
Romero, Pablo
;
Graneri, Jorge
;
Viera, Omar
;
Moscatelli, Sandro
;
Tansini, Libertad
2016
Network reliability analysis and intractability of counting diameter crystal graphs
Canale, Eduardo
;
Robledo, Franco
;
Romero, Pablo
;
Rubino, Gerardo
Anterior
1
...
14
15
16
17
18
19
20
...
21
Siguiente
Descubrir
Autor
21
Cancela, Héctor
18
Luna, Carlos
15
Betarte, Gustavo
14
Robledo, Franco
11
Vallespir, Diego
10
Cabezas, Juan José
.
siguiente >
Palabras claves
8
Ingeniería de Software
6
Network reliability
5
Coq
5
DATA WAREHOUSE
5
Metaheuristics
4
GRASP
.
siguiente >
Descriptores
1
Estudios de mapeo
1
Ingeniería de software basada en ...
1
Práctica basada en evidencias
1
Revisiones sistemáticas de litera...