A Caltech Library Service

Browse by Committee Member

Group by: Degree Date (Year Only) | Authors | No Grouping

Number of items: 2.

Dathathri, Sumanth (2020) Scalable Synthesis and Verification: Towards Reliable Autonomy. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/4j39-v857. https://resolver.caltech.edu/CaltechTHESIS:04292020-165136662

Sofronidis, Nikolaos Efstathiou (1999) Topics in descriptive set theory related to equivalence relations, complex borel and analytic sets. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/vva8-1959. https://resolver.caltech.edu/CaltechTHESIS:01232017-134252080

This list was generated on Sat Dec 21 11:02:27 2024 UTC.

CaltechTHESIS is powered by EPrints 3.3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.