Information Services banner Edinburgh Research Archive The University of Edinburgh crest

Edinburgh Research Archive >

Browsing by Publication Type Technical Report

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 80 to 99 of 136
< previous   next >
Issue DateTitleAuthor(s)Supervisor(s)
Oct-1947Interim report on the Causes of and Circumstances attending the Explosion which occured at Whitehaven William Colliery, Cumberland, on the 15th August, 1947Bryan, A. M.-
Jan-1953International Convention for the Safety of Life at Sea, 1948Anonymous-
2000Isamode: Theorem Proving with Isabelle inside EmacsAspinall, David-
Mar-2000Learning Inequated Range Restricted Horn ExpressionsArias, Marta; Khardon, Roni-
2009Long-term care facilities in Ontario, Canada: A waste management overviewGales, John; Roy-Poirier, A; Champagne, P-
1999Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof AttemptsDennis, Louise; Bundy, Alan; Green, Ian-
2011Million Atom KS-DFT with CP2KBethune, Iain; Carter, Adam; Guo, Xu; Korosoglou, Paschalis-
1971Mineral Resources Consultative Committee - FluorsparNotholt, A. J. G.; Highley, D. E.-
10-May-2013MOOCs @ Edinburgh 2013: Report #1MOOCs@Edinburgh Group-
Apr-2000Multi-Predicate Induction Schemes for Mutual RecursionBoulton, Richard-
Mar-2000A New Algorithm for Learning Range Restricted Horn ExpressionsArias, Marta; Khardon, Roni-
31-Oct-2006OAIS Five-year review: Recommendations for updateHiggins, Sarah; Semple, Najla-
2005Online intermediaries and copyright liabilityWaelde, Charlotte; Edwards, Lilian-
Mar-2004Policy and Contract Management for Semantic Web ServicesUszok, A; Bradshaw, J M; Jeffers, R; Johnson, M; Tate, Austin; Dalton, J; Aitken, Stuart-
1991The Polyadic pi-Calculus: A TutorialMilner, Robin-
2009A practical guide to implementing the DCC testbed methodologyJones, Sarah; McCann, Patrick; Kim, Yunhyong-
Jan-1967A preliminary analysis of some Flambeau dataWestern, A.M.-
2007Project Store: Work Package 5 evaluationPryor, Graham-
Sep-1999Proofs About Lists Using EllipsisBundy, Alan; Richardson, Julian-
1969Report of Home Office Gas Cylinders and Containers CommitteeAnonymous-
Showing results 80 to 99 of 136
< previous   next >

 

Valid XHTML 1.0! Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2013, and/or the original authors. Privacy and Cookies Policy