Search Results for Systems theory.

25 sonuç bulundu

Tümünü Seç

1 2 3

000000000000DEFAULTTR

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

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

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

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

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

Information Systems and Communication Service. http://scigraph.springernature.com/things/product

Quality-aware Scheduling for Key-value Data Stores

Yazar

Xu, Chen. author.

http://dx.doi.org/10.1007/978-3-662-47306-1

Format:

Electronic Resources

Alıntı:

Information Systems Applications (incl. Internet).

Embedded and Real-Time Operating Systems

Yazar

Wang, K.C. author.

https://doi.org/10.1007/978-3-319-51517-5

Format:

Electronic Resources

Alıntı:

Circuits and Systems. http://scigraph.springernature.com/things/product-market-codes/T24068

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.

10.

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Yazar

Baier, Christel. editor.

https://doi.org/10.1007/978-3-319-92612-4

Format:

Electronic Resources

Alıntı:

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

11.

Euro-Par 2014 Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings

Yazar

Silva, Fernando. editor.

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

Format:

Electronic Resources

Alıntı:

System Performance and Evaluation.

12.

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

Yazar