-
701Doctoral thesisPublished in 2022Repositorio Universidad Nacional de ColombiaGet full text
Get full text
-
702
-
703Article of journalPublished in 2016Repositorio Repositorio Institucional ECI“..., rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze...”
Get full text
-
704
-
705
-
706Article of journalPublished in 2014Repositorio REDICUC - Repositorio CUCGet full text
Get full text
-
707Article of journalPublished in 2020Repositorio REDICUC - Repositorio CUCGet full text
Get full text
-
708Doctoral thesisPublished in 2020Repositorio Universidad Nacional de ColombiaGet full text
Get full text
-
709
-
710Trabajo de grado de pregradoPublished in 2020Repositorio Repositorio UAN“...Computational approaches to simulate spectra of multiple analytical techniques and evaluations...”
Get full text
-
711Published in 2019Repositorio Repositorio USB“... of the complex spherical harmonic coefficients. After obtaining the B-Format signals in both GA and FE, a...”
Get full text
-
712Doctoral thesisPublished in 2022Repositorio Universidad Nacional de ColombiaGet full text
Get full text
-
713
-
714
-
715
-
716
-
717
-
718Estructuras funiculares de bambú (Guadua Angustifolia Kunth) : Búsqueda de forma y análisis estáticoPublished in 2023Repositorio Universidad Nacional de ColombiaGet full text
Get full text
-
719
-
720
