基本信息 JCR分区信息 中科院分区信息 CiteScore分区信息 其它信息(AJG星级、CCF等级) 审稿周期和出版信息Science of Computer Programming 期刊信息 基本信息期刊全称 Science of Computer Programming 期刊简称 Print ISSN 0167-6423 Online ISSN 1872-7964 期刊出版社 ...
期刊出版社 Elsevier 期刊关注领域 软件工程|系统软件|程序设计语言 期刊CCF等级 B JCR分区 Q4 CiteScore分区 大类学科 小类学科 分区详情 计算机科学 软件 Q3 中科院期刊分区情况 2020年12月基础版 小类学科 计算机:软件工程 COMPUTER SCIENCE, SOFTWARE ENGINEERING ...
2010, Science of Computer Programming Show abstract Decidability and Complexity of Web Service Business Protocol Synthesis 2016, International Journal of Cooperative Information Systems Formal approaches for synthesis of web service business protocols 2013, Lecture Notes in Computer Science (including subserie...
https://focs.computer.org/2024/ 截稿日期: 2024-04-04 通知日期: 2024-07-01 会议日期: 2024-10-27 会议地点: Chicago, Illinois, USA 届数: 65 CCF:aCORE:a*QUALIS:a1浏览:146965关注:49参加:6 征稿 The 65th Annual Symposium on Foundations of Computer Science (FOCS 2024), sponsored by the IEE...
https://lics.siglog.org/lics25/ 截稿日期: 2025-01-16 通知日期: 2025-04-08 会议日期: 2025-06-23 会议地点: Singapore 届数: 40 CCF:aCORE:a*QUALIS:a2浏览:34389关注:41参加:6 征稿 The 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025) will be held in Singapore,...
A Johnstone,E Scott - 《Science of Computer Programming》 被引量: 0发表: 2015年 Representation of Principled Connections: A Window Onto the Formal Aspect of Common Sense Conception (2009) Representation of principled connections: A window onto the formal aspect of common sense conception. Cognitive...
Layer optimization refers to the process of translating high-level network goals into configurations by defining forwarding rules to maximize network utility and efficiency. AI generated definition based on: Journal of Network and Computer Applications, 2017 ...
Bug fix of Github Actions Dec 9, 2023 src feat: 添加前端学习指南 Sep 30, 2024 .gitignore Create mdbook.yml Dec 9, 2023 CCF_Recommended_List.pdf Add Academic part of CS-Basic-Knowledge Nov 3, 2023 HowtoReadPaper.pdf Add files via upload ...
An important list of materials about Computer Vision An important list of materials about Deep Learning in Computer Vision An important list of materials about Recurrent Neural Network Awesome rnn, kjw0612 An important list of materials about Random Forest ...
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 39(1): 177−191 Jan. 2024. DOI: 10.1007/s11390-023-2256-4 12- SMEC: Scene Mining for E-Commerce Gang Wang(王罡), Xiang Li(李翔), Member, CCF, ACM, IEEE, Zi-Yi Guo(郭子义), Da-Wei Yin(殷大伟), Member, ACM, IEEE, Shuai Ma(马帅)...