Corrección de algoritmos complejos : verificación formal /

Corrección de algoritmos complejos : verificación formal /

Guardado en:

Detalles Bibliográficos
Autor principal:	Silva Ramírez, Esther Lydia.
Otros Autores:	Lopez Coello, Manuel (autor.)
Formato:	Libro electrónico
Lenguaje:	Español
Publicado:	Cádiz : Universidad de Cádiz, 2017.
Colección:	Universidad de Cádiz. Ingenierías y arquitectura.
Materias:	Algorithms. Algoritmos. Libros electronicos.
Acceso en línea:	Click to View

Ejemplares similares

Verificación formal de algoritmos : ejercicios resueltos /
por: Silva Ramírez, Esther Lydia.
Publicado: (2018)

Algoritmo óptimo para planificación de búsqueda en disco
por: Castillo, Enrique F., et al.
Publicado: (2005)

Efecto del tamaño del archivo, la entropía y el tamaño del alfabeto en el rendimiento del algoritmo de Huffman /
Publicado: (2008)

Algoritmos y estructuras de datos /
por: Fritelli, Valerio,
Publicado: (2020)

Algoritmos y programación : mejores prácticas /
por: Ayala San Martín, Gerardo.
Publicado: (2020)

Algoritmos genéticos
por: Kuri Morales, Ángel.
Publicado: (2002)

Análisis de las predicciones en un filtro colaborativo basado en el algoritmo ALS para una empresa de comida rápida en la ciudad de Guayaquil /
por: Peña Guano, Sergio Israel,
Publicado: (2023)

El algoritmo de sintonización simple de controladores difusos (ASSCD) /
por: Cortés Ríos, Julio César,
Publicado: (2017)

Desarrollo y ensayos de algoritmos para star tracker de uso satelital /
por: Muñoz, Lucas M.
Publicado: (2009.)

Mejoras a un algoritmo genético simple, aplicando conceptos de computación evolutiva
Publicado: (2004)

Diseño de programas /
por: Menchén Peñuela, Antonio.
Publicado: (2010.)

Algoritmia y bases de datos /
por: López Querol, Jorge,
Publicado: (2023)

Una introducción a las matemáticas para el análisis y diseño de algoritmos /
por: Pérez Aguila, Ricardo.
Publicado: (2012)

Estudio de algoritmos de control para sistemas multi-eje con restricciones /
por: Tacca, Esteban Andrés.
Publicado: (c2019.)

Estructuras de datos y algoritmos /
por: Aho, Alfred V.
Publicado: (1998)

Análisis y diseño de algoritmos : un enfoque práctico /
por: Villegas Jaramillo, Eduardo José, 1966-
Publicado: (2016)

Manual de algorítmica
por: Bisbal Riera, Jesús.
Publicado: (2009)

Applied numerical methods /
por: Carnahan, Brice.
Publicado: ([1969])

Handbook of genetic algorithms /
Publicado: (1991.)

Optimización e implementación de algoritmos para el procesamientos de señales en neuroprótesis /
por: Vélez, Javier I.
Publicado: (2018.)

Aplicación de algoritmos genéticos al problema de planificación de sistemas eléctricos de distribución
Publicado: (1999)

Implementación de un algoritmo para la registración elástica de imágenes médicas /
por: Arenas, Germán M.
Publicado: (2007.)

Investigación de operaciones /
por: Taha, Hamdy A.
Publicado: (2017)

Fundamentals of flowcharting /
por: Schriber, Thomas J., 1935-
Publicado: ([1969])

The design and analysis of computer algorithms /
por: Aho, Alfred V.
Publicado: ([1974])

Algoritmos fundamentales
por: Knuth, Donald E.
Publicado: (1980.)

El algoritmo de Karmarkar
por: VERA DE SERIO, Virginia N.

Lógica de programación /
por: Trejos Buriticá, Omar Iván.
Publicado: (2017)

Notas de análisis numérico con MATLAB /
por: Olivar Robayo, Luis Eduardo.
Publicado: (2019)

Algorithmes d'accélération de la convergence : étude numérique /
por: Brezinski, Claude, 1941-
Publicado: (1978.)

Neural networks : algorithms, applications, and programming techniques /
por: Freeman, James A.
Publicado: (c1991.)

Despacho económico con unidades de características no convexas empleando algoritmos genéticos /
por: Harnisch V., Ildefonso,
Publicado: (2000)

Algoritmos : problemas resueltos y comentados /
por: Fernández, Joaquín
Publicado: (1992.)

Estudio e implementación en unidades de procesamiento gráficos GPU S de un formador de imagen SAR usando técnica de backprojection /
por: Guevara Díaz, Sergio A.
Publicado: (2020.)

Modelo para medir QoE en IPTV /
por: Cuéllar Q., Juan Carlos,
Publicado: (2018)

Introducción al cómputo /
por: Fontanini, Horacio.
Publicado: (1994.)

Introduction to algorithms : a creative approach /
por: Manber, Udi.
Publicado: (c1989.)

Nonlinear programming : sequential unconstrained minimization techniques /
por: Fiacco, Anthony V.
Publicado: (1968.)

Algorithms, their complexity and efficiency /
por: Kronsjö, Lydia I.
Publicado: (c1979.)

Los algoritmos del dibujo técnico
por: Graffigna, Alberto Bartolomeo
Publicado: (1987.)