Mathematics in Computer Science
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
Inhaltsverzeichnis
- 357
-
ForewordFainekos, Georgios / Goubault, Eric / Putot, Sylvie et al. | 2011
- 359
-
Stochastic Arithmetic in MultiprecisionGraillat, Stef / Jézéquel, Fabienne / Wang, Shiyue et al. | 2011
- 377
-
Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical ProofsBoldo, Sylvie / Marché, Claude et al. | 2011
- 395
-
TASS: The Toolkit for Accurate Scientific SoftwareSiegel, Stephen F. / Zirkel, Timothy K. et al. | 2011
- 427
-
FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific ComputingSiegel, Stephen F. / Zirkel, Timothy K. et al. | 2011
- 437
-
A Validated Real Function CalculusCollins, Pieter / Niqui, Milad / Revol, Nathalie et al. | 2011
- 469
-
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid AutomataDamm, Werner / Ihlemann, Carsten / Sofronie-Stokkermans, Viorica et al. | 2011