Search Results
Search results: 3
-
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 -
Keywords for American Cultural Studies, Third Edition (Keywords #11)
by Walter Johnson • Andrew Ross • Lisa Nakamura • Angela D. Dillard • George Lipsitz • Sunaina Maira • Nikhil Pal Singh • E. Patrick Johnson • Timothy Mitchell • Carla L. Peterson • George J. Sanchez • Ashley Dawson • Josh Kun • Caleb Smith • Kandice Chuh • Lisa Lowe • Ann Cvetkovich • Christopher Newfield • George Yúdice • Alys Eve Weinbaum • Brian T. Edwards • Leerom Medovoi • Lauren Berlant • Junaid Rana • Erin Manning • Cynthia G. Franklin • Julie Sze • Scott Herring • Christina B. Hanhardt • Rebecca Wanzo • Juana María Rodríguez • Marc Bousquet • Laura Briggs • Sandra M. Gustafson • Erica Kohl-Arenas • Kevin K. Gaines • Henry Yu • David Kazanjian • Dean Spade • Siobhan B. Somerville • Crystal Parikh • Lee Bebout • Rebecca Hill • Jack Halberstam • Kirsten Silva Gruesz • Eric Lott • David F. Ruccio • Marlene L. Daut • Kyla Schuller • Jentery Sayers • Robert McRuer • Matthew Frye Jacobson • Alyshia Gálvez • Kembrew McLeod • Daniel Martinez HoSang • Valerie Rohy • Joseph Lowndes • Amaranth Borsuk • Robert Fanuzzi • John Kuo Wei Tchen • Lauren Klein • Miriam Posner • Tara McPherson • Jodi Melamed • Vermonja R. Alston • Stephanie Smallwood • J. Kēhaulani Kauanui • June Wayee Chau • Oneka LaBennett • Tavia Nyong’oIntroduces key terms, research traditions, debates, and histories for American Studies and Cultural Studies in an updated editionSince its initial publication, scholars and students alike have turned to Keywords for American Cultural Studies as an invaluable resource for understanding key terms and ... More
Language: ENGCopyright: 2020