不限 计算机：理论方法 计算机：控制论 计算机：信息系统 计算机：硬件 计算机：软件工程 计算机：跨学科应用 材料科学：综合 化学综合 工程：宇航 工程：生物医学 冶金工程 显微镜技术 工程：综合 计算机：人工智能 应用化学 物理化学 材料科学：复合 工程：化工 机器人学 结构与建筑技术 材料科学：硅酸盐 工程：机械 生物工程与应用微生物 工程：电子与电气 分析化学 奶制品与动物科学 核科学技术 电信学 自动化与控制系统 材料科学：纸与木材 生化与分子生物学 能源与燃料 工程：工业 光学 无机化学与核化学 仪器仪表 工程：土木 材料科学：表征与测试 矿业与矿物加工 食品科技 农业工程 生物物理 生化研究方法 工程：海洋 工程：地质 工程：环境 材料科学：生物材料 电化学 有机化学 数学跨学科应用 工程：制造 数学与计算生物学 应用数学 农业综合 生物学 牙科与口腔外科 细胞与组织工程 林学 材料科学：纺织 力学 农业经济与政策 矿物学 遥感 热力学 学科教育 声学 运输科技 成像科学与照相技术 纳米科技 农艺学 自然地理 核医学 高分子科学 材料科学：膜 环境科学 工程：大洋 医学：研究与实验 药物化学 物理：数学物理 天文与天体物理 工程：石油 运筹学与管理科学 内分泌学与代谢 晶体学 绿色可持续发展技术 地球科学综合
-
Journal of Logical and Algebraic Methods in Programming
《程序设计中的逻辑和代数方法》是一份国际性的期刊，旨在发表高质量的原创研究论文、调查和评论文章、教程演示以及历史研究，内容涉及逻辑和代数方法和技术，以确保程序的正确性和可执行性，以及一般的计算系统。所有方面都将包括，特别是理论和基础，实施问题，以及涉及新思想的应用。杂志感兴趣的主...
所属栏目：SCI期刊 研究方向：工程技术 学科领域：计算机：理论方法 中科院分区：4区 IF分值：0.632 热度：39
-
《计算系统理论》致力于发表计算机理论科学各个领域的原创研究成果，从计算复杂性等基础领域，到算法和数据结构等基础领域，到并行和分布式算法和体系结构等重点领域。主题包括以下项目的理论方面:·代数方法·算法博弈论·算法信息论·算法和数据结构·算法分析·应用图论·难问题的近似算法·近似算法·自...
所属栏目：SCI期刊 研究方向：工程技术 学科领域：计算机：理论方法 中科院分区：4区 IF分值：0.603 热度：47
-
Problems of Information Transmission
信息传输问题是通信系统研究和开发的各个领域的研究人员所关心的问题。本季刊以统计信息论为特色;编码理论与技术;嘈杂的渠道;误差检测与校正;信号检测、提取和分析;通信网络分析;优化处理和路由;随机过程理论;和仿生学。...
所属栏目：SCI期刊 研究方向：工程技术 学科领域：计算机：理论方法 中科院分区：4区 IF分值：0.557 热度：40
-
JOURNAL OF LOGIC AND COMPUTATION
逻辑几乎在信息技术的所有方面都得到了应用，从软件工程和硬件到编程和人工智能。事实上，逻辑、人工智能和理论计算相互影响，一个新的跨学科的逻辑和计算领域正在出现。《逻辑与计算》杂志旨在促进逻辑与计算的发展，其中包括以下几个领域的兴趣:逻辑系统，如古典与非古典逻辑、建构逻辑、范畴逻辑、...
所属栏目：SCI期刊 研究方向：工程技术 学科领域：计算机：理论方法 中科院分区：4区 IF分值：0.509 热度：418
-
FORMAL METHODS IN SYSTEM DESIGN
系统设计中的正式方法报告了设计、实现和验证硬件（VLSI）和软件系统正确性的最新正式方法。读者会发现高质量的原始论文描述了研究和发展的各个方面。该期刊的贡献是为了开发一个重要的、非常有用的、通常适用的正式方法集合，这些方法将对未来的设计环境和设计方法产生重大影响。...
所属栏目：SCI期刊 研究方向：工程技术 学科领域：计算机：理论方法 中科院分区：4区 IF分值：0.787 热度：365
