Cover Image

QR Code

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

Bibliographic Details
Main Author:	Silva Ramírez, Esther Lydia.
Other Authors:	Lopez Coello, Manuel,
Format:	eBook
Language:	Spanish
Published:	Cádiz : Universidad de Cádiz, 2017.
Series:	Universidad de Cádiz. Ingenierías y arquitectura.
Subjects:	Algorithms. Algoritmos. Libros electronicos.
Online Access:	Click to View

Similar Items

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

Algoritmo óptimo para planificación de búsqueda en disco
by: Castillo, Enrique F.
Published: (2005)

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

Algoritmos y estructuras de datos /
by: Fritelli, Valerio,
Published: (2020)

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

Algoritmos genéticos
by: Kuri Morales, Ángel.
Published: (2002)

Proportionate-type normalized least mean square algorithms
by: Wagner, Kevin.
Published: (2013)

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

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

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

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

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

Manual de algorítmica
by: Bisbal Riera, Jesús.
Published: (2009)

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

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

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

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

Proof, logic, and formalization
Published: (1992)

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

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

Manual d'algorísmica
by: Bisbal Riera, Jesús.
Published: (2008)

Bioinformatics algorithms techniques and applications /
Published: (2008)

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

Lógica de enunciados algunos aspectos básicos /
by: Herrera Madrigal, José.
Published: (1995)

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

Introducción al análisis de datos difusos
by: Morillas Raya, Antonio.
Published: (2002)

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

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

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

Sistemas con lógica difusa
Published: (2009)

Introducción a la lógica matemática /
by: Tinoco del Valle, Jesús Antonio,
Published: (2023)

Representation and productive ambiguity in mathematics and the sciences
by: Grosholz, Emily R.
Published: (2007)

Gödel's proof /
by: Nagel, Ernest, 1901-1985.
Published: (2005)

Handbook of mathematical induction : theory and applications /
by: Gunderson, David S.,
Published: (2010)

The future of post-human mathematical logic /
by: Baofu, Peter.
Published: (2008)

In the light of logic
by: Feferman, Solomon.
Published: (1998)

Introducció a la lg̣ica /
by: Barrière Figueroa, Eulalia.
Published: (2006)

Mathematical logic
by: Chiswell, Ian, 1948-
Published: (2007)

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