최신 소식

3527 중 2941 에서 2970 까지 표시하고 있습니다.
#날짜종류내용
29412026-03-03특별호 추가ADG 2025 (Annals of Mathematics and Artificial Intelligence)
29422026-03-03저널 갱신Annals of Mathematics and Artificial Intelligence
29432026-03-03신규 연구자浩 姚 (成都信息工程大学)
29442026-03-03신규 연구자Zhang Yunshi (北京邮电大学)
29452026-03-02저널 갱신International Journal of Computer Science, Engineering and Information Technology
29462026-03-02저널 갱신Advanced Computing: An International Journal
29472026-03-02저널 갱신International Journal of Information Sciences and Techniques
29482026-03-02저널 갱신International Journal of Network Security & Its Applications
29492026-03-02저널 갱신International Journal on Soft Computing
29502026-03-02저널 갱신International Journal of Data Mining & Knowledge Management Process
29512026-03-02저널 갱신International Journal of Security, Privacy and Trust Management
29522026-03-02저널 갱신International journal of Software Engineering & Applications
29532026-03-02신규 연구자Yan Li (National University of Defense Technology)
29542026-03-02신규 연구자Xuehong Du (Sun Yat-sen University)
29552026-03-02신규 연구자Xinyu Sun (Electronic Science and Technology of Xi’an)
29562026-03-02저널 갱신International Journal of Computer Networks & Communications
29572026-03-02학회 추가Roboi 2026: International Symposium on Embodied intelligence and Humanoid Robots
29582026-03-02학회 갱신ITP 2026: International Conference on Interactive Theorem Proving
29592026-03-02학회 갱신CAV 2026: International Conference on Computer Aided Verification
29602026-03-02학회 갱신ICLP 2026: International Conference on Logic Programming
29612026-03-02학회 갱신FSCD 2026: International Conference on Formal Structures for Computation and Deduction
29622026-03-02학회 갱신IJCAR 2026: International Joint Conference on Automated Reasoning
29632026-03-02학회 갱신ISAAC 2025: International Symposium on Algorithms and Computation
29642026-03-02학회 갱신ISSAC 2026: International Symposium on Symbolic and Algebraic Computation
29652026-03-02학회 갱신EC 2026: ACM Conference on Economics and Computation
29662026-03-02학회 갱신ASP-DAC 2027: Asia and South Pacific Design Automation Conference
29672026-03-02신규 연구자peng li li peng (贵州中医药大学)
29682026-03-02특별호 추가Combining Probability and Logic (Journal of Logic and Computation)
29692026-03-02특별호 추가Proof-Theoretic Semantics and Computation (Journal of Logic and Computation)
29702026-03-02저널 갱신Journal of Logic and Computation