Search Results for Algorithms.

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

0000DEFAULTTR

Yazdır

13.

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

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

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

Yazar

Dillig, Isil. editor.

https://doi.org/10.1007/978-3-030-25543-5

Format:

Electronic Resources

Alıntı:

-- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual

14.

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday için kapak resmi

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Yazar

Lohstroh, Marten. editor.

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

Format:

Electronic Resources

Alıntı:

Software Design Methodology Based on Formal Models of Computation -- Anytime Algorithms in Time-Triggered

15.

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers için kapak resmi

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Yazar

Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831

https://doi.org/10.1007/978-3-319-74313-4

Format:

Electronic Resources

Alıntı:

Algorithms -- Lightweight Non-Intrusive Virtual Machine Introspection -- Distributed Approach to Coreference

16.

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings için kapak resmi

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Yazar

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481

https://doi.org/10.1007/978-3-030-00359-3

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market

Tümünü Seç

1 2

16 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