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

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

Salvato in:

Dettagli Bibliografici
Autore principale:	Silva Ramírez, Esther Lydia
Altri autori:	Lopez Coello, Manuel (autor.)
Natura:	eBook
Lingua:	spagnolo
Pubblicazione:	Cádiz : Universidad de Cádiz, 2017.
Serie:	Universidad de Cádiz. Ingenierías y arquitectura.
Soggetti:	Algorithms. Algoritmos. Libros electronicos.
Accesso online:	Click to View
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Verificación formal de algoritmos : ejercicios resueltos /
di: Silva Ramírez, Esther Lydia
Pubblicazione: (2018)

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

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

Algoritmos y estructuras de datos /
di: Fritelli, Valerio
Pubblicazione: (2020)

Algoritmos y programación : mejores prácticas /
di: Ayala San Martín, Gerardo
Pubblicazione: (2020)

Algoritmos : del amor incondicional al odio visceral /
di: Barría Huidobro, Cristian
Pubblicazione: (2024)

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 /
di: Peña Guano, Sergio Israel
Pubblicazione: (2023)

Esquemas algorítmicos
di: Rico, Juan Ramón
Pubblicazione: (2003)

Algoritmos genéticos
di: Kuri Morales, Ángel
Pubblicazione: (2002)

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

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

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

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

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

Números y algoritmos
di: Gairín Sallán, José María
Pubblicazione: (2002)

Manual de algorítmica
di: Bisbal Riera, Jesús
Pubblicazione: (2009)

Un algoritmo hb̕rido basado en colonias de hormigas para la resolucin̤ de problemas de distribucin̤ en planta orientados a procesos

Optimizacin̤ de la geometra̕ de un eje aplicando algoritmos genťicos

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

Algoritmo genťico para sintonizacin̤ de PID basado en la integral del error absoluto

Algoritmos computacionales : introducción al análisis y diseño
di: Baase, Sara
Pubblicazione: (2002)

Algoritmos y programas /
di: Vancells, Joan
Pubblicazione: (2002)

Lógica de programación /
di: Trejos Buriticá, Omar Iván
Pubblicazione: (2017)

Notas de análisis numérico con MATLAB /
di: Olivar Robayo, Luis Eduardo
Pubblicazione: (2019)

Solucin̤ de un problema de balanceo de ln̕ea de ensamble serial de dos lados utilizando algoritmos memťicos

Aprenda a diseñar algoritmos /
di: Chaves Torres, Anívar
Pubblicazione: (2017)

Introducción a los algoritmos genéticos y la programación genética
Pubblicazione: (2010)

Diseño y construcción de algoritmos /
di: Mancilla Herrera, Alfonso, et al.
Pubblicazione: (2015)

Algoritmos fundamentales
di: Knuth, Donald E.
Pubblicazione: (1985)

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

Fundamentos de matemáticas /
di: Zalamea Traba, Fernando, 1959-
Pubblicazione: (2000)

Lógica de enunciados algunos aspectos básicos /
di: Herrera Madrigal, José
Pubblicazione: (1995)

El teorema de Löb : creencias autosuficientes y sistemas matemáticos /
di: Smullyan, Raymond
Pubblicazione: (2024)

Introducción al análisis de datos difusos
di: Morillas Raya, Antonio
Pubblicazione: (2002)

Introducción a la teoría de la computabilidad
di: Gallardo López, Domingo
Pubblicazione: (2003)

Elementos básicos de matemáticas con herramientas interactivas /
di: Grisales Aguire, Andrés Mauricio
Pubblicazione: (2018)

Introducción a la historia a la filosofía de la matemática. Volumen 2, hacia la formalización en Hilbert y en Bourbaki /
di: Campos, Alberto
Pubblicazione: (2008)

Los gráficos existenciales peirceanos : sistemas de lógicas diagramáticas del continuo : horosis, tránsitos, reflejos, fondos /
di: Zalamea Traba, Fernando, 1959-
Pubblicazione: (2010)

Introduccion a las MV-álgebras /
di: Estrada Serna, Alejandro
Pubblicazione: (2024)

EL razonamiento lógico en el lenguaje simbólico y en el lenguaje natural /
di: Kemel, George
Pubblicazione: (2020)