Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference
Yazar
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
View Other Search Results
Yazar
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750
Format:
Electronic Resources
Alıntı:
systems, theorem proving, learning, verification, distributed algorithms, and program analysis.
Yazar
Fei, Minrui. editor.
Format:
Electronic Resources
Alıntı:
neural network theory and algorithms; advanced evolutionary computing theory and algorithms, such as
Yazar
Kumar, Navin. editor.
Format:
Electronic Resources
Alıntı:
-- Hybrid Energy Efficient and QoS Aware Algorithm to Prolong IoT Network Lifetime -- Data Integration and
Yazar
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X
Format:
Electronic Resources
Alıntı:
restricted to) theoretical advances (such as exact algorithms, proof complexity, and other complexity issues
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
-- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual
Yazar
Miraz, Mahdi H. editor. (orcid)0000-0002-6795-7048
Format:
Electronic Resources
Alıntı:
of Machine Learning Algorithms for Predictive Analytics in Higher Education -- Generic Framework of
Arama Sonuçlarını Sınırlandır
Daraltılmış: