[1] |
王阳, 方竟成, 蔡雄, 张志鹏, 蔡喁, 缪炜恺. 一种面向嵌入式操作系统的形式化验证方法[J]. 华东师范大学学报(自然科学版), 2024, 2024(4): 1-17. |
[2] |
程晓亮, 王博, 郝毅红. Cartan-Egg域与复欧氏空间的不相关性[J]. 华东师范大学学报(自然科学版), 2023, 2023(4): 43-51. |
[3] |
周晓旭, 刘迎风, 付英男, 朱仁煜, 高明. 网络顶点表示学习方法[J]. 华东师范大学学报(自然科学版), 2020, 2020(5): 83-94. |
[4] |
吕长青. 上可嵌入图与次上可嵌入图的线性荫度[J]. 华东师范大学学报(自然科学版), 2015, 2015(1): 131-135. |
[5] |
任 韩, 晁福刚. Thomassen与曲面嵌入图的着色[J]. 华东师范大学学报(自然科学版), 2014, 2014(3): 1-7, 39. |
[6] |
吕长青, 房永磊. 较大亏格曲面嵌入图的线性荫度[J]. 华东师范大学学报(自然科学版), 2013, 2013(1): 7-10, 23. |
[7] |
赵雯洲, 施莉骅, 吴 昊, 任 韩. K7在环面上的嵌入[J]. 华东师范大学学报(自然科学版), 2012, 2012(3): 6-12,40. |
[8] |
镡松龄 任 韩. Cm,n的最小亏格与Km,n的强嵌入[J]. 华东师范大学学报(自然科学版), 2011, 2011(2): 17-21. |
[9] |
吴甬翔;李 刚;李浩玲;任 韩. 图的局部连通性与上可嵌入性[J]. 华东师范大学学报(自然科学版), 2011, 2011(2): 22-31. |
[10] |
曹 倪; 刘 坭; 任 韩. 无赋权的LEW嵌入的图[J]. 华东师范大学学报(自然科学版), 2010, 2010(6): 137-141. |
[11] |
任韩;李刚. 图的最大亏格综述[J]. 华东师范大学学报(自然科学版), 2010, 2010(5): 1-13. |
[12] |
吕长青;任 韩. 近三角剖分图的最大亏格与1-因子[J]. 华东师范大学学报(自然科学版), 2006, 2006(5): 66-71. |
[13] |
吕长青, 任 韩. 近三角剖分图的最大亏格与1-因子[J]. 华东师范大学学报(自然科学版), 2006, 2006(5): 66-71. |
[14] |
高岩波;任 韩. 独立集中具有最小特定度和的点的上可嵌入图类(英)[J]. 华东师范大学学报(自然科学版), 2006, 2006(3): 37-43. |
[15] |
李外云;胡文静;刘锦高. 基于Sistang的嵌入式Linux手持设备的GSM和GPS应用研究[J]. 华东师范大学学报(自然科学版), 2006, 2006(3): 120-125. |