1
Fuente: Escuela Colombiana de Ingeniería
...Quantum Markov semigroups (QMS): past, present and future panorama...
Tipo de material: Capítulo - Parte de Libro
2
11
Fuente: Escuela Colombiana de Ingeniería
...We present the Maude Formal Environment (MFE), an executable formal specification in Maude within...
Tipo de material: Capítulo - Parte de Libro
12
Fuente: Escuela Colombiana de Ingeniería
... processing either for researchers or students. In this paper we present the result of two different courses...
Tipo de material: Capítulo - Parte de Libro
14
Fuente: Escuela Colombiana de Ingeniería
...We present a mediation system, developed to give support to participants in mechanical-system...
Tipo de material: Capítulo - Parte de Libro
15
Fuente: Escuela Colombiana de Ingeniería
... present a deductive approach for verifying safety properties of rewrite theories in which all formal...
Tipo de material: Capítulo - Parte de Libro
19
Fuente: Universidad Externado de Colombia
...La tesis que a continuación se comenta fue presentada en 1891 por el estudiante Tomás Vela C. ante...
Tipo de material: Capítulo - Parte de Libro