Search Results for Mathematics of Computing.

11 sonuç bulundu

Tümünü Seç

00000000000DEFAULTTR

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

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

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

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

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

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

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

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Yazar

Wittevrongel, Sabine. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematics of Computing.

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

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

Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings

Yazar

Ghaffari, Mohsen. editor.

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

Format:

Electronic Resources

Alıntı:

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

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

Yazar

van Hoeve, Willem-Jan. editor.

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

Format:

Electronic Resources

Alıntı:

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

Trusted Systems 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers

Yazar

Yung, Moti. editor.

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

Format:

Electronic Resources

Alıntı:

Management of Computing and Information Systems.

10.

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Yazar

O'Regan, Gerard. author.

https://doi.org/10.1007/978-3-319-64021-1

Format:

Electronic Resources

Alıntı:

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

11.

Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach

Yazar

Parkinson, Simon. editor. (orcid)0000-0002-1747-9914

https://doi.org/10.1007/978-3-319-92624-7

Format:

Electronic Resources

Alıntı:

of Computational Mathematics in the School of Computing and Engineering, and the Associate Dean for

	{displayName}	{count}
{error}