Últimos mensajes
Mostrando 1-30 de 4,947 elementos.
#FechaTipoContenido
12026-03-02Nuevo investigadorYan Li (National University of Defense Technology)
22026-03-02Nuevo investigadorXuehong Du (Sun Yat-sen University)
32026-03-02Nuevo investigadorXinyu Sun (Electronic Science and Technology of Xi’an)
42026-03-02Actualizar diarioInternational Journal of Computer Networks & Communications
52026-03-02Agregar conferenciaRoboi 2026: International Symposium on Embodied intelligence and Humanoid Robots
62026-03-02Actualizar ConferenciaITP 2026: International Conference on Interactive Theorem Proving
72026-03-02Actualizar ConferenciaCAV 2026: International Conference on Computer Aided Verification
82026-03-02Actualizar ConferenciaICLP 2026: International Conference on Logic Programming
92026-03-02Actualizar ConferenciaFSCD 2026: International Conference on Formal Structures for Computation and Deduction
102026-03-02Actualizar ConferenciaIJCAR 2026: International Joint Conference on Automated Reasoning
112026-03-02Actualizar ConferenciaISAAC 2025: International Symposium on Algorithms and Computation
122026-03-02Actualizar ConferenciaISSAC 2026: International Symposium on Symbolic and Algebraic Computation
132026-03-02Actualizar ConferenciaEC 2026: ACM Conference on Economics and Computation
142026-03-02Actualizar ConferenciaASP-DAC 2027: Asia and South Pacific Design Automation Conference
152026-03-02Nuevo investigadorpeng li li peng (贵州中医药大学)
162026-03-02Agregar Special IssueCombining Probability and Logic (Journal of Logic and Computation)
172026-03-02Agregar Special IssueProof-Theoretic Semantics and Computation (Journal of Logic and Computation)
182026-03-02Actualizar diarioJournal of Logic and Computation
192026-03-02Actualizar diarioACM Transactions on Economics and Computation
202026-03-02Actualizar diarioJournal of Robotics
212026-03-02Actualizar ConferenciaDESRIST 2026: International Conference on Design Science Research in Information Systems and Technology
222026-03-02Actualizar ConferenciaSPIRE 2025: International Symposium on String Processing and Information Retrieval
232026-03-02Nuevo investigadorShiqi Liu (shanghai university)
242026-03-02Actualizar ConferenciaKES 2026: International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
252026-03-02Actualizar ConferenciaAAIP 2026: Asia Conference on Advances in Image Processing
262026-03-02Actualizar ConferenciaWSAI 2026: World Symposium on Artificial Intelligence
272026-03-02Actualizar ConferenciaHP3C 2026: International Conference on High Performance Compilation, Computing and Communications
282026-03-02Actualizar ConferenciaECCS 2026: European Conference on Communication Systems
292026-03-02Actualizar ConferenciaCOSIT 2026: International Conference on Spatial Information Theory
302026-03-02Nuevo investigadorLi dawang (zhenzhou university)