Cargando…

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

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Silva Ramírez, Esther Lydia
Otros Autores:	Lopez Coello, Manuel (autor.)
Formato:	eBook
Idioma:	Español
Publicado:	Cádiz : Universidad de Cádiz, 2017.
Colección:	Universidad de Cádiz. Ingenierías y arquitectura.
Temas:	Algorithms. Algoritmos. Libros electronicos.
Acceso en línea:	Texto completo

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)

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

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 programación : mejores prácticas /
por: Ayala San Martín, Gerardo
Publicado: (2020)

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

Lógica y algoritmos; con aplicaciones a las ciencias de la computación e información
por: Korfhage, Robert R.
Publicado: (1970)

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)

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

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

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

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

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

Metodología de la programación : algoritmos, diagramas de flujo y programas /
por: Cairó Battistutti, Osvaldo, 1960-
Publicado: (2005)

Estructuras de datos y algoritmos con Java /
por: Drozdek, Adam
Publicado: (2002)

Algoritmos correctos y eficientes
por: Verdejo, A.,Segura, C.,Martí, N.
Publicado: (2012)

Introduction to the design & analysis of algorithms /
por: Levitin, Anany
Publicado: (2012)

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

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

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

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

Introducción al diseño y análisis de algoritmos /
Publicado: (2007)

Algoritmos para localización de fallas en líneas de transmisión, análisis para el caso colombiano
por: Idárraga Ospina, Gina M., et al.
Publicado: (2004)

Introduction to algorithms /
por: Cormen, Thomas H.
Publicado: (2009)

Introduction to algorithms /
por: Cormen, Thomas H.
Publicado: (2022)

Modern computer algebra /
por: Gathen, Joachim von zur
Publicado: (2013)

Algoritmos y estructuras de datos.
por: Wirth, Niklaus
Publicado: (1987)

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

Manual d'algorísmica
por: Bisbal Riera, Jesús
Publicado: (2008)

Design and analysis of algorithms /
por: Dave, Parag H.
Publicado: (2008)

Abbildungsverfahren Zur Effizienten Implementierung Rechenintensiver Algorithmen Auf Prozessorarrays.
por: Siegel, Sebastian
Publicado: (2010)

Time- and Space-Efficient Self-Stabilizing Algorithms.
por: Hauck, Bernd
Publicado: (2013)

Apuntes de algoritmia
por: MEZA VEGA, ERWIN

Improved Scheduling Algorithm Using Dynamic Tree Construction for Wireless Sensor Networks.
por: Venkatachalam, Nithya
Publicado: (2016)

Multi-Objective Optimization in Theory and Practice II : metaheuristic algorithms.
por: Keller, André A.
Publicado: (2019)

Psychopharmacology Algorithms : Clinical Guidance from the Psychopharmacology Algorithm Project at the Harvard South Shore Psychiatry Residency Program /
por: Osser, David
Publicado: (2020)

C. Algoritmos, programación y estructuras de datos /
Publicado: (2005)

Design and analysis of algorithms /
por: Dave, Parag H.
Publicado: (2013)

Learning Causal Models Of Multivariate Systems : And The Value Of It For The Performance Modeling Of Computer Programs.
por: Lemeire, Jan
Publicado: (2007)