Search Results for Algorithms.

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.

High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings için kapak resmi

High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings

High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings

Yazar

Kunkel, Julian M. editor.

https://doi.org/10.1007/978-3-319-58667-0

Format:

Electronic Resources

Alıntı:

: applications and algorithms; proxy applications; architecture and system optimization; and energy-aware

2.

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings için kapak resmi

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Yazar

Gaspers, Serge. editor. (orcid)0000-0002-6947-9238

https://doi.org/10.1007/978-3-319-66263-3

Format:

Electronic Resources

Alıntı:

64 submissions. The papers are organized in the following topical sections: algorithms, complexity

3.

Transactions on Computational Science XXXIII için kapak resmi

Transactions on Computational Science XXXIII

Transactions on Computational Science XXXIII

Yazar

Gavrilova, Marina L. editor.

https://doi.org/10.1007/978-3-662-58039-4

Format:

Electronic Resources

Alıntı:

-Round Algorithms for Point Placement in the Plane -- Neighborhood Graphs and Locally Minimal

4.

Transactions on Petri Nets and Other Models of Concurrency XIII için kapak resmi

Transactions on Petri Nets and Other Models of Concurrency XIII

Transactions on Petri Nets and Other Models of Concurrency XIII

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-58381-4

Format:

Electronic Resources

Alıntı:

Petri Nets: A Comparison of Variable Ordering Algorithms -- Model Synchronization and Concurrent

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

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