Поиск книг, содержащих Hopcroft, J. :: Электронная библиотека попечительского совета мехмата МГУ

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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

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

square

Пятый курс

Авторизация

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

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

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

Книга	Страницы для поиска
Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 1)	1629
Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 2)	68, 168, 169, 1517, 1629; see Fortune, S., Fursl, M.L.
Zimand M. — Computational Complexity: A Quantitative Perspective	50
Kempen G. — Natural language generation	280
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP	131, 373
Sack J.R., Urrutia J. (Ed) — Handbook of Computational Geometry	125, 150 [10], 194 [58], 547, 548, 556 [44], 556 [45], 609, 618, 622, 627 [2], 630 [74], 630 [75], 630 [77], 888, 932 [65], 951, 952, 962, 968 [96], 968 [97]
Tucker А. — Applied Combinatorics	49, 132
Barwise J. (ed.) — Handbook of Mathematical Logic	584
Association for Computing Machinery, Society for Industrial and Applied Mathematics — Proceedings of the Eighteenth Annual ACM-Siam Symposium on Discrete Algorithms	1036
Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods	140, 159, 200
Tucker A. — Applied Combinatorics	49, 132
Patten T. — Systemic text generation as problem solving	79
Du D.-Z., Ko K.-I. — Theory of computational complexity	42, 66, 96, 143
Kneebone G.T. — Mathematical Logic and the Foundations of Mathematics: An Introductory Survey	13, 122
Ben-Ari M — Mathematical Logic for Computer Science	13, 122
Gabow H. — Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms (Proceedings in Applied Mathematics)	1036
Brady J.M. — The theory of computer science: A programming approach	14, 83
Shen A. — Algorithms and Programming	59, 212
Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming	55, 338n

О проекте