Automated_图书大全

Automated Essay Scoring

ISBN：9780805839739

This new volume is the first to focus entirely on automated essay scoring and evaluation. It is int...

Automated Essay Scoring

Automated Reasoning

ISBN：9780130544469

...

Automated Reasoning

9th International Conference on Automated Deduction

ISBN：9783540193432

...

9 th International Conference on Automated Deduction

Practice and Theory of Automated Timetabling V 时间表自动生成实践与理论 V/会议论文集

ISBN：9783540307051

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference ...

Practice and Theory of Automated Timetabling V 时间表自动生成实践与理论 V 会议论文集

Building Automated Trading Systems

ISBN：9780750682510

Over the next few years, the proprietary trading and hedge fund industries will migrate largely to ...

Building Automated Trading Systems

Practice and Theory of Automated Timetabling III 自动时间表生成的实践与理论III

ISBN：9783540424215

This book constitutes the thoroughly refereed post-proceedings of the Third International Conferenc...

Practice and Theory of Automated Timetabling III 自动时间表生成的实践与理论 III

Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers

ISBN：9783540425984

在线阅读本书 This book constitutes the thoroughly refereed post-proceedings of the Third...

Automated Deduction in Geometry Third International Workshop ADG 2000 Zurich Switzerland September 25 27 2000 Revised Papers

Automated Deduction in Geometry几何学的自动演绎/会议录

ISBN：9783540209270

...

Automated Deduction in Geometry 几何学的自动演绎会议录

2005智能数据工程与自动化学习/2005年国际会议录/Intelligent Data Engineering and Automated Learning

ISBN：9783540269724

...

2005 智能数据工程与自动化学习 2005年国际会议录 Intelligent Data Engineering and Automated Learning

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

ISBN：9783540289319

...

Automated Reasoning with Analytic Tableaux and Related Methods International Conference TABLEAUX 2005 Koblenz Germany September 14 17 2005 Proceedings

Automated Deduction CADE-20 自动化演绎－CADE-20/2005年国际会议录

ISBN：9783540280057

This book constitutes the refereed proceedings of the 20th International Conference on Automated De...

Automated Deduction CADE 20 自动化演绎 CADE 20 2005年国际会议录

2004年第2届国际验证与分析的自动化技术会议录Automated Technology for Verification and Analysis

ISBN：9783540292098

...

2004年第 2 届国际验证与分析的自动化技术会议录 Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis2004年第2届国际验证与分析的自动化技术会议录

ISBN：9783540292098

This book constitutes the refereed proceedings of the Third International Conference on Automated T...

Automated Technology for Verification and Analysis 2004年第 2 届国际验证与分析的自动化技术会议录

Automated Reasoning

ISBN：9783540422549

This book constitutes the refereed proceedings of the First International Joint Conference on Autom...

Automated Reasoning

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

ISBN：9783540438656

在线阅读本书 This book constitutes the refereed proceedings of the joint International Confe...

Artificial Intelligence Automated Reasoning and Symbolic Computation Joint International Conferences AISC 2002 and Calculemus 2002 Marseille France July 1 5 2002 Proceedings

自动推理Automated reasoning

ISBN：9783540371878

...

自动推理 Automated reasoning

智能数据工程与自动化学习/Intelligent data engineering and automated learning

ISBN：9783540454854

...

智能数据工程与自动化学习 Intelligent data engineering and automated learning

自动演绎－CADE-18/会议录 Automated deduction-CADE-18

ISBN：9783540439318

在线阅读本书 This book constitutes the refereed proceedings of the 18th International Confer...

自动演绎 CADE 18 会议录 Automated deduction CADE 18

用分析表格与有关方法自动推理/会议录 Automated reasoning with analytic tableaux and related methods

ISBN：9783540439295

在线阅读本书 This book constitutes the refereed proceedings of the International Conference ...

用分析表格与有关方法自动推理会议录 Automated reasoning with analytic tableaux and related methods

智能数据工程与自动化学习2002年国际会议录Intelligent data engineering and automated learning

ISBN：9783540440253

在线阅读本书 This book constitutes the refereed proceedings of the Third International C...

智能数据工程与自动化学习 2002年国际会议录 Intelligent data engineering and automated learning

验证与分析的自动化技术 Automated technology for verification and analysis

ISBN：9783540472377

...

验证与分析的自动化技术 Automated technology for verification and analysis

Automated Software Testing

ISBN：9780201432879

With the urgent demand for rapid turnaround on new software releases-without compromising quality-t...

Automated Software Testing

Database Ownership and Copyright Issues Among Automated Library Networks

ISBN：9780893917524

...

Database Ownership and Copyright Issues Among Automated Library Networks

Automated Data Collection in Cancer Registration

ISBN：9789283214465

...

Automated Data Collection in Cancer Registration

Automated Fingerprint Identification Systems

ISBN：9780124183513

在线阅读本书 An easy-to-understand synopsis of identification systems, presenting in simple la...

Automated Fingerprint Identification Systems

Automated Defibrillation for Professional and Lay Rescuers

ISBN：9780803604544

...

Automated Defibrillation for Professional and Lay Rescuers

Automated Lighting

ISBN：9780240807034

"Automated Lighting-Technology, Applications, and Design" is a comprehensive text covering everythi...

Automated Lighting

Automated Deduction - Cade-14

ISBN：9783540631040

...

Automated Deduction Cade 14

Automated Reasoning with Analytic Tableaux and Related Methods

ISBN：9783540644064

...

Automated Reasoning with Analytic Tableaux and Related Methods

The Automated Lighting Programmer's Handbook (平装)

ISBN：9780240806020

"For all those who want to be the guy behind the moving light console this book is a great first st...

The Automated Lighting Programmer s Handbook 平装

Dynamic Pricing and Automated Resource Allocation for Complex Information Services

ISBN：9783540680024

Many firms provide their customers with online information products which require limited resources...

Dynamic Pricing and Automated Resource Allocation for Complex Information Services

Automated Network Management Systems

ISBN：9780132393089

Automated Network Management Systems is ideal for advanced undergraduate or graduate-level courses ...

Automated Network Management Systems

Automated Defect Prevention

ISBN：9780470042120

This book describes an approach to software management based on establishing an infrastructure that...

Automated Defect Prevention

Integration Technologies for Industrial Automated Systems

ISBN：9780849392627

If there exists a single term that summarizes the key to success in modern industrial automation, t...

Integration Technologies for Industrial Automated Systems

Automated Planning

ISBN：9781558608566

在线阅读本书 Automated planning technology now plays a significant role in a variety of dema...

Automated Planning

Automated Alice

ISBN：9780552999052

In the last years of his life, the fantasist, Lewis Carroll, wrote a third Alice book. This mysteri...

Automated Alice

Automated Deduction-Cade-16

ISBN：9783540662228

...

Automated Deduction Cade 16

Automated Deduction in Classical and Non-Classical Logics

ISBN：9783540671909

This volume presents a collection of thoroughly reviewed revised full papers on automated deduction...

Automated Deduction in Classical and Non Classical Logics

Automated Data Analysis Using Excel

ISBN：9781584888857

...

Automated Data Analysis Using Excel

Automated Reasoning With Analytic Tableaux and Related Methods

ISBN：9783540629207

...

Automated Reasoning With Analytic Tableaux and Related Methods

Putting Green Golf Supply Automated Accounting Simulation With Source Documents

ISBN：9780538677127

...

Putting Green Golf Supply Automated Accounting Simulation With Source Documents

Procedures for the Automated Office

ISBN：9780131121492

For Office Administration, Procedure, and Management courses. Designed to prepare students for empl...

Procedures for the Automated Office

CONTAINER TERMINALS AND AUTOMATED

ISBN：9783540223283

...

CONTAINER TERMINALS AND AUTOMATED

Automated Taxon Identification in Systematics

ISBN：9780849382055

The automated identification of biological objects or groups has been a dream among taxonomists and...

Automated Taxon Identification in Systematics

Practice and Theory of Automated Timetabling

ISBN：9783540617945

...

Practice and Theory of Automated Timetabling

First-Order Logic and Automated Theorem Proving

ISBN：9780387945934

This graduate-level text presents fundamental concepts and results of classical logic in a rigorous...

First Order Logic and Automated Theorem Proving

Automated Deduction - Cade-17

ISBN：9783540676645

...

Automated Deduction Cade 17

Understanding UMTS Radio Network Modelling, Planning and Automated Optimisation

ISBN：9780470015674

This book sets out to provide the theoretical foundations that will enable radio network planners t...

Understanding UMTS Radio Network Modelling Planning and Automated Optimisation

Automated Image Detection of Retinal Pathology

ISBN：9780849375569

Providing background on the impact of eye disease on the community, "Automated Image Detection of R...

Automated Image Detection of Retinal Pathology

Automated Optical Inspection for Industry

ISBN：9780819430199

...

Automated Optical Inspection for Industry