Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- 辅酶q10 24 Treffer
- coenzyme q10 18 Treffer
- formal verification 18 Treffer
- coq 16 Treffer
- coq10 11 Treffer
-
45 weitere Werte:
- 形式化验证 9 Treffer
- 法国 6 Treffer
- 质量成本 6 Treffer
- theorem proving 5 Treffer
- apoptosis 4 Treffer
- mitochondria 4 Treffer
- 线粒体 4 Treffer
- 世界 3 Treffer
- 丝绸之路 3 Treffer
- 他汀类药物 3 Treffer
- 大鼠 3 Treffer
- 形式化方法 3 Treffer
- 新疆 3 Treffer
- 模型 3 Treffer
- 氧化应激 3 Treffer
- corpus 2 Treffer
- formal method 2 Treffer
- formal methods 2 Treffer
- formal proof 2 Treffer
- lipid peroxidation 2 Treffer
- matrix 2 Treffer
- metabolism 2 Treffer
- operating system 2 Treffer
- platelet 2 Treffer
- preparation 2 Treffer
- response surface methodology 2 Treffer
- rhodobacter sphaeroides 2 Treffer
- rhodopseudomonas palustris 2 Treffer
- synthesis 2 Treffer
- verification 2 Treffer
- 中国 2 Treffer
- 企业 2 Treffer
- 免疫功能 2 Treffer
- 公鸡 2 Treffer
- 关键酶 2 Treffer
- 创新 2 Treffer
- 制备 2 Treffer
- 制造商 2 Treffer
- 历史文化 2 Treffer
- 古代中国 2 Treffer
- 合成 2 Treffer
- 吐火罗语 2 Treffer
- 吐鲁番地区 2 Treffer
- 吐鲁番文书 2 Treffer
- 品牌 2 Treffer
Publikation
- journal of software 15 Treffer
- 软件学报 15 Treffer
- coal and chemical industry 7 Treffer
- 煤炭与化工 7 Treffer
- 世界高尔夫 6 Treffer
-
45 weitere Werte:
- textile information weekly 5 Treffer
- 纺织服装周刊 5 Treffer
- automobile science and technology 4 Treffer
- computer applications and software 4 Treffer
- mini-micro systems 4 Treffer
- 小型微型计算机系统 4 Treffer
- 汽车科技 4 Treffer
- 计算机应用与软件 4 Treffer
- china appliance 3 Treffer
- china textile & apparel 3 Treffer
- the western regions studies 3 Treffer
- world journal of gastrointestinal surgery 3 Treffer
- 世界胃肠外科杂志:英文版(电子版) 3 Treffer
- 中国纺织 3 Treffer
- 中国计算机科学前沿:英文版 3 Treffer
- 中西医结合心脑血管病杂志 3 Treffer
- 电器 3 Treffer
- 西域研究 3 Treffer
- biology teaching 2 Treffer
- china chemical trade 2 Treffer
- china fruit and vegetable 2 Treffer
- china quality 2 Treffer
- chinese journal of andrology 2 Treffer
- chinese journal of integrative medicine on cardio-cerebrovascular disease 2 Treffer
- chinese journal of obstetrics and gynecology 2 Treffer
- chinese journal of pharmacology and toxicology 2 Treffer
- computer engineering 2 Treffer
- computer science 2 Treffer
- frontiers of computer science in china 2 Treffer
- guangdong chemical industry 2 Treffer
- guide of china medicine 2 Treffer
- health vocational education 2 Treffer
- journal of computer research and development 2 Treffer
- journal of computer science and technology 2 Treffer
- journal of tianjin institute of physical education 2 Treffer
- market modernization 2 Treffer
- mechanical engineer 2 Treffer
- mobile communications 2 Treffer
- northwest water power 2 Treffer
- overseas english 2 Treffer
- progress in modern biomedicine 2 Treffer
- reform & openning 2 Treffer
- science & technology review 2 Treffer
- science bulletin 2 Treffer
- social science front bimonthly 2 Treffer
366 Treffer
-
In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2150academicJournalZugriff:
-
In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2224academicJournalZugriff:
-
In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2208academicJournalZugriff:
-
In: 软件学报 / Journal of Software, Jg. 32 (2021), Heft 6, S. 1882academicJournalZugriff:
-
In: 伊犁师范学院学报:自然科学版 / Journal of Yili Normal University:Natural Science Edition, Jg. 14 (2020), Heft 2, S. 13academicJournalZugriff:
-
In: 软件学报 / Journal of Software, Jg. 31 (2020), Heft 8, S. 2362academicJournalZugriff:
-
In: 软件学报 / Journal of Software, Jg. 31 (2020), Heft 8, S. 2375academicJournalZugriff:
-
In: 计算机科学 / Computer Science, Jg. 47 (2020), Heft 12, S. 311academicJournalZugriff:
-
In: 软件学报 / Journal of Software, Jg. 28 (2017), Heft 4, S. 819academicJournalZugriff:
-
In: 计算机应用与软件 / Computer Applications and Software, Jg. 33 (2016), Heft 8, S. 7academicJournalZugriff:
-
In: 计算机工程 / Computer Engineering, Jg. 41 (2015), Heft 3, S. 53academicJournalZugriff:
-
In: 小型微型计算机系统 / Mini-micro Systems, Jg. 36 (2015), Heft 9, S. 1927academicJournalZugriff:
-
In: 生物技术通报 / Biotechnology Bulletin, Jg. 31 (2015), Heft 12, S. 207academicJournalZugriff:
-
In: 食品与生物技术学报 / Journal of Food Science and Biotechnology, Jg. 40 (2021), Heft 2, S. 32academicJournalZugriff:
-
In: 计算机科学技术学报:英文版 / Journal of Computer Science and Technology, Jg. 36 (2021), Heft 6, S. 1291Online academicJournalZugriff:
-
In: 计算机应用 / journal of Computer Applications, Jg. 32 (2012), Heft 2, S. 96academicJournalZugriff:
-
In: 计算机应用与软件 / Computer Applications and Software, Jg. 32 (2015), Heft 10, S. 10academicJournalZugriff:
-
In: 电子技术（上海）, 2015, Heft 9, S. 86academicJournalZugriff:
-
In: 中西医结合心脑血管病杂志 / Chinese Journal of Integrative Medicine on Cardio-Cerebrovascular Disease, Jg. 19 (2021), Heft 24, S. 4383academicJournalZugriff:
-
In: 商场现代化 / Market Modernization, 2015, Heft 22, S. 20academicJournalZugriff: