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

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

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Silva Ramírez, Esther Lydia
Andre forfattere:	Lopez Coello, Manuel (autor.)
Format:	eBog
Sprog:	spansk
Udgivet:	Cádiz : Universidad de Cádiz, 2017.
Serier:	Universidad de Cádiz. Ingenierías y arquitectura.
Fag:	Algorithms. Algoritmos. Libros electronicos.
Online adgang:	Click to View
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

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

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

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

Algoritmos y estructuras de datos /
af: Fritelli, Valerio
Udgivet: (2020)

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

Algoritmos : del amor incondicional al odio visceral /
af: Barría Huidobro, Cristian
Udgivet: (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 /
af: Peña Guano, Sergio Israel
Udgivet: (2023)

Esquemas algorítmicos
af: Rico, Juan Ramón
Udgivet: (2003)

Algoritmos genéticos
af: Kuri Morales, Ángel
Udgivet: (2002)

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

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

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

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

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

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

Manual de algorítmica
af: Bisbal Riera, Jesús
Udgivet: (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
Udgivet: (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
af: Baase, Sara
Udgivet: (2002)

Algoritmos y programas /
af: Vancells, Joan
Udgivet: (2002)

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

Notas de análisis numérico con MATLAB /
af: Olivar Robayo, Luis Eduardo
Udgivet: (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 /
af: Chaves Torres, Anívar
Udgivet: (2017)

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

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

Algoritmos fundamentales
af: Knuth, Donald E.
Udgivet: (1985)

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

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

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

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

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

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

Elementos básicos de matemáticas con herramientas interactivas /
af: Grisales Aguire, Andrés Mauricio
Udgivet: (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 /
af: Campos, Alberto
Udgivet: (2008)

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

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

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