Search Results for Numeric Computing.

Transactions on Computational Science XXII

Yazar

Gavrilova, Marina L. editor.

http://dx.doi.org/10.1007/978-3-642-54212-1

Format:

Electronic Resources

Alıntı:

Numeric Computing.

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

Yazar

Manea, Florin. editor.

https://doi.org/10.1007/978-3-319-94418-0

Format:

Electronic Resources

Alıntı:

Numeric Computing. http://scigraph.springernature.com/things/product-market-codes/I1701X

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Yazar

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X

https://doi.org/10.1007/978-3-030-24258-9

Format:

Electronic Resources

Alıntı:

Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Yazar

Gaspers, Serge. editor. (orcid)0000-0002-6947-9238

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

Format:

Electronic Resources

Alıntı:

Numeric Computing. http://scigraph.springernature.com/things/product-market-codes/I1701X

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ı:

Numeric Computing.

The Foundations of Computability Theory

Yazar

Robič, Borut. author.

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

Format:

Electronic Resources

Alıntı:

Computational Mathematics and Numerical Analysis.

Encyclopedia of Algorithms

Yazar

Kao, Ming-Yang. editor.

http://dx.doi.org/10.1007/978-1-4939-2864-4

Format:

Electronic Resources

Alıntı:

Computational Mathematics and Numerical Analysis.

Open Problems in Mathematics and Computational Science

Yazar

Koç, Çetin Kaya. editor.

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

Format:

Electronic Resources

Alıntı:

Computational Mathematics and Numerical Analysis.

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

Yazar

Kacsuk, Péter. editor.

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

Format:

Electronic Resources

Alıntı:

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation

	{displayName}	{count}
{error}