Search Results
Search results: 5
-
Alien Artifacts
by C. S. Friedman • David Farland • Sharon Lee • Steve Miller • Walter H. Hunt • Patricia Bray • Joshua Palmatier • Gail Z. Martin • James Van Pelt • Gini Koch • Jacey Bedford • Daniel J. Davis • Coral Moore • Sofie Bird • Jennifer Dunne • S. C. Butler • Andrija Popovic • Julie Novakova • Larry N. Martin • Angela Penrose • Anthony Lowe • Seanan McGuire • Juliet E. McKennaWhat might we run into as we expand beyond Earth and into the stars? As we explore our own solar system and beyond, it seems inevitable that we’ll run into aliens … and what they’ve left behind. Alien artifacts: what might they reveal about us as we try to unlock their secrets? What might they r... More
Language: ENGCopyright: 2016 -
Positive Organizing in a Global Society: Understanding and Engaging Differences for Capacity Building and Inclusion
This book unites the latest research in diversity, inclusion, and positive organizational scholarship (POS), to investigate diversity and inclusion dynamics in social systems. Comprised of succinct chapters from thought leaders in the field, this book covers both micro- and macro-levels of analysis,... More
Language: ENGCopyright: 2016 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science #12233)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... More
Language: ENGCopyright: 2020 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12232)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... More
Language: ENGCopyright: 2020 -
El infierno está cerca
"El infierno está vacio y todos los demonios están aquí." Leia Swanson es una chica huérfana que acaba de cumplir los dieciocho años y dejar atrás un pasado turbulento en el que perdió a sus padres con sólo siete años. Entonces, la gente empieza a convertirse en demonio ante sus ojos y ella comi... More
Language: SPACopyright: 2015