A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises....
Los ejercicios propuestos y las correspondientes soluciones están divididos en cinco capítulos. Primero se considera el uso de diagrama funcional GRAFCET sobre procesos discretos. Segundo, se presentan automatismos diseñad...
El conocimiento del estado tensional que actúa en un Macizo Rocoso, así como la ley constitutiva que liga la variación de tensiones con las deformaciones ocasionadas, es importante a la hora de diseñar una obra geotécnic...
Se trata de una publicación necesaria ante la carencia de textos que sinteticen los aspectos fundamentales del desarrollo de parques e instalaciones eólicas,pero sobre todo por su carácter eminentemente práctico....
El desarrollo de aplicaciones basadas en microcontroladores ha aumentado de manera notable en los últimos años. Actualmente se puede encontrar sistemas que incluyen microcontroladores en cualquier ámbito, ya sea en ambient...
A veces el temario puede ser adaptado en cada centro y, la entrada en funcionamiento de los nuevos grados, brinda la oportunidad de ofrecer algunos materiales sobre la disciplina que sirvan de base y apoyo a la materia a estu...
¿Cuántas veces hemos escuchado un comentario racista en nuestro entorno? ¿Cuántas veces hemos repetido una frase hecha llena de prejuicios? ¿Cuántos casos de acoso, burlas y desigualdad conocemos en la escuela? Son situ...
La inteligencia emocional está constituida por un conjunto de habilidades psicológicas que permiten apreciar y expresar nuestras propias emociones, entender las de nuestros semejantes y utilizar esta información para que n...
Comunicar con éxito no es un talento reservado para unos pocos, sino una destreza que se aprende. Y la comunicación es una parte inherente a cualquier investigación, sea cual sea la fase en la que se encuentre el autor (gr...
El libro Diseño, construcción y. pruebas de horno prototipo semicontinuo para producir cerámica presenta resultados de una investigación que busca optimizar el uso de la energía en hornos de cerámica....
