search result

Cover von Software Engineering im Scientific Computing
Beiträge eines Workshops in Hamburg, 6 - 8. Juni 1995
Search for this author
Year: 1996
Publisher: Wiesbaden, Vieweg
Media group: MONOGRAPHIE
Cover von Validated numerical methods and computer algebra
special issue
Search for this author
Year: 1997
Publisher: London, Academic Press
Series: Journal of symbolic computation : 24. 1997, 6
Media group: SPECIAL ISSUE
Cover von Symbolic algebraic methods and verification methods
Search for this author
Year: 2001
Publisher: Wien, Springer
Media group: MONOGRAPHIE
Cover von Symbolic-algebraic methods and verification methods
theory and applications : 21.11.1999 - 26.11.1999 (99471)
Search for this author
Year: 1999
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 260
Media group: DAGSTUHL-SEMINAR-REP
Cover von Symbolic, algebraic and validated numerical computation
03.8. - 07.8.92 (9232)
Search for this author
Year: 1992
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 43
Media group: DAGSTUHL-SEMINAR-REP
Cover von Computer-assisted proofs
tools, methods and applications
Search for this author
Year: 2009
Publisher: Wadern, LZI
Series: Dagstuhl Seminar Proceedings; 09471
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Algebraic and numerical algorithms and computer-assisted proofs
Search for this author
Year: 2005
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 05391
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Reliable Computation and Complexity on the Reals; 11
pp. 142-167
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 11
Media group: DAGSTUHL REPORT
Cover von Mathematical Aspects of Computer and Information Sciences
6th International Conference, MACIS 2015, Berlin, Germany, November 11 - 13, 2015, Revised Selected Papers
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9582
Media group: MONOGRAPHIE
OPEN V 11.1.0.0