|
|
 |
| Результат поиска |
Поиск книг, содержащих: Kozen, D.
| Книга | Страницы для поиска | | Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 1) | 1519 | | Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 2) | 1519 | | Ghosh S.K. — Visibility Algorithms in the Plane | 146, 194, 195, 276 | | Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7 | 64, 70—72, 499, 527, 530, 531, 537, 548 | | Du D. (ed.), Pardalos P. (ed.) — Handbook of combinatorial optimization: supplement volume A | 46, 64 | | Sack J.R., Urrutia J. (Ed) — Handbook of Computational Geometry | 660, 689 [75] | | Monk J.D., Bonnet R. — Handbook Of Boolean Algebras Vol.3 | 1313 | | Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods | 136, 140, 193 | | Cox D.A., Little J., O'Shea D. — Using Algebraic Geometry | 67, 468 | | Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation | 376 | | Du D.-Z., Ko K.-I. — Theory of computational complexity | 112 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 468, 690, 766, 780 | | Yovits M. — Advances in Computers.Volume 26. | 127, 131, 157 |
|
|
|
|
О проекте