Yazar
Chekanov, Sergei V. author.
Format:
Electronic Resources
Alıntı:
Numeric Computation and Statistical Data Analysis on the Java Platform Chekanov, Sergei V. author.
Yazar
Rival, Xavier. editor.
Format:
Electronic Resources
Alıntı:
Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016
View Other Search Results
Yazar
Müller-Olm, Markus. editor.
Format:
Electronic Resources
Alıntı:
Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014
Yazar
Chang, Bor-Yuh Evan. editor.
Format:
Electronic Resources
Alıntı:
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019
Yazar
Blazy, Sandrine. editor.
Format:
Electronic Resources
Alıntı:
Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015
Yazar
Finkbeiner, Bernd. editor.
Format:
Electronic Resources
Alıntı:
Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015
Yazar
Chen, Yu-Fang. editor.
Format:
Electronic Resources
Alıntı:
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei
Yazar
Amyot, Daniel. editor.
Format:
Electronic Resources
Alıntı:
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014
Yazar
Cassez, Franck. editor.
Format:
Electronic Resources
Alıntı:
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney
Yazar
Dal Lago, Ugo. editor.
Format:
Electronic Resources
Alıntı:
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013
Yazar
Grabowski, Jens. editor.
Format:
Electronic Resources
Alıntı:
System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference
Yazar
Collart-Dutilleul, Simon. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product