Yazar
Ermolayev, Vadim. editor.
Format:
Electronic Resources
Alıntı:
International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers / Ermolayev
Yazar
Yakovyna, Vitaliy. editor.
Format:
Electronic Resources
Alıntı:
International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers / Yakovyna
View Other Search Results
Yazar
Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038
Format:
Electronic Resources
Alıntı:
International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers / Bassiliades
Yazar
McCarthy, Jay. editor.
Format:
Electronic Resources
Alıntı:
Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014
Yazar
Fontaine, Pascal. editor.
Format:
Electronic Resources
Alıntı:
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil
Yazar
de Moura, Leonardo. editor.
Format:
Electronic Resources
Alıntı:
Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo
Yazar
van der Hoek, Wiebe. editor.
Format:
Electronic Resources
Alıntı:
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October
Arama Sonuçlarını Sınırlandır
Daraltılmış: