Yazar
Davis, Jesse. editor.
Format:
Electronic Resources
Alıntı:
Learning in Large Biological Networks -- Construction of Complex Aggregates with Random Restart
Yazar
Silva, Alexandra. editor.
Format:
Electronic Resources
Alıntı:
droning -- The athlete tore a muscle: English Locative Subjects in the Extra Argument Construction -- An
Yazar
Göbel, Susanne. author.
Format:
Electronic Resources
Alıntı:
Petri Net -- Translating Mobile Ambient Processes into Safe Petri Nets – Complete Construction -- From
Yazar
Bertogna, Marko. editor.
Format:
Electronic Resources
Alıntı:
-- Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development -- Extension of the
Yazar
Maletti, Andreas. editor.
Format:
Electronic Resources
Alıntı:
: Properties and Construction -- Effective Invariant Theory of Permutation Groups using Representation Theory
Yazar
Özçep, Özgür Lütfü. author.
Format:
Electronic Resources
Alıntı:
Formal specifications are an important tool for the construction, verification and analysis of
Yazar
Lanese, Ivan. editor.
Format:
Electronic Resources
Alıntı:
Language -- Compositional Approaches -- Verified Service Compositions by Template-Based Construction
Yazar
Shao, Zhong. editor.
Format:
Electronic Resources
Alıntı:
Programming -- The Duality of Construction -- Deriving Pretty-Big-Step Semantics from Small-Step Semantics
Yazar
Stevens, Perdita. editor.
Format:
Electronic Resources
Alıntı:
solvers -- Automated Model Merge by Design Space Exploration -- RuleMerger: Automatic Construction of
Yazar
Rayadurgam, Sanjai. editor.
Format:
Electronic Resources
Alıntı:
Architecture for Correct-by-Construction Hybrid Planning and Control.
Yazar
Dowek, Gilles. editor.
Format:
Electronic Resources
Alıntı:
Interpretations -- Confluence by Critical Pair Analysis -- Proof Terms for Infinitary Rewriting -- Construction of
Yazar
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.
Arama Sonuçlarını Sınırlandır
Daraltılmış: