Home
Antiques & Collectibles
General
Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers : 2991 by Rene Alt - Paperback

Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers : 2991 by Rene Alt - Paperback

AED303.69

(0) Write a Review

SKU:: 9783540212607
UPC:: 9783540212607

Current Stock:

Product Description

ISBN: 9783540212607
TITLE: Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers : 2991
AUTHOR: Rene Alt
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 12 Mar 2004

Other Details

ISBN:

9783540212607

Author:

Rene Alt

Publisher:

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Publisher Date:

Published:12 Mar 2004

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers : 2991 by Rene Alt - Paperback

Product Description

Other Details

Numerical Validation in Current Hardware Architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers : 5492 by Annie A.M. Cuyt - Paperback

Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers : 11026 by Amel Bennaceur - Paperback

Virtual Realities : International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised Selected Papers : 8844 by Guido Brunnett - Paperback

Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers : 9400 by Benoit Combemale - Paperback

Domain-Specific Program Generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers by Lengauer Christian Lengauer - Paperback

Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers : 2991 by Rene Alt - Paperback

Write a Review

Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers : 2991 by Rene Alt - Paperback

Add to Wishlist

Product Description

Other Details

Related Products

Numerical Validation in Current Hardware Architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers : 5492 by Annie A.M. Cuyt - Paperback

Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers : 11026 by Amel Bennaceur - Paperback

Virtual Realities : International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised Selected Papers : 8844 by Guido Brunnett - Paperback

Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers : 9400 by Benoit Combemale - Paperback

Domain-Specific Program Generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers by Lengauer Christian Lengauer - Paperback