Search Results for Mathematical Software.

648 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 54

000000000000DEFAULTTR

25.

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Yazar

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

https://doi.org/10.1007/978-3-319-63501-9

Format:

Electronic Resources

Alıntı:

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22

26.

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Yazar

Proença, José. editor.

https://doi.org/10.1007/978-3-319-68034-7

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

27.

Methods and Models in Mathematical Programming

Yazar

MirHassani, S. A. author.

https://doi.org/10.1007/978-3-030-27045-2

Format:

Electronic Resources

Alıntı:

Computational Mathematics and Numerical Analysis. https://scigraph.springernature.com/ontologies

28.

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Yazar

Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175

https://doi.org/10.1007/978-3-030-02146-7

Format:

Electronic Resources

Alıntı:

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea

29.

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Yazar

Kroening, Daniel. editor.

http://dx.doi.org/10.1007/978-3-319-21668-3

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

30.

OSS Reliability Measurement and Assessment

Yazar

Yamada, Shigeru. author.

http://dx.doi.org/10.1007/978-3-319-31818-9

Format:

Electronic Resources

Alıntı:

Mathematical Modeling and Industrial Mathematics.

31.

Petri Net Synthesis

Yazar

Badouel, Eric. author.

http://dx.doi.org/10.1007/978-3-662-47967-4

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

32.

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

Yazar

Steffen, Bernhard. author.

https://doi.org/10.1007/978-3-319-68397-3

Format:

Electronic Resources

Alıntı:

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches / Steffen, Bernhard

33.

Software Fault Detection and Correction: Modeling and Applications

Yazar

Peng, Rui. author.

https://doi.org/10.1007/978-981-13-1162-8

Format:

Electronic Resources

Alıntı:

Mathematical Modeling and Industrial Mathematics. http://scigraph.springernature.com/things/product

34.

Introduction to Concurrency Theory Transition Systems and CCS

Yazar

Gorrieri, Roberto. author.

http://dx.doi.org/10.1007/978-3-319-21491-7

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

35.

Mathematics and Computation in Music 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings

Yazar

Agustín-Aquino, Octavio A. editor. (orcid)0000-0002-0556-6236

https://doi.org/10.1007/978-3-319-71827-9

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market

36.

Rendezvous in Distributed Systems Theory, Algorithms and Applications

Yazar

Gu, Zhaoquan. author.

https://doi.org/10.1007/978-981-10-3680-4

Format:

Electronic Resources

Alıntı:

Computational Mathematics and Numerical Analysis. http://scigraph.springernature.com/things/product

Tümünü Seç

1 2 3 4 5 .. 54

648 sonuç bulundu

	{displayName}	{count}
{error}