Search Results for Stochastic processes.

5 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ç

00000DEFAULTTR

Yazdır

1.

Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers için kapak resmi

Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers

Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers

Yazar

Parlier, Greg H. editor.

https://doi.org/10.1007/978-3-319-94767-9

Format:

Electronic Resources

Alıntı:

Dividends of a Reserve Process -- Impact of Collaborative External Truck Scheduling on Yard Efficiency in

2.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I için kapak resmi

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Yazar

Dillig, Isil. editor.

https://doi.org/10.1007/978-3-030-25540-4

Format:

Electronic Resources

Alıntı:

Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data

3.

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

https://doi.org/10.1007/978-3-030-03421-4

Format:

Electronic Resources

Alıntı:

-- Mitigating Security Risks through Attack Strategies Exploration -- Statistical Model Checking of Processor

4.

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday için kapak resmi

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor.

https://doi.org/10.1007/978-3-319-63121-9

Format:

Electronic Resources

Alıntı:

-- Bicategories of Markov Processes -- Property-Preserving Parallel Decomposition -- A Generic Algorithm for

5.

PRIMA 2019: Principles and Practice of Multi-Agent Systems 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings için kapak resmi

PRIMA 2019: Principles and Practice of Multi-Agent Systems 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings

PRIMA 2019: Principles and Practice of Multi-Agent Systems 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings

Yazar

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

https://doi.org/10.1007/978-3-030-33792-6

Format:

Electronic Resources

Alıntı:

Evolutionary Processes by Multilevel Adaptive Agent Models -- Emergent Privacy Norms for Collaborative Systems

Tümünü Seç

1

5 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