Filtros activos

Verificación formal de algoritmos: Con este libro se intenta cubrir una de las necesidades que los alumnos demandan año tras año en el aprendizaje de sus materias. Se trata, por tanto, de un texto con ejercicios resueltos, que complemente a los libros más teóricos, entendiendo que éstos son fundamentales. Viene, pues, este libro a complementar al título Corrección de algoritmos complejos. Verificación formal, publicado recientemente por los mismos autores.

Estadística descriptiva y probabilidad para criminólogos: El presente manual es un texto de estadística básica enfocado al mundo criminológico. Para ello, se ha puesto especial interés en incorporar datos, ejemplos y casos basados en situaciones reales del ámbito de la Criminología. Cuando el caso práctico lo requería, se ha utilizado el paquete estadístico de software libre R, del que se incluye un apéndice explicativo con los primeros pasos a seguir para su uso. Debido al gran déficit de textos en español sobre...

Corrección de algoritmos complejos: Corrección de algoritmos complejos es un texto eminentemente práctico, cuya finalidad es la de ofrecer al alumno una guía para comprender y afianzar los conocimientos teóricos a través de la resolución de ejercicios de elevada dificultad. Está dirigida a estudiantes con ciertos conocimientos sobre el tema, a los que permitirá profundizar aún más mediante el autoaprendizaje a través de la práctica de ejercicios.

Manual práctico para el cálculo de errores en experiencias de laboratorio: El presente trabajo tiene como objeto mostrar el manejo de errores en medidas indirectas presentando una amplia gama de ejercicios prácticos que se resuelven aplicando la teoría general o bien el sofware desarrollado (UCA-CPE) para simplificar los cálculos de este modelo de ejercicios.