Search Results for Mathematical Software.

404 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 34

000000000000DEFAULTTR

Computational Counterpoint Worlds Mathematical Theory, Software, and Experiments

Yazar

Agustín-Aquino, Octavio Alberto. author.

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

Format:

Electronic Resources

Alıntı:

Computational Counterpoint Worlds Mathematical Theory, Software, and Experiments / Agustín-Aquino

The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library

Yazar

Beebe, Nelson H.F. author.

https://doi.org/10.1007/978-3-319-64110-2

Format:

Electronic Resources

Alıntı:

The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Yazar

Greuel, Gert-Martin. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

Yazar

Hong, Hoon. editor.

http://dx.doi.org/10.1007/978-3-662-44199-2

Format:

Electronic Resources

Alıntı:

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Yazar

Davenport, James H. editor. (orcid)0000-0002-3982-7545

https://doi.org/10.1007/978-3-319-96418-8

Format:

Electronic Resources

Alıntı:

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27

Practical LaTeX

Yazar

Grätzer, George. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Software.

More Math Into LaTeX

Yazar

Grätzer, George. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Software.

Modeling Companion for Software Practitioners

Yazar

Börger, Egon. author.

https://doi.org/10.1007/978-3-662-56641-1

Format:

Electronic Resources

Alıntı:

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

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

10.

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Yazar

Bogomolov, Sergiy. editor.

https://doi.org/10.1007/978-3-319-54292-8

Format:

Electronic Resources

Alıntı:

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17

11.

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Yazar

Braga, Christiano. editor.

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

Format:

Electronic Resources

Alıntı:

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil

12.

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Yazar

O'Regan, Gerard. author.

https://doi.org/10.1007/978-3-319-64021-1

Format:

Electronic Resources

Alıntı:

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

Tümünü Seç

1 2 3 4 5 .. 34

404 sonuç bulundu

	{displayName}	{count}
{error}