Yazar
Blanchette, Jasmin Christian. editor.
Format:
Electronic Resources
Alıntı:
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25
Yazar
Beierle, Christoph. editor.
Format:
Electronic Resources
Alıntı:
, France, March 3-7, 2014. Proceedings / Beierle, Christoph. editor.
View Other Search Results
Yazar
Collart-Dutilleul, Simon. editor.
Format:
Electronic Resources
Alıntı:
Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings / Collart
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
2014, Grenoble, France, April 5-13, 2014. Proceedings / Ábrahám, Erika. editor.
Arama Sonuçlarını Sınırlandır
Daraltılmış: