• Home
  • Browse
  • Ask Us
  • Chat
  • Harmful Language Statement
  • Log in
logoUScholar Works
Advanced Search
 
Year
TO
Type
  • Text8
Format
  • application/pdf8
Collection
  • UScholar Works8
Filters: Department: "Computer Science" Type: "Text" Year End: 2012
1 - 25 of 8
Number of results to display per page
TitleDateType
1 The 'test model-checking' approach to the verification of formal memory models of multiprocessors1998Text
2 The 'Test model-checking' approach to the verification of formal memory models of multiprocessors1998Text
3 3D tensor normalization for improved accuracy in DTI tensor registration methods2012-01-01Text
4 Brain Changes in Traumatic Brain Injury2012Text
5 Brain imaging studies: high throughput by automatic processing pipeline2012Text
6 Continuous Trajectories from Discrete Anatomical Shapes2012Text
7 Down syndrome: Bridging Genes, Brain and Cognition2012Text
8 Neuro imaging research lab2012Text
1 - 25 of 8
Marriott Digital Library Logo

J. Willard Marriott Library

295 S 1500 E
SLC UT 84112-0860

Contact Us

801.581.8558

FAX: 801.585.3464

J. Willard Marriott Library
  • Digital Library Services
  • Special Collections
  • Copyright Resources
  • Terms of Use
  • Harmful Language Statement
University of Utah Digital Projects
  • Marriott Digital Library
  • Utah Digital Newspapers
  • Digital Exhibits
  • Collections as Data
  • Digital Library News
  • USpace Institutional Repository
  • Hive Data Repository
Related Digital Library Sites
  • Partner Institutions
  • Mountain West Digital Library
  • Digital Public Library of America

Copyright © J. Willard Marriott Library. All rights reserved.

  • Privacy/
  • Nondiscrimination & Accessibility/
  • Safe U/
  • Disclaimer/
  • Policies