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

Podobne zapisy

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