Search Results for Discrete Optimization.

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

00DEFAULTTR

Yazdır

1.

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings için kapak resmi

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

Yazar

Krivine, Jean. editor.

http://dx.doi.org/10.1007/978-3-319-20860-2

Format:

Electronic Resources

Alıntı:

Languages -- Reverse Code Generation for Parallel Discrete Event Simulation -- Towards a Domain-Specific

2.

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings için kapak resmi

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

Yazar

Cassez, Franck. editor.

http://dx.doi.org/10.1007/978-3-319-11936-6

Format:

Electronic Resources

Alıntı:

Data-Parameterized Systems -- Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate

Tümünü Seç

1

2 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