Yazar
Cunha, Jácome. editor. (orcid)0000-0002-4713-3834
Format:
Electronic Resources
Alıntı:
programming and programming languages -- Model synchronization management of software product families
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
Process Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local
View Other Search Results
Yazar
Gheorghe, Marian. editor.
Format:
Electronic Resources
Alıntı:
in Membrane Systems Computations -- Families of Languages Encoded by SN P Systems -- On the Robust
Yazar
Dastani, Mehdi. editor.
Format:
Electronic Resources
Alıntı:
-- Bisimilarity of Open Terms in Stream GSOS -- Composing Families of Timed Automata -- A Core Calculus for Multi
Yazar
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
Format:
Electronic Resources
Alıntı:
Reasoning about Model Families over Space and Time -- Facilitating the Co-Evolution of Standards and Models
Yazar
Huisman, Marieke. editor.
Format:
Electronic Resources
Alıntı:
Linear Optimization Techniques -- GTS Families for the Flexible Composition of Graph Transformation
Yazar
Day, Adam. editor.
Format:
Electronic Resources
Alıntı:
Families in Reverse Mathematics -- The Vitali Covering Theorem in the Weihrauch Lattice -- Parallel and
Arama Sonuçlarını Sınırlandır
Daraltılmış: