Especificación, derivación y análisis de algoritmos

Panorámica didáctica de los aspectos lingüísticos e informáticos de la verificación automática de la sintaxis y el estilo en el ámbito de la escritura asistida por ordenador

La nube ha aparecido en muchas pequeñas formas y comienza ahora a ser una gran solución al problema que suponen los rápidos cambios del cibermundo en el que vivimos y trabajamos. En este libro la computación en la nube y la ciberseguridad se describen de una forma que abarca todos los tamaños e implementaciones de negocios que utilizan este método de computación.

Edu-gamers: Recursos videolúdicos para una sociedad educadora centra su mirada en el videojuego como recurso de aprendizaje en el marco de una sociedad que recoge los valores culturales del juego y la transformación digital, y crece pareja a un cambio social imparable. En primer lugar plantea un acercamiento teórico social a los videojuegos dentro del entorno familiar como punto de partida de la sociedad educadora. La mirada se amplía para observar el videojuego desde su cara más contributiva dentro de la comunidad ciudadana, como un aliado potente para educar, transformar y cuidar el...

Para leer el GIF intenta medirse ante el reto que hoy supone pensar en la complejidad de las imágenes digitales, cuyos formatos se desarrollan siguiendo las pautas de la novedad impuesta como temporalidad: su seducción fantasmagórica es casi inevitable en una vorágine de mensajes, memes, emojis, stickers, deep fakes y una infinidad de nuevas especies mediáticas entre las que ha sido clasificado el GIF como objeto de estudio. En este texto se estudia la lógica propia de este "aparato cultural" en tanto que objeto técnico y estético, reflexionando sobre las posibilidades políticas y...