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 /
2
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 
3
NASA Formal Methods [E-Book] : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings /
4
Investigating Art, History, and Literature with Astronomy [E-Book] : Determining Time, Place, and Other Hidden Details Linked to the Stars /
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 
6
Journey to become a google cloud machine learning engineer [E-Book] /
7
Algorithmic Aspects in Information and Management [E-Book] : 15th International Conference, AAIM 2021, Virtual Event, December 20-22, 2021, Proceedings /
8
Essentials of Food Science [E-Book] /
9
Liutex and Third Generation of Vortex Definition and Identification [E-Book] : An Invited Workshop from Chaos 2020 /
10
Foundations of modern physics [E-Book] /
11
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 /
12
Polypores and similar fungi of eastern and central North America : a resource guide [E-Book] /
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 
14
Lectures on astrophysics [E-Book] /
15
The natural history of the Trans-Pecos : desert legends, rugged grandeur, and the Big Bend [E-Book] /
16
The natural history of the Edwards Plateau : the Texas Hill Country [E-Book] /
Subject (ZB): ...Natural history -- Texas -- Edwards Plateau....

Full text 
17
Book of Birds : Introduction to Ornithology [E-Book] /
18
XQuery for humanists [E-Book] /
19
Catalysis of organic reactions /
Book
Table of Contents 
20
5G for the connected world [E-Book] /