30 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Ehrig, Hartmut. author.
Format:
Electronic Resources
Alıntı:
Graph and Model Transformation General Framework and Applications / Ehrig, Hartmut. author.
Yazar
Cheung, King Sing. author.
Format:
Electronic Resources
Alıntı:
Augmented Marked Graphs Cheung, King Sing. author.
View Other Search Results
Yazar
Kosowski, Adrian. editor.
Format:
Electronic Resources
Alıntı:
Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August
Yazar
Tian, Cong. editor.
Format:
Electronic Resources
Alıntı:
; graph theory; model checking; modeling and specification; and verification and validation.
Yazar
Guerra, Esther. editor. (orcid)0000-0002-2818-2278
Format:
Electronic Resources
Alıntı:
Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven
Yazar
Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799
Format:
Electronic Resources
Alıntı:
algorithm and graph theory, combinatorial optimization, game theory, and applications.
Yazar
Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799
Format:
Electronic Resources
Alıntı:
algorithm and graph theory, combinatorial optimization, game theory, and applications.
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
MSVL -- Present-Future Form Graph of Linear Time μ-Calculus -- Prototype Tool for Supporting A Formal
Yazar
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917
Format:
Electronic Resources
Alıntı:
comprehensive introduction to bidirectional transformations, they deal with triple graph grammars, modular edit
Yazar
Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713
Format:
Electronic Resources
Alıntı:
Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA
Yazar
Heckel, Reiko. editor.
Format:
Electronic Resources
Alıntı:
Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig / Heckel, Reiko. editor.
Yazar
Alves, Ronnie. editor. (orcid)0000-0003-4139-0562
Format:
Electronic Resources
Alıntı:
Transpositions -- Graph databases in Molecular Biology -- ViMT - Development of a Web-based Vivarium Management
30 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: