最新消息

2,881-2,910条,共3,465条数据.
#日期类型内容
28812026-03-03新增用户浩 姚 (成都信息工程大学)
28822026-03-03新增用户Zhang Yunshi (北京邮电大学)
28832026-03-02更新期刊International Journal of Computer Science, Engineering and Information Technology
28842026-03-02更新期刊Advanced Computing: An International Journal
28852026-03-02更新期刊International Journal of Information Sciences and Techniques
28862026-03-02更新期刊International Journal of Network Security & Its Applications
28872026-03-02更新期刊International Journal on Soft Computing
28882026-03-02更新期刊International Journal of Data Mining & Knowledge Management Process
28892026-03-02更新期刊International Journal of Security, Privacy and Trust Management
28902026-03-02更新期刊International journal of Software Engineering & Applications
28912026-03-02新增用户Yan Li (National University of Defense Technology)
28922026-03-02新增用户Xuehong Du (Sun Yat-sen University)
28932026-03-02新增用户Xinyu Sun (Electronic Science and Technology of Xi’an)
28942026-03-02更新期刊International Journal of Computer Networks & Communications
28952026-03-02新增会议Roboi 2026: International Symposium on Embodied intelligence and Humanoid Robots
28962026-03-02更新会议ITP 2026: International Conference on Interactive Theorem Proving
28972026-03-02更新会议CAV 2026: International Conference on Computer Aided Verification
28982026-03-02更新会议ICLP 2026: International Conference on Logic Programming
28992026-03-02更新会议FSCD 2026: International Conference on Formal Structures for Computation and Deduction
29002026-03-02更新会议IJCAR 2026: International Joint Conference on Automated Reasoning
29012026-03-02更新会议ISAAC 2025: International Symposium on Algorithms and Computation
29022026-03-02更新会议ISSAC 2026: International Symposium on Symbolic and Algebraic Computation
29032026-03-02更新会议EC 2026: ACM Conference on Economics and Computation
29042026-03-02更新会议ASP-DAC 2027: Asia and South Pacific Design Automation Conference
29052026-03-02新增用户peng li li peng (贵州中医药大学)
29062026-03-02新增特刊Combining Probability and Logic (Journal of Logic and Computation)
29072026-03-02新增特刊Proof-Theoretic Semantics and Computation (Journal of Logic and Computation)
29082026-03-02更新期刊Journal of Logic and Computation
29092026-03-02更新期刊ACM Transactions on Economics and Computation
29102026-03-02更新期刊Journal of Robotics