Yazar
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X
Format:
Electronic Resources
Alıntı:
Theoretical Computer Science and General Issues ;
Yazar
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750
Format:
Electronic Resources
Alıntı:
Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies
View Other Search Results
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July
Arama Sonuçlarını Sınırlandır
Daraltılmış: