最新ニュース
2,261 件中 1,681 から 1,710 までを表示しています。
#日付種類内容
16812026-03-02ジャーナルを更新International Journal of Information Sciences and Techniques
16822026-03-02ジャーナルを更新International Journal of Network Security & Its Applications
16832026-03-02ジャーナルを更新International Journal on Soft Computing
16842026-03-02ジャーナルを更新International Journal of Data Mining & Knowledge Management Process
16852026-03-02ジャーナルを更新International Journal of Security, Privacy and Trust Management
16862026-03-02ジャーナルを更新International journal of Software Engineering & Applications
16872026-03-02新研究員Yan Li (National University of Defense Technology)
16882026-03-02新研究員Xuehong Du (Sun Yat-sen University)
16892026-03-02新研究員Xinyu Sun (Electronic Science and Technology of Xi’an)
16902026-03-02ジャーナルを更新International Journal of Computer Networks & Communications
16912026-03-02会議を追加Roboi 2026: International Symposium on Embodied intelligence and Humanoid Robots
16922026-03-02会議を更新するITP 2026: International Conference on Interactive Theorem Proving
16932026-03-02会議を更新するCAV 2026: International Conference on Computer Aided Verification
16942026-03-02会議を更新するICLP 2026: International Conference on Logic Programming
16952026-03-02会議を更新するFSCD 2026: International Conference on Formal Structures for Computation and Deduction
16962026-03-02会議を更新するIJCAR 2026: International Joint Conference on Automated Reasoning
16972026-03-02会議を更新するISAAC 2025: International Symposium on Algorithms and Computation
16982026-03-02会議を更新するISSAC 2026: International Symposium on Symbolic and Algebraic Computation
16992026-03-02会議を更新するEC 2026: ACM Conference on Economics and Computation
17002026-03-02会議を更新するASP-DAC 2027: Asia and South Pacific Design Automation Conference
17012026-03-02新研究員peng li li peng (贵州中医药大学)
17022026-03-02Special Issueを追加Combining Probability and Logic (Journal of Logic and Computation)
17032026-03-02Special Issueを追加Proof-Theoretic Semantics and Computation (Journal of Logic and Computation)
17042026-03-02ジャーナルを更新Journal of Logic and Computation
17052026-03-02ジャーナルを更新ACM Transactions on Economics and Computation
17062026-03-02ジャーナルを更新Journal of Robotics
17072026-03-02会議を更新するDESRIST 2026: International Conference on Design Science Research in Information Systems and Technology
17082026-03-02会議を更新するSPIRE 2025: International Symposium on String Processing and Information Retrieval
17092026-03-02新研究員Shiqi Liu (shanghai university)
17102026-03-02会議を更新するKES 2026: International Conference on Knowledge-Based and Intelligent Information & Engineering Systems