A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(27)
60
(8)
34
(6)
40
(5)
61
(3)
73
(3)
53
(2)
71
(2)
27
(1)
56
(1)
Show More
Show Less
Author
Barigye S.J.
(2)
García-Jacas C.R.
(2)
Marrero-Ponce Y.
(2)
Robiolo, Gabriela
(2)
Acevedo-Martínez L.
(1)
Aguilera-Mendoza L.
(1)
Aguilera-Mendoza, L.
(1)
Albertali, Mónica
(1)
Albuquerque, Ivo Emanuel Carvalho de
(1)
Amatriain, Hernán Guillermo
(1)
Show More
Show Less
Subject
Software
(57)
Ciencias Informáticas
(27)
Ingeniería de sistemas
(9)
Facultad de ingeniería
(8)
Programa de ordenador
(8)
Tesis
(8)
Tesis ingeniería
(8)
Verification
(5)
Programación informática
(4)
Algorithm
(3)
Show More
Show Less
Year
2015
(62)
2017
(15)
2016
(8)
2014
(5)
2012
(4)
2018
(3)
2019
(3)
2020
(2)
1999
(1)
2000
(1)
Show More
Show Less
Document Type
Tesis
(33)
Sin Especificar
(22)
Artículo
(3)
Desconocido
(3)
Libro
(1)
Show More
Show Less
Language
Español
(49)
Inglés
(7)
Portugués
(4)
Desconocido
(2)
Show More
Show Less
Your search
Year:
2015
Subject:
Software Program Verification
Sort by
Score
Title
Year
-
11-20 from
62
results
(0.014 seconds)
Title:
Overlap and diversity in antimicrobial peptide databases: Compiling a non-redundant set of sequences
Author:
Aguilera-Mendoza, L.
/
Marrero-Ponce, Y.
/
Tellez-Ibarra, R.
/
Llorente-Quesada, M.T.
/
Salgado, J.
/
Barigye, S.J.
/
Liu, J.
Language:
Inglés
Repository:
61
Subject:
Antimicrobial cationic peptide
/
Algorithm
/
Chemistry
/
Human
/
Nucleic acid database
/
Procedures
/
Protein database
/
Sequence analysis
/
Software
/
Algorithms
/
Antimicrobial cationic peptides
/
Databases, Nucleic Acid
/
Databases, Protein
/
Humans
/
Sequence Analysis, Protein
Title:
Multi-server approach for high-throughput molecular descriptors calculation based on multi-linear algebraic maps
Author:
García-Jacas C.R.
/
Aguilera-Mendoza L.
/
González-Pérez R.
/
Marrero-Ponce Y.
/
Acevedo-Martínez L.
/
Barigye S.J.
/
Avdeenko T.
Language:
Inglés
Repository:
61
Subject:
3D N-linear algebraic descriptors
/
Distributed computing system
/
Multi-server architecture
/
Platform of distributed tasks
/
QuBiLS-MIDAS
/
T-arenal
/
TOMOCOMD-CARDD
/
Algorithm
/
Article
/
Calculation
/
Chemical structure
/
Communication protocol
/
Mathematics
/
Performance
/
Priority journal
/
Quantitative structure activity relation
/
Software
/
Theoretical model
/
Models, Theoretical
Title:
IMMAN: free software for information theory-based chemometric analysis
Author:
Urias R.W.P.
/
Barigye S.J.
/
Marrero-Ponce Y.
/
García-Jacas C.R.
/
Valdes-Martiní J.R.
/
Perez-Gimenez F.
Language:
Inglés
Repository:
61
Subject:
Chemometric analysis
/
Classification
/
Computational program
/
Feature selection
/
IMMAN
/
Information-theoretic function
/
Algorithm
/
Software
/
Theoretical model
/
Algorithms
/
Models, Theoretical
Title:
Análisis de la eficiencia y eficacia del software tributario colombiano muisca en el recaudo de los impuestos a nivel nacional
Author:
Osorio Cantillo, Rafael
/
Rodríguez Álvarez, Cristián Fernando
Language:
Español
Repository:
68
Subject:
Muisca
/
Recaudo de impuestos
/
Impuestos nacionales
/
Software
/
Beneficios recaudo de impuestos
/
Recaudación de impuestos - Colombia
/
Análisis financiero
/
Impuestos - Colombia
/
Impuestos directos
/
Planificación tributaria
Acceder
Title:
Modelos de transporte aplicados a las organizaciones
Author:
Munar Mercado, Jairo Alejandro
/
Rubio Cárdenas, Carlos Andrés
Language:
Desconocido
Repository:
40
Subject:
Programación lineal
/
Aplicaciones sistematizadas
/
Plantas de producción
/
Calidad del servicio en el transporte
/
Software
Acceder
Title:
Informe final de práctica empresarial - Asesor de mercadeo en Pacific E-Solution Private Limited
Author:
Zambrano Zambrano, Diego Antonio
Language:
Español
Repository:
40
Subject:
Aprendizaje de idiomas
/
Bilingüismo
/
Contenidos para página web
/
Software
/
Educación bilingüe
/
Lenguaje y educación
/
Oficina - Práctica
/
Prácticas universitarias
Acceder
Title:
Adoção de sistemas cloud computing
Author:
Pinheiro, Pedro Alexandre Fernandes
Language:
Portugués
Repository:
73
Subject:
Sistemas de informação
/
Modelo de aceitação de tecnologia
/
Cloud computing
/
Adoção
/
Programas/ferramentas office
/
Information systems
/
Technology acceptance Mmdel
/
Adoption
/
Software
/
Office tools
Acceder
Title:
Os sistemas de informação na gestão estratégica de pessoas
Author:
Durães, Sara Raquel Gomes
Language:
Portugués
Repository:
73
Subject:
Recursos humanos
/
Gestão estratégica
/
Tendências
/
Sistema de informação
/
Human resources
/
Strategic management
/
Trends
/
Software
Acceder
Title:
Construcción de una metodología para la priorización y selección de nuevos requerimientos a implementar en software en etapa de mantenimiento
Author:
De Federico, Sara
/
Sincosky, Noelia
/
Avogradini, Mariela
/
Moschetti, Diana
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Metodología
/
empresa
/
Software
Acceder
Title:
VISCTE: visualização interativa de serviços e componentes em tempo de execução
Author:
Albuquerque, Ivo Emanuel Carvalho de
Language:
Portugués
Repository:
73
Subject:
Software
/
Componentes
/
Ferramentas de visualização
/
OSGi
/
Plug-in
/
Eclipse
/
Components
/
Visualization tools
Acceder
« Previous
1
2
3
4
5
6
7
Next »