<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-02-11 23:39:49National Accreditation Authority for Translators and Interpreters Workshop |
| 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 |