Showing
1 - 1
results of
1
for search '
"enclosure"
'
Skip to content
Texas A&M University Libraries
Texas A&M University Libraries
MyLibrary
Help
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Author:
Remove Filter
Christakis, Maria
AND
Remove Filter
SpringerLink (Online service)
Page will reload when a filter is removed.
Reset Filters
Show filters (2)
Author:
Remove Filter
Christakis, Maria
AND
Remove Filter
SpringerLink (Online service)
Search Results - "enclosure"
Showing
1 - 1
results of
1
for search '
"enclosure"
'
, query time: 0.15s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers /
Published 2020
Table of Contents:
“
... -- Rigorous
Enclosure
of Round-O Errors in Floating-Point Computations : Towards Numerical Assistants: Trust...
”
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
eBook
1 results
1
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
Christakis, Maria
Duggirala, Parasara Sridhar
1 results
1
Polikarpova, Nadia
1 results
1
Schrammel, Peter
1 results
1
SpringerLink (Online service)
Language
English
1 results
1
Loading...