电子技术与软件工程,2019(16):172-173. [3]张果•计算机软件工程现代化技术的发展现状与对炙[J].电子技术与软件工程,2019(16):57-58. 作者简介 :王小可(2000-),男,山东省临沂市人。大学本科学历。主要研究方向为软件工程。
类别如下计算机系统与高性能计算,计算机网络,网络与信息安全,软件工程,系统软件与程序设计语言,数据库、数据挖掘与内容检索,计算机科学理论,计算机图形学与多媒体,人工智能与模式识别,人机交互与普适计算,前沿、交叉与综合 中国计算机学会推荐国际学术会议 (计算机系统与高 ...
逻辑与计算杂志 英国 55 ACM SIGPLAN notices 美国计算机学会程序设计语言专业组通讯 美国 56 Computers in industry 工业用计算机 荷兰 57 The Journal of logic and algebraic programming 逻辑与代数程序设计杂志 美国 58 IEE …
【计算机应用与软件】由【上海市计算技术研究所;上海计算机软件技术开发中心】主办,【上海科学院】主管的期刊,创立于【1984】年,属于【, 统计源期刊】
直觉主义计算树逻辑中的安全性和活性 鲍秋霜1+,张晋津2 1. 南京航空航天大学 计算机科学与技术学院,南京 210016 2. 南京审计学院 计算机科学与技术系,南京 211815 Safety and Liveness in Intuitionistic Computing Tree Logic BAO …
《计算机应用与软件》创刊于1984年,由上海市计算技术研究所和上海计算机软件技术开发中心共同主办,是全国中文核心期刊(2020)、上海市计算机学会会刊,并已纳入《中国科技论文统计源期刊(中国科技核心期刊)》、《中国学术期刊综合评价数据库来源期刊》、《万方数据—数字化期刊群全文收录 ...
逻辑漏洞检测与软件行为分析关键技术研究. 何博远. 【摘要】: 计算机与互联网技术的快速发展,带来了一场计算机软件领域的技术革命。. 从PC时代的单机软件,到互联网时代的分布式软件,再到如今云计算时代倡导的软件服务,计算机软件的应用得到了前所未有的 ...
计算机软件工程技术中的逻辑应用探讨摘要: 摘要:计算机与逻辑学之间存在着紧密的联系,学科之间的渗透是当代科学发展的一个重要趋势。本文主要探讨逻辑学在软件工程开发中的应用问题。由于软件工程技术所步及的内容比较广泛,因而,本文只是选取软件工程技术…
山东省自然科学基金、ZR2014FM009、扩展逻辑工作流网理论及其在组织间业务过程协同中的应用研究、2014.12-2017.12、16万元、项目负责人 4. 山东省高等学校科技计划项目、J12LN11、逻辑Petri网组合性质及其在分布式协同工作流中的应用、2012.6-2015 5.
形式逻辑是一门历史悠久且具有强大生命力的科学。《形式逻辑(重版)》为“高等师范专科教材”系列中的一本,从概念、判断、逻辑思维基本规律、演绎推理、归纳推理、类比推理、假说、论证这几方面来阐述了形式逻辑的基本理论及研究对象。
《计算机学报》《软件学报》《计算机研究与发展》三大中文学报共同点:①都是EI核心来源期刊;②中国计算机学会参与主办会刊;③科学出版社出版发行;④可接受...
回答:any,我想可能是或的关系,只要找到关键词中的any任何一个即可。
《计算机应用与软件》创刊于1984年,由上海市计算技术研究所和上海计算机软件技术开发中心共同主办,是全国中文核心期刊(2020)、上海市计算机学会会刊,并已纳入《中国科技论文...
【计算机应用与软件】_计算逻辑_期刊发文热词逐年推荐_20140726
逻辑与经验的张力-重庆工商大学学术期刊社2015年10月重庆工商大学学报(社会科学版)第32卷第5期Oct.2015JournalofChongqingTechnologyandBusinessUniversity(SocialSciencesEditi...
9.JOURNALOFLOGICANDCOMPUTATION《逻辑与计算杂志》BimonthlyISSN:0955-792XOXFORDUNIVPRESS,GREATCLARENDONST,OXFORD,ENGLAND,OX26DP1.Scienc...
APPLIEDSOFTCOMPUTING《应用软计算》(月刊),是一本国际性刊物,致力于推广软计算的综合观,以解决现实生活中的问题。杂志重点是在模糊逻辑、神经网络、进化计算、粗糙集和其...
计算机应用与软件杂志,月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:软件技术与研究、数据工程、应用技术与研究等。于1984年经新闻总署批准的正规刊物。主管单...
是不是不太清楚自己想投的目标期刊是否属于SCI?ClarivateAnalytics作为汤森...它们可以检查你的语言错误,但语句表达的含义没有变,上下文衔接的逻辑没有变...该软件最多可免费提供...
6月29日,科睿唯安公布了2019年度《期刊引证报告》(JCR2019)。今天,我们来看看这本SCI期刊:MilitaryMedicalResearch:这本国产英文OA期刊,免出版费,去年刚被SC...