Top 720 ut austin PDF Book Page 26

book image

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings

Otmane Aït Mohamed (auth.), E. Thomas Schubert, Philip J. Windley, James Alves-Foss (eds.)
·409 Pages
·1995
·5.769 MB

book image

Inequity in the technopolis race, class, gender, and the digital divide in Austin

Lentz, Roberta G.;Spence, Jeremiah;Straubhaar, Joseph D.;Tufekci, Zeynep
·297 Pages
·2013
·15.036 MB

book image

Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
·202 Pages
·2011
·2.907 MB

book image

Ut pictura amor: The Reflexive Imagery of Love in Artistic Theory and Practice, 1500-1700

Walter Melion, Michael Zell, Joanna Woodall
·812 Pages
·2017
·67.309 MB

1
252627
30