Yazar
Yamada, Shigeru. author.
Format:
Electronic Resources
Alıntı:
Mathematical Modeling and Industrial Mathematics.
Yazar
Yang, Gi-Chul. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Modeling and Industrial Mathematics.
View Other Search Results
Yazar
Torra, Vicenç. author.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Herdt, Vladimir. author.
Format:
Electronic Resources
Alıntı:
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non
Yazar
Braga, Christiano. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Kofroň, Jan. editor.
Format:
Electronic Resources
Alıntı:
Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop
Yazar
Greuel, Gert-Martin. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016
Yazar
Lucanu, Dorel. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Kordy, Barbara. editor.
Format:
Electronic Resources
Alıntı:
Graphical Models for Security Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27
Yazar
Bošnački, Dragan. editor.
Format:
Electronic Resources
Alıntı:
Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016
Yazar
Caballero, Juan. editor.
Format:
Electronic Resources
Alıntı:
Computer science -- Mathematics.
Yazar
Jobstmann, Barbara. editor.
Format:
Electronic Resources
Alıntı:
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016
Arama Sonuçlarını Sınırlandır
Daraltılmış: