|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
000050809 |
| 003 |
CO-BoSNA |
| 005 |
20260107155240.0 |
| 008 |
100416s2006^^^^ck^a^^^gr^^^^^001^0^spa^d |
| 020 |
|
|
|a 9588060567
|
| 020 |
|
|
|a 9789588060569
|
| 040 |
|
|
|a CO-BoSNA
|b spa
|
| 082 |
0 |
4 |
|a 005.1
|b B677d
|2 23
|
| 100 |
1 |
|
|a Bohórquez Villamizar, Jaime Alejandro
|
| 245 |
1 |
0 |
|a Diseño efectivo de programas correctos /
|c Jaime Alejandro Bohórquez Villamizar.
|
| 250 |
|
|
|a Primera edición
|
| 260 |
|
|
|a Bogotá :
|b Editorial Escuela Colombiana de Ingeniería,
|c 2006.
|
| 300 |
|
|
|a 472 páginas :
|b ilustraciones ;
|c 24 cm.
|
| 490 |
0 |
|
|a Colección de informática
|
| 504 |
|
|
|a Incluye referencias bibliográficas e índice
|
| 505 |
2 |
|
|a ¿Por qué resolver problemas y programar son labores tan difíciles -- Cálculo lógico -- La programación como ciencia -- Corrección y derivación de programas iterativos -- Corrección y derivación de programas recurrentes -- Complejidad algorítmica -- Ecuaciones de recurrencia -- Métodos generales de solución de problemas -- Divide y vencerás -- Técnicas avanzadas de derivación -- Búsqueda en estructuras lineales -- Estructuras notables -- Programación dinámica -- Métodos voraces -- Exploración de grafos -- Intratabilidad
|
| 650 |
1 |
7 |
|a Programación (Computadores electrónicos)
|2 Armarc
|
| 650 |
2 |
7 |
|a Software de programación
|2 Armarc
|
| 650 |
2 |
7 |
|a Programación dinámica
|2 Armarc
|
| 650 |
2 |
7 |
|a Algoritmos
|2 Armarc
|
| 650 |
2 |
7 |
|a Representaciones puntuales (Matemáticas)
|2 Armarc
|
| 952 |
|
|
|0 0
|1 0
|4 5
|6 005_100000000000000_B677D
|7 0
|8 GENER
|9 265784
|a 05053
|b 05053
|d 2017-04-27
|i 41359
|l 0
|o 005.1 B677d
|p 053062030456
|r 2026-01-07 15:52:40
|t Ej. 1
|w 2026-01-07
|y BOOK
|z Calle 104 No. 69-120, Medellín
|
| 999 |
|
|
|c 54808
|d 54808
|
| 942 |
|
|
|6 005_100000000000000__B677D
|
