Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
View Other Search Results
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
Herzig, Andreas. editor. (orcid)0000-0003-0833-2782
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
Yazar
Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Hague, Matthew. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Hospodár, Michal. editor.
Format:
Electronic Resources
Alıntı:
-- New Algorithms for Manipulating Sequence BDDs -- A Simple Extension to Finite Tree Automata for
Yazar
Badger, Julia M. editor.
Format:
Electronic Resources
Alıntı:
-- Design for verification, and property based design techniques -- Techniques and algorithms for scaling
Yazar
Tian, Cong. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
Combining Matching Algorithms -- Presburger Concept Cardinality Constraints in Very Expressive Description
Yazar
Karydis, Ioannis. editor.
Format:
Electronic Resources
Alıntı:
Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
: Parameterized Model Checking of Threshold-Based Distributed Algorithms -- Skipping Refinement -- Quantitative
Arama Sonuçlarını Sınırlandır
Daraltılmış: