Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers /

Documents similaires

• Numerical Validation in Current Hardware Architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers /
  par: Annie Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein
  Publié: (2009, c2009)
• Software Visualization : International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised Lectures /
  par: Stephan Diehl
  Publié: (2002, c2002)
• Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers /
  par: Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
  Publié: (2008, c2008)
• Software Engineering for Self-Adaptive Systems : International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers /
  par: Rogério Lemos, Holger Giese, Hausi A. Müller, Mary Shaw
  Publié: (2013, c2013)
• Human-Centered Visualization Environments : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Papers /
  par: Andreas Kerren, Achim Ebert, Jörg Meyer
  Publié: (2007, c2007)