精准查询专业学术顾问一对一为您服务
FORMAL METHODS IN SYSTEM DESIGN
系统设计中的正式方法报告了设计、实现和验证硬件(VLSI)和软件系统正确性的最新正式方法。读者会发现高质量的原始论文描述了研究和发展的各个方面。该期刊的贡献是为了开发一个重要的、非常有用的、通常适用的正式方法集合,这些方法将对未来的设计环境和设计方法产生重大影响。...
所属栏目:SCI期刊 研究方向:工程技术 学科领域:计算机:理论方法 中科院分区:4区 IF分值:0.787 热度:452
这本杂志的目的是在理论和实践的结合点发表论文。目的是传播适用研究。因此,新的理论贡献在潜在应用的激励下是受欢迎的;如果现有形式的应用在方法或应用方面显示出一些新的东西,那么它们就会受到关注。术语“形式方法”已应用于一系列符号、理论和工具。毫无疑问,其中一些已经对计算的实际应用产生...
所属栏目:SCI期刊 研究方向:工程技术 学科领域:计算机:软件工程 中科院分区:4区 IF分值:0.784 热度:720
自1925年以来,加拿大林业研究所的官方期刊,在世界范围内备受尊敬加拿大林业研究所自1925年以来出版了《林业编年史》,这是一本专业和科学的林业杂志。出版《林业编年史》是为了向森林从业人员提供关于森林及其资源的专业和科学管理的资料。《林业纪事》为加拿大和世界各地的森林从业人员提供了一种与专...
所属栏目:SCI期刊 研究方向:农林科学 学科领域:林学 中科院分区:4区 IF分值:0.8 热度:423
森林产品杂志(FPJ)是行业领导者、研究人员、教师、学生以及对当今森林产品行业感兴趣的所有人的信息来源。《森林产品杂志》因在应用或实践层面发表高质量同行评审的技术研究成果而备受尊敬,这些研究成果反映了木材科学技术的现状。适合作为技术说明的文章是简要说明(一般不超过1200字),描述新的或...
所属栏目:SCI期刊 研究方向:农林科学 学科领域:林学 中科院分区:4区 IF分值:0.609 热度:499
食品技术是涉及食品科学和技术各个方面的领先出版物。它深入而平衡的报道包括最新的研究进展、行业新闻、消费品创新和专业机会。...
所属栏目:SCI期刊 研究方向:工程技术 学科领域:食品科技 中科院分区:4区 IF分值:0.153 热度:678
FOOD SCIENCE AND TECHNOLOGY RESEARCH
日本食品科学技术学会出版...
所属栏目:SCI期刊 研究方向:工程技术 学科领域:食品科技 中科院分区:4区 IF分值:0.448 热度:1196
FOOD SCIENCE AND BIOTECHNOLOGY
食品科学和生物技术(食品科学;生物技术;FSB),由韩国食品科学与技术协会(Kosfost)每两个月出版的国际期刊,提供食品科学与技术物理、化学、生物和健康方面的原始研究结果,以及与食品科学和生物技术相关的综述。自2003年起,FSB已被纳入当前的内容和科学引文索引扩展(SCIE)。自2008年9月起,金融稳定委...
所属栏目:SCI期刊 研究方向:工程技术 学科领域:食品科技 中科院分区: IF分值:0.888 热度:1059
《食品生物技术》是一本国际性的同行评议期刊,主要关注现代遗传学、酶、代谢和基于系统的生物化学过程在食品和食品相关生物系统中的最新发展和应用。其目标是在加工阶段以及农业生产之外帮助生产和改进食品、食品配料和功能性食品。其他感兴趣的领域包括微生物和基于发酵的代谢处理,以改善食品、食品...
所属栏目:SCI期刊 研究方向:工程技术 学科领域:生物工程与应用微生物 中科院分区: IF分值:0.676 热度:449