First Page | Document Content | |
---|---|---|
![]() Date: 2006-04-26 09:00:24Workshop Technology Geothermal energy Alternative energy Enhanced geothermal system | Add to Reading List |
![]() | DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT WorkshopDocID: 1xW38 - View Document |
![]() | Outline SMT: Where Do We Go From Here? Clark Barrett, New York University SMT Workshop, July 17, 2014DocID: 1xW2J - View Document |
![]() | DataCite Open Citations Martin Fenner DataCite Technical Director https://orcid.org2405 DATACITEDocID: 1xW23 - View Document |
![]() | 4th International Seminar and Workshop Emerging Technology and Innovation for Cultural Heritage INVITED LECTURESNovember 2016 “Dimitrie Gusti” National Museum of VillageDocID: 1xW1L - View Document |
![]() | Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1DocID: 1xVYz - View Document |