Search Results for Algorithms.

Geç:Arama SonuçlarıİçerikSayfa SonuArama Filtreleri

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.

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings için kapak resmi

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

Yazar

Hong, Hoon. editor.

http://dx.doi.org/10.1007/978-3-662-44199-2

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

2.

Augmented Marked Graphs için kapak resmi

Augmented Marked Graphs

Augmented Marked Graphs

Yazar

Cheung, King Sing. author.

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

Format:

Electronic Resources

Alıntı:

, Algorithms for Checking the Properties of Augmented Marked Graphs -- Index References.

3.

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers için kapak resmi

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

Yazar

Daydé, Michel. editor.

http://dx.doi.org/10.1007/978-3-319-17353-5

Format:

Electronic Resources

Alıntı:

Algorithms for GPU and Many cores -- Large-Scale Applications -- Numerical Algorithms -- Direct

4.

Petri Net Synthesis için kapak resmi

Petri Net Synthesis

Petri Net Synthesis

Yazar

Badouel, Eric. author.

http://dx.doi.org/10.1007/978-3-662-47967-4

Format:

Electronic Resources

Alıntı:

-- Algorithms of Elementary Net Synthesis -- Variations of Elementary Net Synthesis -- A Unified Theory of Net

5.

Handbook of Model Checking için kapak resmi

Handbook of Model Checking

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Electronic Resources

Alıntı:

the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that

Tümünü Seç

1

5 sonuç bulundu

Arama sonuçlarına abone ol

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

Git:Arama SonuçlarıSayfa BaşıArama Filtreleri

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