数据学习
AI博客
原创AI博客
大模型技术博客
AI资源仓库
AI领域与任务
AI研究机构
AI学术期刊
AI论文快讯
AI数据集
AI开源工具
数据推荐
AI大模型
国产AI大模型生态全览
AI模型概览图
AI模型月报
AI基础大模型
AI大模型排行榜
业界大模型评测基准
大模型综合能力排行榜
大模型编程能力排行榜
LMSys ChatBot Arena排行榜
Berkeley大模型工具使用能力排行榜
OpenLLMLeaderboard中国站
AI大模型大全
大模型部署教程
学术世界
学术世界
期刊出版社
领域期刊
SCI/SCIE/SSCI/EI简介
期刊列表
会议列表
学术期刊信息检索
JCR期刊分区查询
CiteScore期刊分区查询
中科院期刊分区查询
管理 - UTD24期刊列表
管理 - AJG(ABS)期刊星级查询
管理 - FMS推荐期刊列表
计算机 - CCF推荐期刊会议列表
南大核心(CSSCI)
合工大小核心
合工大大核心
2023年度AI产品总结
AI大模型工具导航
AI大模型工具导航网站
在线聊天大模型列表
期刊列表
Software - Practice and Experience
Issue 175
Software - Practice and Experience
(SPE)
-
Issue 175
论文列表
点击这里查看 Software - Practice and Experience 的JCR分区、影响因子等信息
卷期号:
Issue 175
发布时间:
卷期年份:
1990
卷期官网:
本期论文列表
Formal Verification of Safety-critical Systems.
原文链接
谷歌学术
必应学术
百度学术
LR Parsing of CFGs with Restrictions.
原文链接
谷歌学术
必应学术
百度学术
Live Text.
原文链接
谷歌学术
必应学术
百度学术
Optimization Techniques for Parallel Processing.
原文链接
谷歌学术
必应学术
百度学术
Synchronization of Nested Atomic Actions.
原文链接
谷歌学术
必应学术
百度学术
Lazy Recursive Descent Parsing for Modular Language Implementation.
原文链接
谷歌学术
必应学术
百度学术