Yazar
Barrett, Clark. editor. (orcid)0000-0002-9522-3084
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Wirsing, Martin. editor.
Format:
Electronic Resources
Alıntı:
and Awareness in Robot Ensembles: Scenarios and Algorithms -- The Autonomic Cloud -- The E-mobility
Yazar
Calinescu, Radu. editor.
Format:
Electronic Resources
Alıntı:
of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and
Yazar
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games -- Counterexample Validation and
Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
-- Reasoning about call-by-need by means of types -- Algorithms for Infinite Systems Coverability Trees for
Yazar
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Algorithms -- A Model-based Transformation Approach to Reuse and Retarget CASM Specifications -- Modeling a
Arama Sonuçlarını Sınırlandır
Daraltılmış: