Search Results for Mathematics of Computing.

Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives

Yazar

Chen, Quan. author.

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

Format:

Electronic Resources

Alıntı:

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

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

Yazar

Herdt, Vladimir. author.

http://dx.doi.org/10.1007/978-3-658-12680-3

Format:

Electronic Resources

Alıntı:

Mathematics of Computing.

Nonlinear Dynamics of Electronic Systems 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings

Yazar

Mladenov, Valeri M. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematics of Computing.

Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

Yazar

Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686

https://doi.org/10.1007/978-3-030-25636-4

Format:

Electronic Resources

Alıntı:

Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I

Handbook of Memristor Networks

Yazar

Chua, Leon. editor.

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

Format:

Electronic Resources

Alıntı:

Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005

10.

The Innovation in Computing Companion A Compendium of Select, Pivotal Inventions

Yazar

O’Regan, Gerard. author.

https://doi.org/10.1007/978-3-030-02619-6

Format:

Electronic Resources

Alıntı:

The Innovation in Computing Companion A Compendium of Select, Pivotal Inventions / O’Regan, Gerard

	{displayName}	{count}
{error}