Yazar
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
Format:
Electronic Resources
Alıntı:
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22
Yazar
Proença, José. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
MirHassani, S. A. author.
Format:
Electronic Resources
Alıntı:
Computational Mathematics and Numerical Analysis. https://scigraph.springernature.com/ontologies
Yazar
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
Format:
Electronic Resources
Alıntı:
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems.
Yazar
Yamada, Shigeru. author.
Format:
Electronic Resources
Alıntı:
Mathematical Modeling and Industrial Mathematics.
Yazar
Badouel, Eric. author.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems.
Yazar
Steffen, Bernhard. author.
Format:
Electronic Resources
Alıntı:
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches / Steffen, Bernhard
Yazar
Peng, Rui. author.
Format:
Electronic Resources
Alıntı:
Mathematical Modeling and Industrial Mathematics. http://scigraph.springernature.com/things/product
Yazar
Gorrieri, Roberto. author.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems.
Yazar
Agustín-Aquino, Octavio A. editor. (orcid)0000-0002-0556-6236
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market
Yazar
Gu, Zhaoquan. author.
Format:
Electronic Resources
Alıntı:
Computational Mathematics and Numerical Analysis. http://scigraph.springernature.com/things/product