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