Showing
1 - 3
results of
3
for search '
'
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:
Other:
Remove Filter
Computer science
Format:
Remove Filter
Thesis
Page will reload when a filter is removed.
Reset Filters
Show filters (2)
Other:
Remove Filter
Computer science
Format:
Remove Filter
Thesis
Search Results
Showing
1 - 3
results of
3
for search '
'
, query time: 0.15s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
A translation of recursive algebra queries into the access language of a nested relations database prototype /
by
Caulfield, Jonathan
Published 1989
Call Number:
Loading...
Located:
Loading...
Link to OAKTrust copy
Thesis
eBook
2
Animated graph environment /
by
Veatch, Timothy Richard
Published 1990
Call Number:
Loading...
Located:
Loading...
Thesis
Book
Loading...
3
Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems /
by
Herde, Christian
Published 2011
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Thesis
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
Thesis
eBook
2 results
2
Book
1 results
1
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
Caulfield, Jonathan
1 results
1
Herde, Christian
1 results
1
SpringerLink (Online service)
1 results
1
Veatch, Timothy Richard
1 results
1
Language
English
3 results
3
Loading...