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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ722
Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ520
Гудрич М.Т., Тамассия Р. — Структуры данных и алгоритмы в Java606
Khosrowpour M. — Encyclopedia Of Information Science And Technology1316
Becker T., Weispfenning V. — Groebner bases and commutative algebra154
Kreuzer M., Robbiano L. — Computational commutative algebra 192
Velleman D.J. — How to Prove It: A Structured Approach204,209,300
Enderton H.B. — Elements of set theory178, 244
Hrbacek K., Jech T. — Introduction to Set Theory256
Goldblatt R. — Topoi314
Todorchevich S., Farah I. — Some Aplications of the method of forcing119
Sipser M. — Introduction to the theory of computation401
Hein J.L. — Discrete Mathematics183, 498
Papadimitriou C.H. — Computational Complexity212
Purdom R.W., Brown C.A. — The analysis of algorithms41, 55, 416
Sedgewick R. — Algorithms423—426, 493
Howie J.M. (ed.) — An Introduction to Semigroup Theory19
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP94
Hein J.L. — Discrete Structures, Logic, and Computability179, 493
Papadimitriou C.H., Steiglitz K. — Combinatorial Optimization: Algorithms and Complexity403
Tucker А. — Applied Combinatorics137
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsingsee “Closure”, “Transitive”
Ebbinghaus H.-D., Flum J. — Finite Model Theory24, 123, 220
Maier D. — The theory of relational databases527 — 528
Kanovei V.G., Reeken M. — Nonstandard Analysis: Axiomatically44
Petrich M. — Inverse semigroups9
Barwise J. (ed.) — Handbook of Mathematical Logic242
Hein J.L. — Theory of Computation: An Introduction76, 250
Smullyan R.M., Fitting M. — Set theory and the continuum problem177
Ore O., Wilson R.J. — Graphs and Their Uses100
Christofides N. — Graph-Theory: an Algorithmic Approach21
Fraisse R. — Theory of Relations1.4.1
Astfalk G. — Applications on Advanced Architecture Computers239, 242
Tucker A. — Applied Combinatorics137
Leeuwen J.V. — Handbook of Theoretical Computer Science: Algorithms and Complexity540, 650, 872, 906, 907, 912, 919—920
Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computationsee Reflexive and transitive closure
Leeuwen J. (ed.), Meyer A.R., Nivat M. — Algorithms and Complexity, Volume A540,650,872,906,907,912,919—920
Geddes K., Czapor S., Labahn G. — Algorithms for computer algebra435
Kunen K. — Set theory99
Gries D. — A Logical Approach to Discrete Math274
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compilingsee "Closure, transitive"
Hinman P.G. — Fundamentals of Mathematical Logic56, 491
Du D.-Z., Ko K.-I. — Theory of computational complexity110
Seress Á. — Permutation Group Algorithms219, 220
Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory232, 262
Lemm J.M., Meurant G. — Computer Solution of Large Linear Systems168
Di Battista G. — Graph Drawing: Algorithms for the Visualization of Graphs4, 112
Kaufmann A. — Graphs, dynamic programming, and finite games235, 236
Gogolla M. — An Extended Entity-Relationship Model - Fundamentals and Pragmatics59
Gossett E. — Discrete Math with Proof738
Elliott Mendelson — Introduction to mathematical logic213
Andrews P.B. — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof118, 122
Sipser M. — Introduction to the Theory of Computation368
Burgisser P., Clausen M., Shokrollahi M.A. — Algebraic complexity theory445
Gill A. — Applied Algebra for the Computer Sciences33
Yovits M. — Advances in Computers.Volume 26.104, 105
Gries D. — The science of programming317
Jacky J. — The Way of Z: Practical Programming with Formal Methods193, 242, 301, 311
Kunen K. — The Foundations of Mathematics47
Knuth D.E. — Selected papers on discrete mathematics87, 393
Geddes K.O., Czapor S.R., Labahn G. — Algorithms for computer algebra435
Hrbacek K., Jech T. — Introduction to Set Theory, Third Edition, Revised, and Expanded (Pure and Applied Mathematics (Marcel Dekker))256
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте