Erweiterte Suche
Preis einschränken:

Newsletter

Melden Sie sich jetzt an und erhalten Sie regelmäßig Informationen über neue Produkte, Sonderangebote oder neue Gutscheine.

Mit * gekennzeichnete Felder sind Pflichtfelder.

106,99 EUR*
Details Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings (Lecture Notes in Computer Science)

Automated Deduction - Cade-17 The refereed proceedings of the 17th International Conference on Automated Deduction. The research papers and system descriptions presented cover a variety of topics related to theorem proving and its applications. Also ...

74,89 EUR*
Details Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science)

Automated Deduction in Geometry The refereed proceedings of the Second International Workshop on Automated Deduction in Geometry (ADG'98). Papers cover topics such as automated geometry theorem proving, automated geometry problem solving, plane ...

168,27 EUR*
Details Advanced Automated Software Testing: Frameworks for Refined Practice

Advanced Automated Software Testing Advanced Automated Software Testing: Frameworks for Refined Practice discusses the current state of test automation practices, as it includes chapters related to software test automation and its validity and ...

215,99 EUR*
Details Automated Face Analysis: Emerging Technologies and Research (Premier Reference Source)

Automated Face Analysis Since research on face recognition began in the 1960's, the field has rapidly widened to automated face analysis including face detection, facial gesture recognition, and facial expression recognition. This book provides ...

100,21 EUR*
Details 9th International Conference on Automated Deduction: Argonne, Illinois : Proceedings (Lecture Notes in Computer Science)

9th International Conference on Automated Deduction This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference ...

319,93 EUR*
Details Handbook Of Tape Automated Bonding

Handbook of Tape Automated Bonding A guide to the TAB technology - including TAB tape, bump, inner lead bonding, encapsulation, testing, burn-in, outer lead bonding, inspection, rework, thermal management and reliability. It is suitable for ...

58,80 EUR*
Details Troubleshooting and Human Factors in Automated Manufacturing Systems

Troubleshooting and Human Factors in Automated Manufacturing Systems Addresses the ways maintenance specialists acquire and use information during troubleshooting and the types of difficulties they encounter in order to guide the improvement of ...

106,95 EUR*
Details Simulation of Automated Negotiation

New, ship fast, delivered in 5 days in Germany No PO Box.

128,39 EUR*
Details Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science)

Automated Reasoning This book constitutes the refereed proceedings of the First International Joint Conference on Automated Reasoning, IJCAR 2001, held in Siena, Italy, in June 2001. The 37 research papers and 19 system descriptions presented together ...