Search Results for Algorithms.

15 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1 2

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

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

000DEFAULTTR

Yazdır

13.

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings için kapak resmi

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Yazar

Calinescu, Radu. editor.

http://dx.doi.org/10.1007/978-3-319-22969-0

Format:

Electronic Resources

Alıntı:

of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and

14.

Software Engineering for Collective Autonomic Systems The ASCENS Approach için kapak resmi

Software Engineering for Collective Autonomic Systems The ASCENS Approach

Software Engineering for Collective Autonomic Systems The ASCENS Approach

Yazar

Wirsing, Martin. editor.

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

Format:

Electronic Resources

Alıntı:

and Awareness in Robot Ensembles: Scenarios and Algorithms -- The Autonomic Cloud -- The E-mobility

15.

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I için kapak resmi

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Yazar

Kroening, Daniel. editor.

http://dx.doi.org/10.1007/978-3-319-21690-4

Format:

Electronic Resources

Alıntı:

: Parameterized Model Checking of Threshold-Based Distributed Algorithms -- Skipping Refinement -- Quantitative

Tümünü Seç

1 2

15 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