Yazar
Reinecke, Philipp. editor.
Format:
Electronic Resources
Alıntı:
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8
Yazar
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
View Other Search Results
Yazar
Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Avigad, Jeremy. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Mondal, Anirban. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
de Cesare, Sergio. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
Format:
Electronic Resources
Alıntı:
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic
Arama Sonuçlarını Sınırlandır
Daraltılmış: