Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Satisfiability



КнигаСтраницы для поиска
Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ852
Bach E., Shallit J. — Algorithmic Number Theory (том 1)48
Simpson S.G. — Mathematical Logic7, 22, 25, 27
Kanatani K. — Statistical Optimization for Geometric Computation: Theory and Practice50, 133
Niedermeier R. — Invitation to Fixed Parameter Algorithms13, 17, 20, 46, 266
Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic373, 469
Garey M.R., Johnson D.S. — Computers and intractability. A guide to the theory of NP-completeness13,38—44, 107, 169, 181, 259.
Finch S.R. — Mathematical constants388
Purdom R.W., Brown C.A. — The analysis of algorithms172, 293, 427
Sedgewick R. — Algorithms529, 531—532
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP110
Kneale M. — Development of Logic705
Luger G.F., Stubblefield W.A. — Artificial Intelligence: Structures and Strategies for Complex Problem Solving65—67
Koblitz N., Wu Y.-H., Menezes A.J. — Algebraic Aspects of Cryptography110
Knuth D.E. — The art of computer programming (vol. 3 Sorting and Searching)242
Papadimitriou C.H., Steiglitz K. — Combinatorial Optimization: Algorithms and Complexity314, 347, 350, 356—58, 377, 394, 400
Mitzenmacher M., Upfal E. — Probability and Computing: Randomized Algorithms and Probabilistic Analysis130, 142—146
Kozen D.C. — The Design And Analysis Of Algorithms111, 257
Smullyan R.M. — First-Order Logic11, 49
Koblitz N., Menezes A.J. (Contributor), Wu Y.-H. (Contributor) — Algebraic Aspects of Cryptography110
Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation290—298, 301—304, 308—318
Gibbons A. — Algorithmic graph theory223
Gibbons A. — Algorithmic graph theory223
Spears W.M. — Evolutionary Algorithms. The Role of Mutation and Recombination21—28, 35, 200—201, 209
Drmota M., Flajolet P., Gardy D. — Mathematics and computer science 3. Algorithms, trees, combinatorics and probabilities507
Salzberg S., Searls D., Kasif S. — Computational methods in molecular biology265
Bruss D. (ed.), Leuchs G. (ed.) — Lectures on Quantum Information27
Meyer J.-J.Ch. — Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science)222
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте