|
|
 |
| Результат поиска |
Поиск книг, содержащих: Functional programming
| Книга | Страницы для поиска | | Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь | 330 | | Mangano S. — XSLT Cookbook | | | Morris B., Davies Ch., Day W. — The Symbian OS Architecture Sourcebook: Design and Evolution of a Mobile Phone OS | 96—97 | | Kirsanov D. — XSLT 2.0 Web Development | 2nd 3rd 4th | | Barton J.J., Nackman L.R. — Scientific and engineering C++ | 139 | | Gray J. — Mastering Mathematica | 169—182 | | Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP | 44 | | Luger G.F., Stubblefield W.A. — Artificial Intelligence: Structures and Strategies for Complex Problem Solving | 425—426 | | Lawrence C. Paulson — ML for the working programmer | 1—11, 38, 58 | | Hußmann H. — Formal Foundations for Software Engineeing Methods | 28 | | Scott M.L. — Programming Language Pragmatics | 592, 591—623 | | Milner R. — Communicating and mobile systems: the symbol for pi-calculus | 98, 106, 125, 152 | | Milner R. — Communicating and Mobile Systems: the Pi-Calculus | 98, 106, 125, 152 | | Thompson S. — Haskell: the craft of functional programming | 3 | | Giarratano J.C., Riley G.D. — Expert Systems: Principles and Programming | 34 | | Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming | 560—561 | | Langtangen H. — A Primer on Scientific Programming with Python | 497 | | Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах | 306 | | Lieberherr K. — Adaptive object-oriented software. The Demetr method | 25 | | Jacky J. — The Way of Z: Practical Programming with Formal Methods | 31, 298 |
|
|
|
|
О проекте