Algoritmos y estructuras de datos con programas verificados en dafny/ Ricardo Peña Marí
Tipo de material:
TextoEditor: Madrid, España: Garceta 2023Edición: Segunda ediciónDescripción: 382 páginas: Figuras; 24 cmTipo de contenido: - Sin mediación
- volumen
- 9788419034236
- 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.
| 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(Abre debajo)) | e1 | Disponible | FJ14996 |
Navegando Biblioteca Juliaca estanterías,Ubicación en estantería: Sala principal,Colección: Colección General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| 004.42 T17 2015 Acceso a datos en aplicaciones web del entorno servidor, UF1845 / | 004.42 W55 2008 BPMN modeling and reference guide : understanding and using BPMN : develop rigorous yet understandable graphical representations of business processes/ | 004.42 W99 2012 The cucumber book : behaviour-driven development for testers and developers / | 004.421 P349 2023 Algoritmos y estructuras de datos con programas verificados en dafny/ | 004.438 C112 2024 Análisis y Minería de Textos con PYTHON | 004.438 C15 2012 Programación Java 7 / | 004.438 C36 2004 Programación orientada a objetos con C++ / |
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.
Iniciar sesión para colocar un comentario.