Yazar
Foret, Annie. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Lirkov, Ivan. editor.
Format:
Electronic Resources
Alıntı:
Mathematical statistics.
View Other Search Results
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017
Yazar
Maler, Oded. editor.
Format:
Electronic Resources
Alıntı:
Computation -- RKappa: Statistical Sampling Suite for Kappa Models -- Integration of Rule-Based Models and
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018
Yazar
McMillan, Kenneth L. editor.
Format:
Electronic Resources
Alıntı:
Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014
Yazar
Shallit, Jeffrey. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
Jobstmann, Barbara. editor.
Format:
Electronic Resources
Alıntı:
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016
Yazar
D’Souza, Deepak. editor.
Format:
Electronic Resources
Alıntı:
Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015
Yazar
Azzopardi, George. editor.
Format:
Electronic Resources
Alıntı:
oligodendrogliomas -- Scale estimation in multiple models Fitting via Consensus Clustering -- Writer Identification
Yazar
Rutkowski, Leszek. editor.
Format:
Electronic Resources
Alıntı:
Analysis for the Combined Mathematical Model (Linear and Nonlinear) of the Water Distribution Network
Arama Sonuçlarını Sınırlandır
Daraltılmış: