Lectures on proof verification and approximation algorithms

このページのQRコード

種類:

図書

責任表示:

Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.)

出版情報:

Berlin ; Tokyo : Springer, c1998

著者名:

シリーズ名:

Lecture notes in computer science ; 1367 <BA00009279>

ISBN:

9783540642015 [3540642013]

注記:

Includes bibliographical references (p. [325]-334) and indexes

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Approximation theory; Automatic theorem proving; Computer algorithms
分類・件名:	NDC9 : 007 LCSH : Automatic theorem proving LCSH : Computer algorithms LCSH : Approximation theory
LCCN:	98014448
TTLL:	eng
言語:	英語
形態:	xii, 344 p. : ill. ; 24 cm
書誌ID:	BA34927465

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 The steiner tree problem : a tour through graphs, algorithms, and complexity Prömel, H. J., Steger, Angelika Friedr. Vieweg & Sohn	7 図書 Fourier analysis and approximation Butzer, Paul Leo, 1928-, Nessel, Rolf J. Birkhäuser
2 図書 Approximation algorithms Vazirani, Vijay V. Springer	8 図書 Fourier analysis and approximation Butzer, Paul Leo, 1928-, Nessel, Rolf J. Academic Press
3 図書 Approximation algorithms Vazirani, Vijay V. Springer	9 図書 Degree of approximation by polynomials in the complex domain Sewell, W. E. (Walter Edwin) Princeton University Press, Kraus Reprint Co.
4 図書 Efficient checking of polynomials and proofs and the hardness of approximation problems Sudan, Madhu Springer-Verlag	10 図書 Algorithms and theory of computation handbook Atallah, Mikhail J. CRC Press
5 図書 Handbook of approximation algorithms and metaheurististics Gonzalez, Teofilo F. Chapman & Hall/CRC Press	11 図書 Generalized inverses of linear operators : representation and approximation Groetsch, C. W. M. Dekker
6 図書 Introduction to approximation theory Cheney, E. W. (Elliott Ward), 1929- McGraw-Hill Book Co	12 図書 Approximation theorems in commutative algebra : classical and categorical methods Alajbegović, Jusuf H., 1951-, Močkoř, Jiří Kluwer Academic Publishers