Search Results for Operating Systems.

27 sonuç bulundu

Tümünü Seç

1 2 3

000000000000DEFAULTTR

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

Operating Systems. http://scigraph.springernature.com/things/product-market-codes/I14045

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

Software Engineering/Programming and Operating Systems.

Methods and Models in Mathematical Programming

Yazar

MirHassani, S. A. author.

https://doi.org/10.1007/978-3-030-27045-2

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com

Privately and Publicly Verifiable Computing Techniques A Survey

Yazar

Demirel, Denise. author.

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

Format:

Electronic Resources

Alıntı:

Operating systems (Computers).

Transactions on Computational Science XXXIII

Yazar

Gavrilova, Marina L. editor.

https://doi.org/10.1007/978-3-662-58039-4

Format:

Electronic Resources

Alıntı:

Operating Systems. http://scigraph.springernature.com/things/product-market-codes/I14045

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

Yazar

Steffen, Bernhard. author.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things

Introduction to Concurrency Theory Transition Systems and CCS

Yazar

Gorrieri, Roberto. author.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

Petri Net Synthesis

Yazar

Badouel, Eric. author.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

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

Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com

10.

High Performance Computing for Computational Science – VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

Yazar

Dutra, Inês. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things

11.

Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings

Yazar

Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261

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

Format:

Electronic Resources

Alıntı:

Operating Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I14045

12.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings

Yazar

Antonucci, Alessandro. editor. (orcid)0000-0001-7915-2768

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things

	{displayName}	{count}
{error}