Yazar
Bonsangue, Marcello M. editor.
Format:
Electronic Resources
Alıntı:
Adjunctions to Coalgebras to (Re)Discover Automata Constructions -- Canonical Nondeterministic Automata
Yazar
Braga, Christiano. editor.
Format:
Electronic Resources
Alıntı:
the construction of high quality computational systems, aiming to promote opportunities for
Yazar
Davis, Jesse. editor.
Format:
Electronic Resources
Alıntı:
Learning in Large Biological Networks -- Construction of Complex Aggregates with Random Restart
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
Göbel, Susanne. author.
Format:
Electronic Resources
Alıntı:
Petri Net -- Translating Mobile Ambient Processes into Safe Petri Nets – Complete Construction -- From
Yazar
Maletti, Andreas. editor.
Format:
Electronic Resources
Alıntı:
: Properties and Construction -- Effective Invariant Theory of Permutation Groups using Representation Theory
Yazar
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
Format:
Electronic Resources
Alıntı:
Framework for Verified, Model-driven Construction of Component Software.
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
Doty, David. editor. (orcid)0000-0002-3922-172X
Format:
Electronic Resources
Alıntı:
-- Freezing Simulates Non-freezing Tile Automata -- Construction of Geometric Structure by Oritatami System
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.
Arama Sonuçlarını Sınırlandır
Daraltılmış: