1
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [E-Book] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
2
NASA Formal Methods [E-Book] : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings /

Full text 
Favorites
Saved in:
3
Essays on Astronomical History and Heritage [E-Book] : A Tribute to Wayne Orchiston on his 80th Birthday /
Table of Contents: “... -- Chapter 17. 'WHERE'S WALDO?' LEONARD WALDO AND THE 1878 TOTAL SOLAR ECLIPSE IN FORT WORTH, TEXAS -- Chapter 18. THE EVOLUTION OF 'METEOR' AS AN ASTRONOMICAL TROPE 1560-1760 -- Chapter 19. NEW ZEALAND OBSERVATIONS OF THE GREAT COMET OF 1881, C/1881 K1 (TEBBUTT...”

Full text 
Favorites
Saved in:
4
Investigating Art, History, and Literature with Astronomy [E-Book] : Determining Time, Place, and Other Hidden Details Linked to the Stars /

Full text 
Favorites
Saved in:
5
Constructive Side-Channel Analysis and Secure Design [E-Book] : 13th International Workshop, COSADE 2022, Leuven, Belgium, April 11-12, 2022, Proceedings /
Table of Contents: “... the substrate? -- Attacks On the susceptibility of Texas Instruments SimpleLink platform microcontrollers to non-invasive physical attacks -- Single-trace clustering power analysis of the point-swapping procedure in the three point ladder of Cortex-M4 SIKE...”

Full text 
Favorites
Saved in:
6
Essentials of Food Science [E-Book] /

Full text 
Favorites
Saved in:
7
Foundations of modern physics [E-Book] /

Full text 
Favorites
Saved in:
8
Knowledge Graphs and Semantic Web [E-Book] : Third Iberoamerican Conference and Second Indo-American Conference, KGSWC 2021, Kingsville, Texas, USA, November 22-24, 2021, Proceedings /

Full text 
Favorites
Saved in:
9
Algorithmic Aspects in Information and Management [E-Book] : 15th International Conference, AAIM 2021, Virtual Event, December 20-22, 2021, Proceedings /

Full text 
Favorites
Saved in:
10
Liutex and Third Generation of Vortex Definition and Identification [E-Book] : An Invited Workshop from Chaos 2020 /

Full text 
Favorites
Saved in:
11
Polypores and similar fungi of eastern and central North America : a resource guide [E-Book] /

Full text 
Favorites
Saved in:
12
Lectures on astrophysics [E-Book] /

Full text 
Favorites
Saved in:
13
Commercial Applications of Ionic Liquids [E-Book] /
Table of Contents: “... Phase - Mohsen Talebi, Rahul A. Patil, Daniel W. Armstrong (University Texas-Arlington) -- 7 Ionic Liquid-Liquid Chromatography: A Novel Separation Method - Leslie Brown (AECS-QuikPrep, Ltd UK), Martyn J. Earle, Manuela A. Gilea, Natalia V. Plechkova, Kenneth...”

Full text 
Favorites
Saved in:
14
The natural history of the Edwards Plateau : the Texas Hill Country [E-Book] /
Subject (ZB): “...Natural history -- Texas -- Edwards Plateau....”

Full text 
Favorites
Saved in:
15
The natural history of the Trans-Pecos : desert legends, rugged grandeur, and the Big Bend [E-Book] /

Full text 
Favorites
Saved in:
16
XQuery for humanists [E-Book] /

Full text 
Favorites
Saved in:
17
Book of Birds : Introduction to Ornithology [E-Book] /

Full text 
Favorites
Saved in:
18
Proximity Labeling [E-Book] : Methods and Protocols /
Table of Contents: “... Ligation (PBSL) -- Proximity-driven Site-specific and Covalent Labeling of Proteins with a TexasRed Fluorophore Reacting (ReacTR) Peptide Tag -- Affinity Conjugation for Rapid and Covalent Labeling of Proteins in Live Cells -- Ligand-directed N-Sulfonyl Pyridone...”

Full text 
Favorites
Saved in:
19
Catalysis of organic reactions /
Book
Table of Contents 
Loan/Reservation

Favorites
Saved in:
20
Materials Processing Fundamentals 2019 [E-Book] /

Vollltext 
Favorites
Saved in:

Narrow Search Results