|
|
|
|
LEADER |
01908nam a2200349a 44500 |
001 |
UBP01399 |
003 |
AR-CdUBP |
005 |
20220310151334.0 |
008 |
151212suuuu#######|||||||||||||||||spa|d |
020 |
|
|
|a 84-7897-116-5
|
040 |
|
|
|a AR-CdUBP
|b spa
|
041 |
|
|
|a spa
|
245 |
0 |
0 |
|a Algorítmica :
|b diseño y análisis de algoritmos funcionales e imperativos /
|c Javier Galve Francés ... [et.al.]
|
260 |
|
|
|a Wilmington ; Madrid :
|b Addison-Wesley : RA-MA,
|c 1983
|
300 |
|
|
|a xxiv, 502 p. ;
|c 23 cm.
|
490 |
0 |
|
|a Serie paradigma
|
500 |
|
|
|a La Biblioteca posee: 1 ej.
|
504 |
|
|
|a Bibliografía: p. 487-496
|
505 |
0 |
|
|a Capítulo 1. Introducción a la programación. Capítulo 2. Especificación de algoritmos funcionales. Capítulo 3. Especificación de algoritmos imperativos. Capítulo 4. Estructuras de datos. Capítulo 5. Semántica y corrección de algoritmos. Capítulo 6. Complejidad de algoritmos. Capítulo 7. Algoritmos sencillos. Capítulo 8. Técnicas de diseño de algoritmos. Capítulo 9. Algoritmos elaborados. Capítulo 10. Una introducción a los problemas NP completos. Apéndices. A. Sintaxis del lenguaje de especificación. B. Ejemplos de algoritmos en SML y Modula-2. C. Tabla de caracteres asch.
|
520 |
|
|
|a El libro presenta diversos aspectos del diseño y análisis de aquellos algoritmos que transforman valores de entrada en resultados de salida. El diseño se basa principalmente en el uso de algunas de las técnicas más conocidas. El análisis se realiza atendiendo a criterios de corrección y eficiencia.
|
650 |
|
4 |
|a ALGORITMOS
|
653 |
|
|
|a INFORMATICA
|
700 |
1 |
|
|a Galve Francés, Javier
|
700 |
1 |
|
|a González Moreno, Juan Carlos
|
700 |
1 |
|
|a Sánchez Calle, Angel
|
700 |
1 |
|
|a Velázquez Iturbide, J. Angel
|
930 |
|
|
|a INFORMATICA
|
931 |
|
|
|a 01399
|b UBP
|
942 |
|
|
|c BK
|
945 |
|
|
|a EBA
|
984 |
|
|
|a 004.421
|b Al 38
|
999 |
|
|
|c 17014
|d 17014
|