Top 294 andrews austin andrews austin PDF Book Page 12

book image

Functional Analysis: Proceedings of the Seminar at the University of Texas at Austin 1987–89

R. Haydon, E. Odell, H. Rosenthal (auth.), Edward E. Odwell Jr., Haskell P. Rosenthal (eds.)
·204 Pages
·1991
·2.78 MB

book image

Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

D. A. Turner (auth.), Hans-Wolfgang Loidl, Ricardo Peña (eds.)
·321 Pages
·2013
·3.478 MB

book image

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings

Robert Beers, Rajnish Ghughal, Mark Aagaard (auth.), Warren A. Hunt Jr., Steven D. Johnson (eds.)
·573 Pages
·2000
·5.43 MB