Yazar
Giese, Holger. editor.
Format:
Electronic Resources
Alıntı:
Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK
Yazar
Parisi-Presicce, Francesco. editor.
Format:
Electronic Resources
Alıntı:
Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila
View Other Search Results
Yazar
Echahed, Rachid. editor.
Format:
Electronic Resources
Alıntı:
Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as
Yazar
Demri, Stéphane. editor.
Format:
Electronic Resources
Alıntı:
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna
Yazar
Dowek, Gilles. editor.
Format:
Electronic Resources
Alıntı:
Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of
Yazar
Sinz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as
Yazar
Barkatou, Moulay. editor.
Format:
Electronic Resources
Alıntı:
, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25
Yazar
Cazenave, Tristan. editor.
Format:
Electronic Resources
Alıntı:
Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on
Yazar
Gu, Qianping. editor.
Format:
Electronic Resources
Alıntı:
Hell, Pavol. editor.
Yazar
Kaykobad, Mohammad. editor.
Format:
Electronic Resources
Alıntı:
Computation, WALCOM 2016, held in Kathmandu, Nepal, in March 2016. The 27 full papers presented together with
Yazar
Pop, Mihai. editor.
Format:
Electronic Resources
Alıntı:
Bioinformatics, WABI 2015, held in Atlanta, GA, USA, in September 2015. The 23 full papers presented were
Yazar
Pinson, Eric. editor.
Format:
Electronic Resources
Alıntı:
Research and Enterprise Systems, ICORES 2014, held in Angers, France, in March 2014. The 18 revised full
Arama Sonuçlarını Sınırlandır
Daraltılmış: