|
|
 |
| Результат поиска |
Поиск книг, содержащих: Milner, R.
| Книга | Страницы для поиска | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование | 244 | | Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools | 365, 387 | | Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7 | 65—67, 585 | | Hazewinkel M. — Handbook of Algebra (part 2) | 35, 36 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 690, 691, 709, 766, 778, 782 | | Brady J.M. — The theory of computer science: A programming approach | 218, 221, 239, 244 | | Ottmann T. — Automata, Languages and Programming, 14 conf., ICALP87 | 126 | | Zelkowitz M.(editor) — Advances in Computers. Volume 49 | 72, 93 | | Yovits M. — Advances in Computers.Volume 26. | 404, 442 | | Zelkowitz M. — Advances in Computers, Volume 55 | 202, 231 |
|
|
|
|
О проекте