关注微信公众号查券更方便
【预售】First-Order Logic and Automated Theorem Proving
【预订】Maintaining Social Well-Being and Meaningful Work in a Highly Automated Job Market
【预订】The Automated Lighting Programmer’s Handbook 9780367653255
[预订]Practical Test Design: Selection of Traditional and Automated Test Design Techniques 9781780174723
预订 Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3-6, 2024, Proceedings, P
【预订】Automated Data Analysis Using Excel
[预订]Implementation of a Remote and Automated Quality Control Programme for Radiography and Mammography E 9789201026217
预订 Metalearning: Applications to Automated Machine Learning and Data Mining
预订 Automated Technology for Verification and Analysis
预订 Automated Vehicles as a Game Changer for Sustainable Mobility
【预订】Automated Reasoning with Analytic Tableaux and Related Methods
【预订】Automated Technology for Verification and Analysis
【预售】Intelligent Data Engineering and Automated Learning
【预售】Automated Reasoning with Analytic Tableaux and
【预售】Automated Technology for Verification and Analysis
【预售】Automated Invention for Smart Industries
【预售】Automated Deduction in Geometry: 8th International
预订 Automated Deduction in Geometry
【预订】Automated Deduction -- CADE-24
【预订】Automated Deduction in Geometry
【预订】Automated Deduction - CADE-25
【预订】3D Automated Breast Volume Sonography
预订 Energy-Efficient and Semi-automated Truck Platooning
【预订】Automated Software and Service Composition
【预订】Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Con 9783030860585
【预售】Automated Deduction -- CADE-23: 23rd International
【预订】HCI in Mobility, Transport, and Automotive Systems. Automated Driving and In-Vehicle Experience Design
【预订】Deep Neural Networks and Data for Automated Driving 9783031012327
【预订】Automated Technology for Verificatio...
【预订】Intelligent Data Engineering and Automated Learning – IDEAL 2015
【预订】Logic for Programming and Automated Reasoning
【预订】Practice and Theory of Automated Timetabling V
【预订】Practice and Theory of Automated Timetabling III
【预售】Proof Theory and Automated Deduction
【预订】Automated Deduction - CADE-16
【预售】Intelligent Data Engineering and Automated Learning – IDEAL 2018
【预售】Automated Reasoning: 7th International Joint C...
【预售】Automated Reasoning
【预售】Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, Tableaux 20...
【预售】Automated Deduction - CADE-22: 22nd International
【预售】Automated Reasoning: 6th International Joint
【预售】Automated Technology for Verification and Analysis:
【预订】Automated Security Management
【预售】Agent-Mediated Electronic Commerce: Automated
【预订】Automated Hierarchical Synthesis of Radio-Frequency Integrated Circuits and Systems
预订 Intelligent Data Engineering and Automated Learning – IDEAL 2016
【预订】Automated Deduction - CADE-19
【预订】Automated Invention for Smart Industries: 18th International Triz Future Conference, Tfc 2018, Strasbourg,...
【预订】Automated Hierarchical Synthesis of Radio-Frequency Integrated Circuits and Systems 9783030472498
【预订】Practice and Theory of Automated Timetabling II
【预订】Practice and Theory of Automated Timetabling IV
【预售】Intelligent Data Engineering and Automated Lea...
预订 3D Automated Breast Volume Sonography
【预订】Automated Deduction - CADE-15
【预订】Automated Deduction - CADE-14
【预订】Practice and Theory of Automated Timetabling VI
【预订】Automated Theorem Proving in Softwar...
【预订】Automated Machine Learning
【预订】Controlling Automated Manufacturing ...
【预订】Logic Programming and Automated Reasoning
【预订】Intelligent Data Engineering and Automated Learning
【预售】Automated Modeling of Physical Systems
【预订】Intelligent Data Engineering and Automated Learning – IDEAL 2020
【预订】Avenue21. Connected and Automated Driving: Prospects for Urban Europe 9783662641392
【预售】Automated Theorem Proving in Software Engineering
预订 Intelligent Data Engineering and Automated Learning -- IDEAL 2013
【预售】Automated Reasoning: 4th International Joint
【预售】Many-Valued Logics 2: Automated Reasoning and
【预售】Automated Deduction Cade-20: 20th International
【预订】Automated Deduction - CADE-17 9783540676645
[预订]AVENUE21. Planning and Policy Considerations for an Age of Automated Mobility
【预售】Artificial Intelligence, Automated Reasoning, and
【预售】Intelligent Data Engineering and Automated Learning - Ideal 2019: 20th International Conference, Mancheste...
【预售】Automated Configuration Problem Solving
【预售】Automated Deduction in Geometry
预订 Logic Programming and Automated Reasoning
