Yazar
Ben Amor, Nahla. editor.
Format:
Electronic Resources
Alıntı:
Scalable Uncertainty Management 13th International Conference, SUM 2019, Compiègne, France
Yazar
Potapov, Igor. editor.
Format:
Electronic Resources
Alıntı:
Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26
View Other Search Results
Yazar
Lachiche, Nicolas. editor.
Format:
Electronic Resources
Alıntı:
Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6
Yazar
Krivine, Jean. editor.
Format:
Electronic Resources
Alıntı:
Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015
Yazar
Blazy, Sandrine. editor.
Format:
Electronic Resources
Alıntı:
Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015
Yazar
Klasing, Ralf. editor.
Format:
Electronic Resources
Alıntı:
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
, Paris, France, January 15–17, 2017, Proceedings / Bouajjani, Ahmed. editor.
Yazar
Cinquemani, Eugenio. editor.
Format:
Electronic Resources
Alıntı:
Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016
Yazar
Ait Ameur, Yamine. editor.
Format:
Electronic Resources
Alıntı:
, France, June 2-6, 2014. Proceedings / Ait Ameur, Yamine. editor.
Yazar
Asher, Nicholas. editor.
Format:
Electronic Resources
Alıntı:
, France, June 18-20, 2014. Proceedings / Asher, Nicholas. editor.
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
, Paris, France, November 6, 2015. Revised Selected Papers / Liu, Shaoying. editor.
Yazar
Blanchette, Jasmin Christian. editor.
Format:
Electronic Resources
Alıntı:
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25
Arama Sonuçlarını Sınırlandır
Daraltılmış: