The Resource Interpretation of IEEE-854 floating-point standard and definition in the HOL system, Victor A. Carreño, (microform)

Interpretation of IEEE-854 floating-point standard and definition in the HOL system, Victor A. Carreño, (microform)

Label
Interpretation of IEEE-854 floating-point standard and definition in the HOL system
Title
Interpretation of IEEE-854 floating-point standard and definition in the HOL system
Statement of responsibility
Victor A. Carreño
Creator
Contributor
Subject
Language
eng
Cataloging source
GPO
http://library.link/vocab/creatorDate
1956-
http://library.link/vocab/creatorName
Carreño, Victor A.
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
Langley Research Center
Series statement
NASA technical memorandum
Series volume
110189
http://library.link/vocab/subjectName
  • Floating-point arithmetic
  • Formalism
  • Standards
Label
Interpretation of IEEE-854 floating-point standard and definition in the HOL system, Victor A. Carreño, (microform)
Instantiates
Publication
Note
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 96-0366-M
Extent
1 v.
Form of item
microfiche
Reproduction note
Microfiche.
Stock number
N 96-15629
System control number
  • 1217584-01okla_normanlaw
  • (SIRSI)1217584
  • (Sirsi) o35216688
  • (OCoLC)35216688
  • (GPO)96078007
Label
Interpretation of IEEE-854 floating-point standard and definition in the HOL system, Victor A. Carreño, (microform)
Publication
Note
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 96-0366-M
Extent
1 v.
Form of item
microfiche
Reproduction note
Microfiche.
Stock number
N 96-15629
System control number
  • 1217584-01okla_normanlaw
  • (SIRSI)1217584
  • (Sirsi) o35216688
  • (OCoLC)35216688
  • (GPO)96078007

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...