|
|
Edinburgh Research Archive >
Browsing by Title
Showing results 5637 to 5656 of 5968
| Issue Date | Title | Author(s) | Supervisor(s) | | 2005 | Two varieties of Hong Kong English - language use in computer-mediated communication compared to other forms of written English among Hong Kong adolescents | Poon, Wing Kin Vinton | - |
| Jul-1998 | Type Inference with Bounded Quantification | Sequeira, Dilip | - |
| Feb-1999 | Type Systems For Polynomial-time Computation | Hofmann, Martin | - |
| 5-Nov-2003 | Type Theory and Recursion Extended Abstract | Plotkin, Gordon | - |
| 2008 | Type-based amortized stack memory prediction | Campbell, Brian | Sannella, Don |
| Jul-2000 | A Type-Based Locality Analysis for a Functional Distributed Language | Moreira, Alvaro F | Fourman, Michael |
| Jul-1997 | A Type-Theoretic Analysis of Modular Specifications | Maharaj, Savitri | Anderson, Stuart |
| Jul-1994 | A Typed Operational Semantics for Type Theory | Goguen, Healfdene | Burstall, Rod; Luo, Zhaohui |
| Jul-1998 | Types For Modules | Russo , Claudio V | Sannella, Donald; Goguen, Healfdene |
| 23-Nov-2011 | Tyrannicide and Tranquillity | Martin, Andrew | Kupreeva, Inna |
| 22-Jun-2012 | Tyrosine derivatives and their anti-cancer applications | Boys, Sarah K. | Hulme, Alison; Bradley, Mark |
| 4-Jul-2011 | U.S. Intelligence and the origins of the Vietnam War, 1962 - 1965 | Ochiai, Yukiko | Peterson, John; Jeffreys-Jones, Rhodri |
| 1-Jul-2009 | U02581 Group Design Potable Water Supply - Project Brief 2007-2009 | Crapper, Martin; Hyde, Bob | - |
| 28-Jun-2010 | Ubiquitous communications for wireless personal area networks in a heterogeneous environment | Ma, Junkang | Hannah, John; Laurenson, David |
| 2011 | UK Innovation Potential in Advanced Water Treatment: Future Directions & Strategy I | Schäfer, Andrea; Walker, Mike; Bower, Matt; Ponton, George | - |
| 2012 | UK Innovation Potential in Advanced Water Treatment: Future Directions & Strategy II | Schäfer, Andrea; Duncan, Diane; Ponton, George; Bower, Matt; Jensen, Hans; Bishop, Konrad; Bernard, Ian; Thomas, Kerry; Hughes, Gordon | - |
| 2001 | Ultrafiltration of Natural Organic Matter | Aoustin, E.; Schäfer, Andrea; Fane, Anthony G.; Waite, T. D. | - |
| 2009 | Ultrafiltration to supply safe drinking water in developing countries: A review of opportunities | Davey, J.; Schäfer, Andrea | - |
| 2008 | Ultrasound investigation of tongue movements in syllables with different onset structure | Kocjancic, Tanja | - |
| Dec-2009 | Un nuevo cometido para los bibliotecarios academicos: data curation | Martinez-Uribe, Luis; Macdonald, Stuart | - |
Showing results 5637 to 5656 of 5968
|
