Dòng
|
Nội dung
|
1
|
|
2
|
Algorithmic properties of structure : selected papers of Erwin Engeler / Erwin Engeler Singapore : World Scientific, 1993 viii, 257 pages. : illustrations ; 26 cm. Ký hiệu phân loại (DDC): 511.8 The volume begins with the area of enrichment of classical model theory by languages which express properties representing the outcome of hypothetical computer programs executed in a given class of mathematical structures, and is related to questions of correctness and provability of programs. This point of view allowed the generalization of classical Galois theory to the point of discussing the relation between structure and complexity of solution programs for problems posed in various mathematical theories. Số bản sách:
(10)
Tài liệu số:
(0)
|
3
|
|
4
|
Approximation algorithms for NP-hard problems / Edited by Dorit S Hochbaum Boston : PWS Pub. Co., 1997 596 p. ; 22 cm. Ký hiệu phân loại (DDC): 511.42 Discussing approximation algorithms for n-p hard problems, this study details scheduling, connectivity problems, randomization in approximations, best possible results, and on-line and server problems. Số bản sách:
(1)
Tài liệu số:
(0)
|
5
|
Computational molecular biology : an algorithmic approach / Pavel Pevzner Cambridge, Mass. : MIT Press, 2000. xviii, 314 pages. : illustrations ; 23 cm. Ký hiệu phân loại (DDC): 572.8 This text covers a broad range of algorithmic and combinatorial topics in computational molecular biology. It describes the connections between this emerging field with the disciplines of molecular biology and biotechnology. Số bản sách:
(1)
Tài liệu số:
(0)
|
|
|
|
|