Search Results for Mathematical logic.

505.

Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Yazar

Gerdt, Vladimir P. editor.

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

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science.

506.

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Yazar

Beyersdorff, Olaf. editor.

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

Format:

Electronic Resources

Alıntı:

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

507.

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Yazar

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

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

Format:

Electronic Resources

Alıntı:

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin

508.

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

Yazar

Daydé, Michel. editor.

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

Format:

Electronic Resources

Alıntı:

Arithmetic and logic units, Computer.

509.

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

Yazar

Berry, Stuart. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematics of Algorithmic Complexity. http://scigraph.springernature.com/things/product-market

510.

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Yazar

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

https://doi.org/10.1007/978-3-319-78024-5

Format:

Electronic Resources

Alıntı:

Mathematics of Computing. http://scigraph.springernature.com/things/product-market-codes/I17001

511.

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I

Yazar

Rutkowski, Leszek. editor.

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

Format:

Electronic Resources

Alıntı:

Analysis for the Combined Mathematical Model (Linear and Nonlinear) of the Water Distribution Network

512.

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

	{displayName}	{count}
{error}