Información del autor
Autor Smith, Graeme |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings Tipo de documento: documento electrónico Autores: Dongol, Brijesh, ; Petre, Luigia, ; Smith, Graeme, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVI, 245 p. 545 ilustraciones, 53 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-32441-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: TeorÃa de las máquinas Compiladores (programas informáticos) IngenierÃa de software Programación lógica Algoritmos Lenguajes formales y teorÃa de los autómatas Compiladores e intérpretes Lógica en IA Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas del Tercer Taller y Tutorial Internacional, FMTea 2019, celebrado como parte del Tercer Congreso Mundial sobre Métodos Formales, FM 2019, Oporto, Portugal, octubre de 2019. Los 14 artÃculos completos presentados junto con 3 artÃculos resúmenes fueron cuidadosamente revisado y seleccionado entre 22 presentaciones. Los artÃculos están organizados en secciones temáticas denominadas: Conferencias tutoriales; Verificación del Programa Docente; Desarrollo de Programas Docentes; y Técnicas de Enseñanza Efectivas. Nota de contenido: Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings [documento electrónico] / Dongol, Brijesh, ; Petre, Luigia, ; Smith, Graeme, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVI, 245 p. 545 ilustraciones, 53 ilustraciones en color.
ISBN : 978-3-030-32441-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: TeorÃa de las máquinas Compiladores (programas informáticos) IngenierÃa de software Programación lógica Algoritmos Lenguajes formales y teorÃa de los autómatas Compiladores e intérpretes Lógica en IA Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas del Tercer Taller y Tutorial Internacional, FMTea 2019, celebrado como parte del Tercer Congreso Mundial sobre Métodos Formales, FM 2019, Oporto, Portugal, octubre de 2019. Los 14 artÃculos completos presentados junto con 3 artÃculos resúmenes fueron cuidadosamente revisado y seleccionado entre 22 presentaciones. Los artÃculos están organizados en secciones temáticas denominadas: Conferencias tutoriales; Verificación del Programa Docente; Desarrollo de Programas Docentes; y Técnicas de Enseñanza Efectivas. Nota de contenido: Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Religion in the European Refugee Crisis Tipo de documento: documento electrónico Autores: Schmiedel, Ulrich, ; Smith, Graeme, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XVII, 314 p. 6 ilustraciones ISBN/ISSN/DL: 978-3-319-67961-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Religión y sociologÃa Emigración e inmigración PolÃtica cultural SociologÃa de la religión Migración humana PolÃtica y polÃtica cultural PolÃtica europea Clasificación: 306.6 Resumen: Este libro explora el papel de la religión en la actual crisis de refugiados en Europa. Combinando relatos sociológicos, filosóficos y teológicos de esta crisis, académicos de renombre de toda Europa examinan cómo se ha utilizado la religión para exigir la eliminación o el refuerzo de los muros alrededor de la "Europa Fortaleza". Argumentan que la religión es radicalmente ambigua y causa simultáneamente conflicto social y cohesión social en tiempos de agitación. Al trazar las constelaciones, los conflictos y las consecuencias de la actual crisis de refugiados, este libro responde a la necesidad de relatos sucintos pero sostenidos de las intersecciones entre religión y migración. Nota de contenido: 1. Introduction: Charting a Crisis -- 2. Perceptions of Plurality: The Impact of the Refugee Crisis on the Interpretation of Religious Pluralization in Europe -- 3.Infiltrators, Imposters or Human Beings? The Slovenian Socio-Political Imaginary, Christianity, and the Responses to the 2015-2016 Migrant Crisis -- 4. Between Traditionalism, Fundamentalism, and Populism: A Critical Discourse Analysis of the Media Coverage of the Migration Crisis in Poland -- 5. Confronting the Current Refugee Crisis: The Importance of Islamic Citizens' Initiatives in Germany -- 6. Fearing the Faith of Others? Government, Religion, and Integration in Norway -- 7. Christianity in a Post-Christian Context: Immigration, Church Identity, and the Role of Religion in Public Debates -- 8. "Refugees" and the Problem of Identity in the UK -- 9. Against the Manichees: Immigration Detention and the Shaping of the Theo-Political Imagination.-10. None is Still Too Many: Holocaust Commemoration and Historical Anesthetization -- 11. "We Can Do This!": Tackling the Political Theology of Populism -- 12. Who are the People? Towards a Theological Ethics of Citizenship and Community -- 13. Turning a Curse into a Blessing? Theological Contributions to a Resource-Orientated Narrative on Migration in Europe -- 14. Christ, the Stranger: The Theological Relevance of Migration -- 15. What Does It Mean to Be a Progressive Intellectual after the Refugee Crisis in Europe? A Dialogue with Tariq Ramadan -- 16. Conclusion: The Theological Takeover. . Tipo de medio : Computadora Summary : This book explores the roles of religion in the current refugee crisis of Europe. Combining sociological, philosophical, and theological accounts of this crisis, renowned scholars from across Europe examine how religion has been employed to call either for eliminating or for enforcing the walls around "Fortress Europe." Religion, they argue, is radically ambiguous, simultaneously causing social conflict and social cohesion in times of turmoil. Charting the constellations, the conflicts, and the consequences of the current refugee crisis, this book thus answers the need for succinct but sustained accounts of the intersections of religion and migration. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Religion in the European Refugee Crisis [documento electrónico] / Schmiedel, Ulrich, ; Smith, Graeme, . - 1 ed. . - [s.l.] : Springer, 2018 . - XVII, 314 p. 6 ilustraciones.
ISBN : 978-3-319-67961-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Religión y sociologÃa Emigración e inmigración PolÃtica cultural SociologÃa de la religión Migración humana PolÃtica y polÃtica cultural PolÃtica europea Clasificación: 306.6 Resumen: Este libro explora el papel de la religión en la actual crisis de refugiados en Europa. Combinando relatos sociológicos, filosóficos y teológicos de esta crisis, académicos de renombre de toda Europa examinan cómo se ha utilizado la religión para exigir la eliminación o el refuerzo de los muros alrededor de la "Europa Fortaleza". Argumentan que la religión es radicalmente ambigua y causa simultáneamente conflicto social y cohesión social en tiempos de agitación. Al trazar las constelaciones, los conflictos y las consecuencias de la actual crisis de refugiados, este libro responde a la necesidad de relatos sucintos pero sostenidos de las intersecciones entre religión y migración. Nota de contenido: 1. Introduction: Charting a Crisis -- 2. Perceptions of Plurality: The Impact of the Refugee Crisis on the Interpretation of Religious Pluralization in Europe -- 3.Infiltrators, Imposters or Human Beings? The Slovenian Socio-Political Imaginary, Christianity, and the Responses to the 2015-2016 Migrant Crisis -- 4. Between Traditionalism, Fundamentalism, and Populism: A Critical Discourse Analysis of the Media Coverage of the Migration Crisis in Poland -- 5. Confronting the Current Refugee Crisis: The Importance of Islamic Citizens' Initiatives in Germany -- 6. Fearing the Faith of Others? Government, Religion, and Integration in Norway -- 7. Christianity in a Post-Christian Context: Immigration, Church Identity, and the Role of Religion in Public Debates -- 8. "Refugees" and the Problem of Identity in the UK -- 9. Against the Manichees: Immigration Detention and the Shaping of the Theo-Political Imagination.-10. None is Still Too Many: Holocaust Commemoration and Historical Anesthetization -- 11. "We Can Do This!": Tackling the Political Theology of Populism -- 12. Who are the People? Towards a Theological Ethics of Citizenship and Community -- 13. Turning a Curse into a Blessing? Theological Contributions to a Resource-Orientated Narrative on Migration in Europe -- 14. Christ, the Stranger: The Theological Relevance of Migration -- 15. What Does It Mean to Be a Progressive Intellectual after the Refugee Crisis in Europe? A Dialogue with Tariq Ramadan -- 16. Conclusion: The Theological Takeover. . Tipo de medio : Computadora Summary : This book explores the roles of religion in the current refugee crisis of Europe. Combining sociological, philosophical, and theological accounts of this crisis, renowned scholars from across Europe examine how religion has been employed to call either for eliminating or for enforcing the walls around "Fortress Europe." Religion, they argue, is radically ambiguous, simultaneously causing social conflict and social cohesion in times of turmoil. Charting the constellations, the conflicts, and the consequences of the current refugee crisis, this book thus answers the need for succinct but sustained accounts of the intersections of religion and migration. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]