Search Results for Mathematics.

559 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 47

000000000000DEFAULTTR

Numerical Methods of Mathematics Implemented in Fortran

Yazar

Bose, Sujit Kumar. author.

https://doi.org/10.1007/978-981-13-7114-1

Format:

Electronic Resources

Alıntı:

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

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures

Yazar

Doberkat, Ernst-Erich. author.

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

Format:

Electronic Resources

Alıntı:

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /

Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Yazar

Watt, Stephen M. editor.

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

Format:

Electronic Resources

Alıntı:

Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11

Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Yazar

Kerber, Manfred. editor.

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

Format:

Electronic Resources

Alıntı:

Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Yazar

Kohlhase, Michael. editor.

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

Format:

Electronic Resources

Alıntı:

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July

Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

Yazar

Rabe, Florian. editor.

https://doi.org/10.1007/978-3-319-96812-4

Format:

Electronic Resources

Alıntı:

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

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Yazar

Geuvers, Herman. editor. (orcid)0000-0003-2522-2980

https://doi.org/10.1007/978-3-319-62075-6

Format:

Electronic Resources

Alıntı:

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Yazar

Hutton, Graham. editor. (orcid)0000-0001-9584-5150

https://doi.org/10.1007/978-3-030-33636-3

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Yazar

Hinze, Ralf. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany

10.

Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior

Yazar

Schultz, Patrick. author.

https://doi.org/10.1007/978-3-030-00704-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

11.

Introduction to Mathematica® with Applications

Yazar

Mureşan, Marian. author.

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

Format:

Electronic Resources

Alıntı:

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

12.

Nonsymmetric Operads in Combinatorics

Yazar

Giraudo, Samuele. author.

https://doi.org/10.1007/978-3-030-02074-3

Format:

Electronic Resources

Alıntı:

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

Tümünü Seç

1 2 3 4 5 .. 47

559 sonuç bulundu

	{displayName}	{count}
{error}