home > paid book/ebook

Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000, Austin, Texas, Usa, November 1-3, 2000 : Proceedings

Use coupon below to get discount at eCampus.com!

SHADES
$3 off textbook orders over $75

SUNBLOCK
$4 off textbook orders over $90

SUNSHINE
$5 off textbook orders over $100

Copy the coupon code before clicking the button!

AVAILABILITY
MerchantFormatPrice
eCampusPaperback$97.45 discount!
PREVIEW
Related Documents
Discovery Science: 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Discovery Science: 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001…

$24.95 - $89.95

This book constitutes the refereed proceedings of the 4th International Conference on Discovery Science, DS 2001, held in Washington, DC, USA, in November 2001.The 30 revised full papers ...

Algorithmic Learning Theory: 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings. (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

Algorithmic Learning Theory: 12th International Conference, ALT 2001, Washington, DC, USA, November…

$22.98 - $79.95

This book constitutes the refereed proceedings of the 12th International Conference on Algorithmic Learning Theory, ALT 2001, held in Washington, DC, USA in November 2001. The 21 revised full papers ...

Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on A

Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods…

$40.60 - $89.95

The book constitutes the joint refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and the 5th International Conference on Applications ...

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk,…

$80.88

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings

Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk, July 6-10, 2005, Proceedings

Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk, July…

$99.67 - $101.40

Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk, July 6-10, 2005, Proceedings

Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il, Usa, July 15-19,2000 Proceedings

Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il, Usa, July 15-19,2000…

$101.40

Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il, Usa, July 15-19,2000 Proceedings

Computer Aided Verification: 21st International Conference, Cav 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Computer Aided Verification: 21st International Conference, Cav 2009, Grenoble, France, June 26 - July…

$116.03

Computer Aided Verification: 21st International Conference, Cav 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Motion in Games: Third International Conference, Mig 2010, Utrecht, the Netherlands, November 14-16, 2010, Proceedings

Motion in Games: Third International Conference, Mig 2010, Utrecht, the Netherlands, November 14-16,…

$92.63

Motion in Games: Third International Conference, Mig 2010, Utrecht, the Netherlands, November 14-16, 2010, Proceedings

GeoSensor Networks: Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)

GeoSensor Networks: Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised…

$38.08 - $69.95

This book constitutes the thoroughly refereed proceedings of the Second GeoSensor Networks Conference, held in Boston, Massachusetts, USA, in October 2006. The conference addressed issues related to ...

loading