Verificación formal de algoritmos : ejercicios resueltos /

Verificación formal de algoritmos : ejercicios resueltos /

书目详细资料
主要作者:	Silva Ramírez, Esther Lydia
其他作者:	López Coello, Manuel (autor.)
格式:	Libros Digitales
语言:	西班牙语
出版:	Cádiz : Universidad de Cádiz, 2018.
丛编:	Universidad de Cádiz. Ingenierías y arquitectura.
主题:	Algorithms. Algoritmos > Problemas y ejercicios. Libros electronicos.
在线阅读:	Click to View

相似书籍

Corrección de algoritmos complejos : verificación formal /
由: Silva Ramírez, Esther Lydia
出版: (2017)

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

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

Algoritmos y estructuras de datos /
由: Fritelli, Valerio
出版: (2020)

Algoritmos y programación : mejores prácticas /
由: Ayala San Martín, Gerardo
出版: (2020)

Algoritmos genéticos
由: Kuri Morales, Ángel
出版: (2002)

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

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

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

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

Algoritmia y bases de datos /
由: López Querol, Jorge
出版: (2023)

Manual de algorítmica
由: Bisbal Riera, Jesús
出版: (2009)

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

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

Lógica de programación /
由: Trejos Buriticá, Omar Iván
出版: (2017)

Notas de análisis numérico con MATLAB /
由: Olivar Robayo, Luis Eduardo
出版: (2019)

Modelo para medir QoE en IPTV /
由: Cuéllar Q., Juan Carlos
出版: (2018)

Técnica de extracción, transformación y carga de datos de estaciones meteorológicas
由: Lépez, Héctor Ramón
出版: (2019)

Extraction, transformation and loading technique of meteorological stations data
由: Lépez , Hector Ramón
出版: (2019)

Manual d'algorísmica
由: Bisbal Riera, Jesús
出版: (2008)

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

Formación por competencias y resignificación de algoritmos en investigación operativa
由: Congreso de Ingeniería Industrial (8 : 12-13 de octubre de 2015 : Córdoba), et al.
出版: (2015)

Reconocimiento y clasificación de patrones en imágenes de microscopia, parametrizadas según la Técnica de Micronúcleos
由: Caffetti, Yanina Andrea
出版: (2020)

Enseñanza de algoritmos en investigación operativa : un enfoque desde la formación por competencias
由: Kowalski, Víctor Andrés, et al.
出版: (2015)

Procesamiento digital de imágenes citogenéticas para su clasificación
由: Vera Laceiras, María Silvia
出版: (2020)

Algoritmos de optimización en ingeniería /
由: Alejo-Reyes, Avelina
出版: (2024)

Lógica de programación orientada a objetos /
由: Oviedo Regino, Efraín M.
出版: (2015)

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

Aritmética y álgebra con ejercicios resueltos /
由: Hernández Osornio, Silvia
出版: (2024)

Programació I : notes del curs /
由: Alsinet, Tere
出版: (2017)

Lógica de enunciados algunos aspectos básicos /
由: Herrera Madrigal, José
出版: (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 /
由: Campos, Alberto
出版: (2008)

Ejercicios resueltos de Bioestadística /
由: Gálvez Rodríguez, José F.
出版: (2023)

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

Ejercicios resueltos de microeconomía intermedia : óptimo del productor /
由: Sánchez-Muñoz, María del Pilar
出版: (2013)

50 algoritmos que todo programador debe conocer : enfréntese a retos informáticos con algoritmos clásicos y modernos en Machine Learning, diseño de software, sistemas de datos y criptografía /
由: Ahmad, Imran
出版: (2024)

Elasticidad, teoría y ejercicios prácticos resueltos /
由: López Morell, Pablo
出版: (2023)

Ejercicios resueltos de microeconomía intermedia : óptimo del consumidor /
由: Usaquén Chía, Martha Inés
出版: (2013)

El algoritmo ético : la ciencia del diseño de algoritmos socialmente responsables /
由: Kearns, Michael
出版: (2020)

Ejercicios resueltos de Análisis Funcional /
由: Ruiz Casternado, David
出版: (2024)