Producción científica
Buscar por:
Lista
| Publicación |
|
J.C. Torres Cantero
"DESING, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS 97", 1997
|
|
J.C. Torres Cantero
"III JORNADAS DE INFORMÁTICA", 1997
|
|
M. Gea Megias,
"Especificacion formal de sistemas graficos", 1997
|
|
J. Parets-Llorca
and
J.C. Torres Cantero,
"A LANGUAGE FOR DESCRIBING COMPLEX-EVOLUTIVE SOFTWARE SYSTEMS", "EUROCAST'95. COMPUTER AIDED SYSTEMS THEORY", 181-199, 1996
|
|
J. Parets-Llorca
and
J.C. Torres Cantero,
"A LANGUAGE FOR DESCRIBING COMPLEX-EVOLUTIVE SOFTWARE SYSTEMS", "COMPUTER AIDED SYSTEM THEORY 1996", 181-197, 1996
|
|
J.C. Torres Cantero, M. Gea-Megias, F.L. Gutierrez Vela, M.J. Cabrera Cuevas
and
M.L. Rodriguez Almendros,
"GRALPLA: AN ALGEBRAIC SPECIFICATION LANGUAGE FOR INTERACTIVE GRAPHICS SYSTEMS", "DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS 1996", 272-291, 1996
|
|
P. Cano-Olivares, F. Velasco Anguita
and
J.C. Torres Cantero,
"Modelado 2D mediante jerarquía de Quadtrees", "JORNADAS DE INFORMÁTICA 1996", 153-162, 1996
|
|
F. Velasco Anguita
and
J.C. Torres Cantero,
"MODELADO 2D MEDIANTE JERARQUÍA DE QUADTREES EN DISTINTOS SISTEMAS DE COORDENADAS", "JORNADAS DE INFORMÁTICA 1996", 153-162, 1996
|
|
|
Última actualización del SICA: 25/03/2026