Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
Coq (Electronic resource)
Computer arithmetic.
Floating-point arithmetic.
Computer algorithms.
Algorithms
Arithm{uFFFD}etique interne des ordinateurs.
Arithm{uFFFD}etique en virgule flottante.
Algorithmes.
algorithms.
COMPUTERS
MATHEMATICS
Tags: Add Tag
No Tags, Be the first to tag this record!

ATSU - Elec Resource

Holdings details from ATSU - Elec Resource
Call Number: missing
Copy 0 AVAILABLE
Notes:
  • json {"id":"3ab1beca-9150-42a8-92aa-d99f5b0795fb","status":{"code":"AVAILABLE"},"location":{"code":"ATSU-Eres","name":"ATSU - Elec Resource"},"sourceHostLmsCode":"AT_STILL","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-08T20:28:55.342935231Z","localItemType":"Electronic Resource","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Electronic Resource","statusCorrectAsOf":"2026-10-08T20:28:56.409214075Z"}