《Formal Methods In System Design》是一本由SPRINGER出版商出版的专业工程技术期刊,该刊创刊于1992年,刊期Bimonthly,该刊已被国际权威数据库SCIE收录。在中科院最新升级版分区表中,该刊分区信息为大类学科:工程技术 4区,小类学科:计算机:理论方法 4区;在JCR(Journal Citation...
《Network-computation In Neural Systems》是一本由TAYLOR & FRANCIS INC出版商出版的专业工程技术期刊,该刊创刊于1990年,刊期Quarterly,该刊已被国际权威数据库SCIE、SCI收录。在中科院最新升级版分区表中,该刊分区信息为大类学科:计算机科学 4区,小类学科:计算机:人工智能...
《Cirp Journal Of Manufacturing Science And Technology》是一本由ELSEVIER出版商出版的专业工程技术期刊,该刊创刊于2008年,刊期4 issues/year,该刊已被国际权威数据库SCIE收录。在中科院最新升级版分区表中,该刊分区信息为大类学科:工程技术 3区,小类学科:工程:制造...