Imágen de Portada

Código QR

Verificación formal de algoritmos : ejercicios resueltos /

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

Ejemplares similares

Corrección de algoritmos complejos : verificación formal /
por: Silva Ramírez, Esther Lydia.
Fecha de publicación: (2017)

Algoritmo óptimo para planificación de búsqueda en disco
por: Castillo, Enrique F.
Fecha de publicación: (2005)

Efecto del tamaño del archivo, la entropía y el tamañ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 programación : mejores prácticas /
por: Ayala San Martín, Gerardo.
Fecha de publicación: (2020)

Proportionate-type normalized least mean square algorithms
por: Wagner, Kevin.
Fecha de publicación: (2013)

Algoritmos genéticos
por: Kuri Morales, Ángel.
Fecha de publicación: (2002)

El algoritmo de sintonización simple de controladores difusos (ASSCD) /
por: Cortés Ríos, Julio César,
Fecha de publicación: (2017)

Mejoras a un algoritmo genético simple, aplicando conceptos de computación evolutiva
Fecha de publicación: (2004)

Una introducción a las matemáticas para el análisis y diseño de algoritmos /
por: Pérez Aguila, Ricardo.
Fecha de publicación: (2012)

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

Manual de algorítmica
por: Bisbal Riera, Jesús.
Fecha de publicación: (2009)

Análisis y diseño de algoritmos : un enfoque práctico /
por: Villegas Jaramillo, Eduardo José, 1966-
Fecha de publicación: (2016)

Algoritmos fundamentales.
por: Knuth, Donald E.,
Fecha de publicación: (1985)

Aplicación de algoritmos genéticos al problema de planificación de sistemas eléctricos de distribución
Fecha de publicación: (1999)

Lógica de programación /
por: Trejos Buriticá, Omar Iván.
Fecha de publicación: (2017)

Notas de análisis numérico con MATLAB /
por: Olivar Robayo, Luis Eduardo.
Fecha de publicación: (2019)

Lógica de enunciados algunos aspectos básicos /
por: Herrera Madrigal, José.
Fecha de publicación: (1995)

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

Introducción a la historia a la filosofía de la matemática. Volumen 2, hacia la formalización en Hilbert y en Bourbaki /
por: Campos, Alberto,
Fecha de publicación: (2008)

EL razonamiento lógico en el lenguaje simbó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'algorísmica
por: Bisbal Riera, Jesús.
Fecha de publicación: (2008)

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

Elementos básicos de matemáticas con herramientas interactivas /
por: Grisales Aguire, Andrés Mauricio,
Fecha de publicación: (2018)

Introducción al análisis de datos difusos
por: Morillas Raya, Antonio.
Fecha de publicación: (2002)

Los gráficos existenciales peirceanos : sistemas de lógicas diagramáticas del continuo : horosis, tránsitos, reflejos, fondos /
por: Zalamea Traba, Fernando, 1959-
Fecha de publicación: (2010)

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

Matemática insólita : paradojas y paralogismos /
por: Bunch, Bryan H.
Fecha de publicación: (1987)

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

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

Introducció a la lògica /
por: Barrière Figueroa, Eulalia.
Fecha de publicación: (2006)

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

Algorithms in bioinformatics : a practical introduction /
por: Sung, Wing-Kin,
Fecha de publicación: (2010)

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

Algoritmos para localización de fallas en líneas de transmisión, análisis para el caso colombiano
por: Idárraga Ospina, Gina M..
Fecha de publicación: (2004)

Lógica de programación orientada a objetos /
por: Oviedo Regino, Efraín M.
Fecha de publicación: (2015)

Física : problemas y ejercicios resueltos /
por: Alcaraz i Sendra, Olga
Fecha de publicación: (2006)

GIS algorithms /
por: Xiao, Ningchuan,
Fecha de publicación: (2016)

Programació I : notes del curs /
por: Alsinet, Tere,
Fecha de publicación: (2017)