Imágen de Portada

Código QR

Verificación formal de algoritmos : ejercicios resueltos /

Detalles Bibliográficos
Autor principal:	Silva Ramírez, Esther Lydia.
Otros autores:	López Coello, Manuel,
Formato:	eBook
Idioma:	Spanish
Fecha de publicación:	Cádiz : Universidad de Cádiz, 2018.
Series:	Universidad de Cádiz. Ingenierías y arquitectura.
Materias:	Algorithms. Algoritmos > Problemas y ejercicios. Libros electronicos.
Acceso en línea:	Click to View

Ejemplares similares

Corrección de algoritmos complejos : verificación formal /
por: Silva Ramírez, Esther Lydia.
Fecha de publicación: (2017)

Algoritmo óptimo para planificación de búsqueda en disco
por: Castillo, Enrique F.
Fecha de publicación: (2005)

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

Algoritmos y estructuras de datos /
por: Fritelli, Valerio,
Fecha de publicación: (2020)

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

Algoritmos genéticos
por: Kuri Morales, Ángel.
Fecha de publicación: (2002)

Proportionate-type normalized least mean square algorithms
por: Wagner, Kevin.
Fecha de publicación: (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 /
por: Peña Guano, Sergio Israel,
Fecha de publicación: (2023)

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

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

Algoritmia y bases de datos /
por: López Querol, Jorge,
Fecha de publicación: (2023)

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

Proof, logic, and formalization
Fecha de publicación: (1992)

Manual de algorítmica
por: Bisbal Riera, Jesús.
Fecha de publicación: (2009)

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

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

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

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

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

Modelo para medir QoE en IPTV /
por: Cuéllar Q., Juan Carlos,
Fecha de publicación: (2018)

Lógica de enunciados algunos aspectos básicos /
por: Herrera Madrigal, José.
Fecha de publicación: (1995)

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

EL razonamiento lógico en el lenguaje simbólico y en el lenguaje natural /
por: Kemel, George,
Fecha de publicación: (2020)

The future of post-human mathematical logic /
por: Baofu, Peter.
Fecha de publicación: (2008)

Manual d'algorísmica
por: Bisbal Riera, Jesús.
Fecha de publicación: (2008)

Fundamentos de matemáticas /
por: Zalamea Traba, Fernando, 1959-
Fecha de publicación: (2000)

El teorema de Löb : creencias autosuficientes y sistemas matemáticos /
por: Smullyan, Raymond,
Fecha de publicación: (2024)

Elementos básicos de matemáticas con herramientas interactivas /
por: Grisales Aguire, Andrés Mauricio,
Fecha de publicación: (2018)

Introducción al análisis de datos difusos
por: Morillas Raya, Antonio.
Fecha de publicación: (2002)

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

Sistemas con lógica difusa
Fecha de publicación: (2009)

Introducción a la lógica matemática /
por: Tinoco del Valle, Jesús Antonio,
Fecha de publicación: (2023)

Representation and productive ambiguity in mathematics and the sciences
por: Grosholz, Emily R.
Fecha de publicación: (2007)

Gödel's proof /
por: Nagel, Ernest, 1901-1985.
Fecha de publicación: (2005)

Handbook of mathematical induction : theory and applications /
por: Gunderson, David S.,
Fecha de publicación: (2010)

In the light of logic
por: Feferman, Solomon.
Fecha de publicación: (1998)

Introducció a la lg̣ica /
por: Barrière Figueroa, Eulalia.
Fecha de publicación: (2006)

Mathematical logic
por: Chiswell, Ian, 1948-
Fecha de publicación: (2007)

Bioinformatics algorithms techniques and applications /
Fecha de publicación: (2008)

The analysis of selected algorithms for the stochastic paradigm /
por: Jaoudé, Abdo Abou,
Fecha de publicación: (2019)