Search Results for Control.

4 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

0000DEFAULTTR

Yazdır

1.

Provably Correct Systems için kapak resmi

Provably Correct Systems

Provably Correct Systems

Yazar

Hinchey, Mike. editor.

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

Format:

Electronic Resources

Alıntı:

As computers increasingly control the systems and services we depend upon within our daily lives

2.

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings için kapak resmi

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

Yazar

Yang, Hongseok. editor.

https://doi.org/10.1007/978-3-662-54434-1

Format:

Electronic Resources

Alıntı:

against Concurrency -- Incremental update for graph rewriting -- Linearity, Control Effects, and

3.

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings için kapak resmi

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Yazar

Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829

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

Format:

Electronic Resources

Alıntı:

Autoscaling Through Model Predictive Control -- Scheduling and Load Balancing -- Early Termination of Failed

4.

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II için kapak resmi

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Yazar

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

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

Format:

Electronic Resources

Alıntı:

Automaton for Modelling Urban Traffic with Self-organizing Control -- Towards Multi-Agent simulations

Tümünü Seç

1

4 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2