关注微信公众号查券更方便
海外直订ASE 10 Proceedings of the IEEE/ACM International Conference on Automated Softwar ASE 10 IEE
【3-4周达】Governance and Automated Security in AI-Driven Cybersecurity [9798337309910]
【3-4周达】精装 Governance and Automated Security in AI-Driven Cybersecurity [9798337309903]
【3-4周达】The Automated Trader's Desk Reference : Rules, Regs, and Routing [9798896652434]
现货供应Automated Logic M4106 M系列控制模块
JOJO'SLIFEPD卡通纸巾盒
预订 【】Audel Automated Machines And Toolmaking: All New
海外直订Android Espresso Revealed: Writing Automated Ui Tests Android Espresso揭秘:编写自动化Ui测试
海外直订Automated Deduction in Geometry: 9th International Workshop, Adg 2012, Edinburgh 几何自动演绎：第九届国际研
【预订】Air Logic for Automated Systems
海外直订医药图书3D Automated Breast Volume Sonography 3D自动乳腺容积超声检查
海外直订Automated Theorem Proving in Software Engineering 软件工程中定理的自动证明
海外直订Performance Evaluation of Electronic Oscillators: Automated S Parameter Free Des 电子振荡器的性能评估:基于S
海外直订Avenue21. Planning and Policy Considerations for an Age of Automated Mobility Avenue21。自动移动时代的规划
海外直订医药图书3D Automated Breast Volume Sonography
海外直订Deep Neural Networks and Data for Automated Driving: Robustness, Uncertainty Qua 用于自动驾驶的深度神经
海外直订From Code to Chip: Open-Source Automated Analog Layout Design 从代码到芯片：开源自动模拟布局设计
海外直订Automated Inspection and Quality Assurance 自动化检查和质量保证
海外直订Automated Hierarchical Synthesis of Radio-Freque... 射频集成电路和系统的自动分层综合
海外直订Proof Theory and Automated Deduction 证明理论与自动推理
预订 The Roadmap to Financial Freedom: A MillionaireS Guide to Building Automated Wealth 财富之路：百万富翁在偿还债务
预订 Automated Software Diversity
海外直订Automated Deep Learning Using Neural Network Intelligence: Develop and Design Py 使用神经智能的自动深度
海外直订Development of an automated warehouse accounting system 开发自动化仓库会计系统
海外直订Automated Technology for Verification and Analysis: 18th International Symposium 验证与分析自动化技术:第18届
海外直订Intelligent Data Engineering and Automated Learning -- Ideal 2011: 12th Internat 智能数据工程和自动化学习—
海外直订Automated Invention for Smart Industries: 18th International Triz Future Confere 智能产业自动化发明：2018年
海外直订Automated Deduction -- Cade-23: 23rd International Conference on Automated Deduc 自动扣减——Cade
海外直订医药图书Automated Reasoning with Analytic Tableaux and Related Methods: International Co 分析表格和相关方法
海外直订Automated Technology for Verification and Analysis: 8th International Symposium, 验证和分析自动化技术：第八届国
海外直订Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich,
海外直订Automated Reasoning with Analytic Tableaux and Related Methods: 20th Internation 分析表格和相关方法的自动推
海外直订Automated Reasoning with Analytic Tableaux and R... 分析表的自动推理及相关方法
海外直订Intelligent Data Engineering and Automated Learning -- Ideal 2010: 11th Internat 智能数据工程和自动学习——
海外直订Automated Reasoning with Analytic Tableaux and R... 基于分析表的自动推理及相关方法
海外直订Automated Reasoning with Analytic Tableaux and Related Methods: 18th Internation 分析表格和相关方法的自动推
海外直订Automated Technology for Verification and Analysis: 12th International Symposium 验证和分析自动化技术:第12
海外直订Automated Reasoning with Analytic Tableaux and Related Methods: International Co 基于分析表的自动推理及相关
海外直订Automated Modeling of Physical Systems 物理系统的自动建模
海外直订Intelligent Data Engineering and Automated Learning - Ideal 2018: 19th Internati 智能数据工程与自动化学习-
海外直订Automated Technology for Verification and Analysis 验证与分析自动化技术
海外直订Automated Reasoning: 9th International Joint Conference, Ijcar 2018, Held as Par 自动推理：第九届国际联合会议，
海外直订Automated Reasoning with Analytic Tableaux and Related Methods: 28th Internation 用分析表和相关方法进行自动
海外直订Automated Technology for Verification and Analysis: 16th International Symposium 验证和分析自动化技术：第16
海外直订Automated Deduction - Cade-25: 25th International Conference on Automated Deduct 自动扣减——Cade-25：第
海外直订Intelligent Data Engineering and Automated Learning - Ideal 2017: 18th Internati 智能数据工程与自动化学习-理想
海外直订Automated Reasoning: 7th International Joint Conference, Ijcar 2014, Held as Par 自动化推理:第七届国际联合
海外直订Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, G 几何自动演绎：第八届国际研
海外直订Intelligent Data Engineering and Automated Learning - Ideal 2016: 17th Internati
海外直订Agent-Mediated Electronic Commerce: Automated Negotiation and Strategy Design fo 代理中介的电子商务：电子市
海外直订Practice and Theory of Automated Timetabling: First International Conference, Ed 自动排课表的实践与理论:第
海外直订Automated Deduction - Cade-15: 15th International Conference on Automated Deduct 自动扣除- Cade-15:第
海外直订Automated Deduction in Classical and Non-Classical Logics: Selected Papers 经典与非经典逻辑的自动演绎:论文
海外直订Automated Reasoning with Analytic Tableaux and Related Methods: International Co 自动化推理与分析表及相关方
海外直订Automated and Algorithmic Debugging: First International Workshop, Aadebug '93, 自动和算法调试：第一届国际
海外直订Functional Programming, Concurrency, Simulation and Automated Reasoning 函数式编程、并发、模拟和自动推理
海外直订Practice and Theory of Automated Timetabling III: Third International Conference 《自动排课的实践与理论III
海外直订Automated Deduction - Cade-16: 16th International Conference on Automated Deduct 自动扣除- Cade-16:第
海外直订Logic for Programming and Automated Reasoning: 7th International Conference, Lpa 编程和自动推理逻辑：第七届
海外直订Intelligent Data Engineering and Automated Learning -- Ideal 2012: 13th Internat 智能数据工程和自动学习——
海外直订Automated Technology for Verification and Analysis: 14th International Symposium 自动化验证和分析技术:第14
海外直订Automated Deduction in Geometry: International Workshop on Automated Deduction i 几何自动演绎:几何自动演绎
海外直订Automated Technology for Verification and Analysis: 10th International Symposium 验证和分析自动化技术：第十
海外直订Automated Hierarchical Synthesis of Radio-Frequency Integrated Circuits and Syst 射频集成电路和系统的自动分层综
海外直订Critical Systems: Formal Methods and Automated Verification: Joint 21st Internat 关键系统：形式化方法和自动
海外直订Automated Reasoning: 4th International Joint Conference, Ijcar 2008, Sydney, Nsw 自动推理：第四届国际联合会
海外直订Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesvil 几何的自动推导:第五届国际
海外直订Automated Configuration Problem Solving 自动化配置问题解决方案
海外直订Logic Programming and Automated Reasoning: International Conference Lpar '92, St 逻辑编程和自动推理：1992年
海外直订Practice and Theory of Automated Timetabling VI: 6th International Conference, P 自动化排班的实践与理论VI:
海外直订Automated Deduction - Cade-20: 20th International Conference on Automated Deduct 自动扣除——Cade-20：第
海外直订Automated Deduction -- Cade-24: 24th International Conference on Automated Deduc 自动扣减——Cade
海外直订Automated Security Management 自动化安全管理
海外直订Aspects of Automated Natural Language Generation: 6th International Workshop on 自然语言自动生成的若干方面
海外直订医药图书Atlas of Automated Percutaneous Lumbar Discectomy (A.P.L.D.): According to the O 自动经皮腰椎间盘切
海外直订Automated Technology for Verification and Analysis: 11th International Symposium 自动化技术的验证和分析:第1
海外直订Automated Deduction - Cade-17: 17th International Conference on Automated Deduct 自动扣减——Cade-17:2
海外直订Intelligent Data Engineering and Automated Learn... 智能数据工程和自动化学习-理想2015
海外直订Practice and Theory of Automated Timetabling IV: 4th International Conference, P 《自动排课的实践与理论IV：
海外直订Foundations and Applications of Security Analysis: Joint Workshop on Automated R
海外直订Automated Machine Learning 自动机器学习
海外直订Automated Deduction -- Cade-12: 12th International Conference on Automated Deduc 自动扣除——Cade-12:1
海外直订Automated Technology for Verification and Analysis: 4th International Symposium, 验证与分析自动化技术:第四届国
海外直订Logic Programming and Automated Reasoning: 6th International Conference, Lpar'99 逻辑编程和自动推理：第六届
海外直订Logic Programming and Automated Reasoning: 4th International Conference, Lpar'93 逻辑编程和自动推理：第四届
海外直订Automated Deduction in Geometry 几何中的自动推理
海外直订Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint In 人工智能，自动推理和符号计
海外直订Production Planning in Automated Manufacturing 自动化制造中的生产计划
海外直订Practice and Theory of Automated Timetabling II: Second International Conference 自动排课的实践与理论II:第
海外直订Automated Technology for Verification and Analysis: 5th International Symposium, 验证与分析自动化技术:第五
海外直订Intelligent Data Engineering and Automated Learning: 4th International Conferenc 智能数据工程与自动化学习:第四
海外直订Automated Deduction - CADE-21: 21st International Conference on Automated Deduct 自动扣减——CADE
海外直订Automated Deduction - Cade-19: 19th International Conference on Automated Deduct 自动扣减——Cade-19：美
海外直订Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, 几何自动推导：第七届国际研
海外直订Automated Reasoning with Analytic Tableaux and Related Methods: 16th Internation 分析表格和相关方法的自动推
海外直订Automated Reasoning with Analytic Tableaux and Related Methods: International Co 使用分析表格和相关方法进行
海外直订Automated Reasoning with Analytic Tableaux and Related Methods: International Co 自动推理与分析图表及相关方
海外直订Automated Deduction - Cade-22: 22nd International Conference on Automated Deduct 自动扣除- Cade
海外直订Automated Deduction in Equational Logic and Cubic Curves 等式逻辑和三次曲线的自动推导
