全学科精准查询匹配指导
不限 计算机:理论方法 计算机:控制论 计算机:信息系统 计算机:硬件 计算机:软件工程 计算机:跨学科应用 材料科学:综合 化学综合 工程:宇航 工程:生物医学 冶金工程 显微镜技术 工程:综合 计算机:人工智能 应用化学 物理化学 材料科学:复合 工程:化工 机器人学 结构与建筑技术 材料科学:硅酸盐 工程:机械 生物工程与应用微生物 工程:电子与电气 分析化学 奶制品与动物科学 核科学技术 电信学 自动化与控制系统 材料科学:纸与木材 生化与分子生物学 能源与燃料 工程:工业 光学 无机化学与核化学 仪器仪表 工程:土木 材料科学:表征与测试 矿业与矿物加工 食品科技 农业工程 生物物理 生化研究方法 工程:海洋 工程:地质 工程:环境 材料科学:生物材料 电化学 有机化学 数学跨学科应用 工程:制造 数学与计算生物学 应用数学 农业综合 生物学 牙科与口腔外科 细胞与组织工程 林学 材料科学:纺织 力学 农业经济与政策 矿物学 遥感 热力学 学科教育 声学 运输科技 成像科学与照相技术 纳米科技 农艺学 自然地理 核医学 高分子科学 材料科学:膜 环境科学 工程:大洋 医学:研究与实验 药物化学 物理:数学物理 天文与天体物理 工程:石油 运筹学与管理科学 内分泌学与代谢 晶体学 绿色可持续发展技术 地球科学综合
FORMAL METHODS IN SYSTEM DESIGN
系统设计中的正式方法报告了设计、实现和验证硬件(VLSI)和软件系统正确性的最新正式方法。读者会发现高质量的原始论文描述了研究和发展的各个方面。该期刊的贡献是为了开发一个重要的、非常有用的、通常适用的正式方法集合,这些方法将对未来的设计环境和设计方法产生重大影响。...
所属栏目:SCI期刊 研究方向:工程技术 学科领域:计算机:理论方法 中科院分区:4区 IF分值:0.787 热度:729
密码学是世界上唯一一本研究历史、技术和当今世界上最重要的智能形式——通信智能的影响的学术期刊。它促进了密码学各个方面的研究——技术方面、历史方面、教育方面和文化方面。历史论文可能涵盖从古代到今天的主题,并阐明密码学在世界任何地方的作用。它们可能是深度论文,包含大量“来自档案”的简...
所属栏目:SCI期刊 研究方向:工程技术 学科领域:计算机:理论方法 中科院分区: IF分值:0.417 热度:911
Advances in Mathematics of Communications
《通信数学进展》(AMC)出版与通信技术应用相关的所有数学和计算机科学领域中质量最高的原始研究论文。因此,我们邀请许多数学领域的人提交论文,只要他们表现出高水平的原创性、新技术、创新的方法、新颖的方法,或者以其他方式表现出高水平的深度和复杂性。任何不符合这些标准的作品都将被拒绝。涵盖的...
所属栏目:SCI期刊 研究方向:工程技术 学科领域:计算机:理论方法 中科院分区: IF分值:0.879 热度:896
ACM Transactions on Computational Logic
ACM计算逻辑事务欢迎提交与计算机科学主题相关的所有方面的逻辑。这一领域在计算机科学方面有着悠久的传统。逻辑在计算机科学中继续发挥着重要的作用,并已渗透到它的几个领域,包括人工智能、计算复杂性、数据库系统和编程语言。该杂志的编辑委员会寻求并希望吸引高质量的提交在上述所有领域的计算逻辑...
所属栏目:SCI期刊 研究方向:工程技术 学科领域:计算机:理论方法 中科院分区: IF分值:0.448 热度:1063