Algoritmos y estructuras de datos con programas verificados en dafny/ Ricardo Peña Marí

Por: Tipo de material: TextoEditor: Madrid, España: Garceta 2023Edición: Segunda ediciónDescripción: 382 páginas: Figuras; 24 cmTipo de contenido:
Tipo de medio:
  • Sin mediación
Tipo de soporte:
  • volumen
ISBN:
  • 9788419034236
Clasificación CDD:
  • 20 004.421 P349 2023
Contenidos:
Prólogo --- 1. Preliminares -- 2. Árboles equilibrados -- 3. Montículos -- 4. Grafos y particiones -- 5. El método divide y vencerás -- 6. El método voraz -- 7. Programación dinámica -- 8. Precondicionamiento: ajuste de cadenas -- 9. Exploración del espacio de soluciones -- 10. Problemas NP-completos y NP-difíciles -- Bibliografía -- Índice de figuras -- Prólogo.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
    Valoración media: 0.0 (0 votos)
Imagen de cubierta Tipo de ítem Biblioteca actual Biblioteca de origen Colección Ubicación en estantería Signatura topográfica Materiales especificados Info Vol URL Copia número Estado Notas Fecha de vencimiento Código de barras Reserva de ítems Prioridad de la cola de reserva de ejemplar Reservas para cursos
Libro Biblioteca Juliaca Sala principal Colección General 004.421 P349 2023 (Navegar estantería) e1 Disponible FJ14996

Bibliografía en páginas: 377 - 382

Prólogo --- 1. Preliminares -- 2. Árboles equilibrados -- 3. Montículos -- 4. Grafos y particiones -- 5. El método divide y vencerás -- 6. El método voraz -- 7. Programación dinámica -- 8. Precondicionamiento: ajuste de cadenas -- 9. Exploración del espacio de soluciones -- 10. Problemas NP-completos y NP-difíciles -- Bibliografía -- Índice de figuras -- Prólogo.

No hay comentarios en este titulo.

para colocar un comentario.