Scientific computing with automatic result verification

>> Google Books

QRコード(所蔵情報)

Scientific computing with automatic result verification

フォーマット:

図書

責任表示:

edited by E. Adams, U. Kulisch

言語:

英語

出版情報:

Boston ; Tokyo : Academic Press, c1993

形態:

x, 612 p. : ill. ; 24 cm

著者名:

シリーズ名:

Mathematics in science and engineering : a series of monographs and textbooks ; v. 189 <BA00009880>

書誌ID:

BA18830690

ISBN:

9780120442102 [0120442108]

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	情報理論; 数学
LCCN:	92247371
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Numerical Toolbox for Verified Computing I Kulisch, Hocks, Matthias, Kulisch, Ulrich, Ratz, Dietmar Springer Berlin Heidelberg	7 電子ブック Computer Algebra in Scientific Computing CASC 2001 Ganzha, Victor G.; Mayr, Ernst W.; Vorozhtsov, Evgenii V., Mayr, Ernst W., Vorozhtsov, Evgenii V. Springer Berlin Heidelberg
2 電子ブック C++ Toolbox for Verified Computing I Kulisch, Hocks, Matthias, Kulisch, Ulrich, Ratz, Dietmar Springer Berlin Heidelberg	8 電子ブック Numerical and Symbolic Scientific Computing Langer, Ulrich, Paule, Peter Springer Vienna
3 図書 Computer arithmetic and validity : theory, implementation, and applications Kulisch, Ulrich W Walter De Gruyter	9 図書 Introduction to evolutionary computing Eiben, A.E., Smith, J.E. Springer
4 図書 Concurrency verification : introduction to compositional and noncompositional methods Roever, W.-P. de, 1943- Cambridge University Press	10 図書 Quantum computing: an applied approach Hidary, Jack D. Springer
5 電子ブック Computer Algebra in Scientific Computing Ganzha, Victor G.; Mayr, Ernst W.; Vorozhtsov, Evgenii V., Mayr, Ernst W., Vorozhtsov, Evgenii V. Springer Berlin Heidelberg	11 電子ブック High-Performance Scientific Computing Berry, Michael W., Gallivan, Kyle A. Springer London
6 電子ブック Computer Algebra in Scientific Computing CASC’99 Ganzha, Victor G.; Mayr, Ernst W.; Vorozhtsov, Evgenii V., Mayr, Ernst W., Vorozhtsov, Evgenii V. Springer Berlin Heidelberg	12 電子ブック Scientific Computing in Electrical Engineering Wilhelmus H. A. Schilders, Houben, Stephan H. M. J., ter Maten, E. Jan W. Springer Berlin Heidelberg