Yazar
Omodeo, Eugenio G. author.
Format:
Electronic Resources
Alıntı:
Graph Theory. http://scigraph.springernature.com/things/product-market-codes/M29020
Yazar
Tian, Cong. editor.
Format:
Electronic Resources
Alıntı:
; graph theory; model checking; modeling and specification; and verification and validation.
View Other Search Results
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
Shi, Guoyong. author.
Format:
Electronic Resources
Alıntı:
Implementation -- Generalized Two-Graph Theory -- Graph-Pair Decision Diagram -- Hierarchical Analysis Methods
Yazar
Huisman, Marieke. editor.
Format:
Electronic Resources
Alıntı:
Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden
Yazar
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
Format:
Electronic Resources
Alıntı:
Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan
Yazar
Weil, Pascal. editor.
Format:
Electronic Resources
Alıntı:
Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia
Yazar
Yang, Hongseok. editor.
Format:
Electronic Resources
Alıntı:
of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden
Yazar
Hoshi, Mizuho. editor.
Format:
Electronic Resources
Alıntı:
Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10
Yazar
Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829
Format:
Electronic Resources
Alıntı:
interference on application performance -- GT-Race: Graph Traversal based Data Race Detection for Asynchronous
Arama Sonuçlarını Sınırlandır
Daraltılmış: