Search Results for SCIENCE -- System Theory.

13 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Searchable Storage in Cloud Computing

Yazar

Hua, Yu. author.

https://doi.org/10.1007/978-981-13-2721-6

Format:

Electronic Resources

Alıntı:

Computer System Implementation. https://scigraph.springernature.com/ontologies/product-market-codes

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

Data Structures and Information Theory. http://scigraph.springernature.com/things/product-market

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005

Transactions on Petri Nets and Other Models of Concurrency XIII

Yazar

Koutny, Maciej. editor.

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

Format:

Electronic Resources

Alıntı:

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

High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings

Yazar

Kunkel, Julian M. editor.

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

Format:

Electronic Resources

Alıntı:

System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I

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

Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005

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

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications / O'Regan, Gerard

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Yazar

Rensink, Arend. editor. (orcid)0000-0002-1714-6319

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

Format:

Electronic Resources

Alıntı:

System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Yazar

Guerra, Esther. editor. (orcid)0000-0002-2818-2278

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

Format:

Electronic Resources

Alıntı:

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part

10.

5G Wireless Systems Simulation and Evaluation Techniques

Yazar

Yang, Yang. author.

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

Format:

Electronic Resources

Alıntı:

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

11.

Systems Programming in Unix/Linux

Yazar

Wang, K.C. author.

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

Format:

Electronic Resources

Alıntı:

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

12.

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

Yazar

Cohen, Albert. editor.

http://dx.doi.org/10.1007/978-3-642-54807-9

Format:

Electronic Resources

Alıntı:

Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /

	{displayName}	{count}
{error}