- 1、本文档共43页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
国际A类期刊
国际A类期刊
计算机国际期刊zz
一、程序语言和软件工程
权威期刊类:
ACM Trans on Programming Languages Systems
Annals of Software Engineering
IEEE Trans on Software Engineering
Jnl of Functional Programming
ACM Trans on S/W Eng and Methodology
Formal Methods in System Design
著名期刊类:
The Jnl of Logic Programming
IEEE Procs - Software
Jnl of Software Maintenance: Research and Practice
Higher-Order and Symbolic Computation (previously known as LISP and Symbolic Computation)
Software: Practice and Experience
Jnl of Functional and Logic Programming
The Constraints Journal
Journal of Logic and Computation
Journal of Programming Languages
Empirical Software Engineering
Automated Software Engineering
Formal Aspects of Computing
Object-Oriented Systems
Theory and Practice of Object Systems
Journal of Object-Oriented Programming
IEEE Transactions on Reliability
Future Generations Computer Systems: FGCS
Programming and Computer Software
Science of Computer Programming
Jnl of Systems and Software
Intl Jnl on Software Engineering and Knowledge Eng
New Generation Computing
Software Quality Journal
Software Testing, Verification and Reliability
Computer Languages
Requirements Engineering Journal
IEEE Software Engineering Journal
其它期刊:
Journal of the Interest Group in Pure and Applied Logic
Notre Dame Journal of Formal Logic
Journal of Computer and Software Engineering
Journal of Structured Programming
International Journal on Software Tools for Technology Transfer
Chinese Journal of Advanced Software Research
Journal of Computing Systems in Engineering
Journal of Symbolic Logic
Project Management Journal
International Journal of Reliability, Quality, and Safety
Journal for Applied Nonclassical Logic
您可能关注的文档
- 幼儿蔬菜水果识字卡(配图).doc
- Lesson11Toys.ppt
- 计组.ppt
- 人教版中职数学10.1计数原理.ppt
- 11.灯光.ppt.ppt
- 外研版八上Module 11 Way of life Unit3 Language in use..ppt
- 茗邦跳舞毯电脑安装.ppt
- Unit11 Sad movies make me cry.SectionA1.ppt
- freemarker.ppt
- 11.2.1三角形的内角(第2课时).ppt
- GB/T 32151.38-2024温室气体排放核算与报告要求 第38 部分:水泥制品生产企业.pdf
- 中国国家标准 GB/T 32151.38-2024温室气体排放核算与报告要求 第38 部分:水泥制品生产企业.pdf
- 《GB/T 22069-2024燃气发动机驱动空调(热泵)机组》.pdf
- GB/T 22069-2024燃气发动机驱动空调(热泵)机组.pdf
- 中国国家标准 GB/T 22069-2024燃气发动机驱动空调(热泵)机组.pdf
- 中国国家标准 GB/T 11064.1-2024碳酸锂、单水氢氧化锂、氯化锂化学分析方法 第1部分: 碳酸锂含量的测定 滴定法.pdf
- GB/T 11064.1-2024碳酸锂、单水氢氧化锂、氯化锂化学分析方法 第1部分: 碳酸锂含量的测定 滴定法.pdf
- 《GB/T 11064.1-2024碳酸锂、单水氢氧化锂、氯化锂化学分析方法 第1部分: 碳酸锂含量的测定 滴定法》.pdf
- GB/T 1148-2024内燃机 铝活塞.pdf
- 中国国家标准 GB/T 1148-2024内燃机 铝活塞.pdf
文档评论(0)