Search Results
-
Worlding America: A Transnational Anthology of Short Narratives before 1800
Worlding America explores the circulation of short narratives in the early Americas through a combination of neglected primary materials and scholarly commentary. Building on recent reconsiderations of American literature in light of transnational and hemispheric approaches, it follows the migratio... More
Language: ENGCopyright: 2015 -
Software Technologies: Applications and Foundations
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and 22 short papers presented were carefully re... More
Language: ENGCopyright: 2018 -
Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings (Lecture Notes in Computer Science #12178)
by Martina Seidl • Luca PulinaThis book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually. The 25 ful... More
Language: ENGCopyright: 2020