《Journal Of Logical And Algebraic Methods In Programming》是一本由ELSEVIER SCIENCE INC出版商出版的专业工程技术期刊,该刊创刊于2014年,刊期6 issues/year,该刊已被国际权威数据库SCI、SCIE收录。在中科院最新升级版分区表中,该刊分区信息为大类学科:计算机科学...
《Theory Of Computing》是一本由University of Chicago, Department of Computer Science出版商出版的专业工程技术期刊,该刊创刊于2005年,刊期1 issue/year,该刊已被国际权威数据库SCIE收录。在中科院最新升级版分区表中,该刊分区信息为大类学科:工程技术...
《Formal Methods In System Design》是一本由SPRINGER出版商出版的专业工程技术期刊,该刊创刊于1992年,刊期Bimonthly,该刊已被国际权威数据库SCIE收录。在中科院最新升级版分区表中,该刊分区信息为大类学科:工程技术 4区,小类学科:计算机:理论方法 4区;在JCR(Journal Citation...