Search Results for System theory.

21 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

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

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

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses

Yazar

Kochs, Hans-Dieter. author.

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

Format:

Electronic Resources

Alıntı:

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

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

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

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

Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Yazar

Yang, Alvin. editor.

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

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

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

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

11.

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

12.

Design and Implementation of the MTX Operating System

Yazar

Wang, K. C. author.

http://dx.doi.org/10.1007/978-3-319-17575-1

Format:

Electronic Resources

Alıntı:

Design and Implementation of the MTX Operating System Wang, K. C. author.

	{displayName}	{count}
{error}