| Книга | Страницы для поиска |
| Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование | 82 |
| Кульгин М.В. — Компьютерные сети. Практика построения | 334 |
| Grinstead C.M., Snell J.L. — Introduction to Probability | 137 |
| Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2 | 377.A |
| Hodgson E. — A Textbook of Modern Toxicology | see Constitutive active receptor |
| Maeder R.E. — Computer science with mathematica | 213 |
| Rowe N.C. — Artifical intelligence through Prolog | see Automobile diagnosis and Automobile repair |
| Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог | 44 |
| Ito K. — Encyclopedic Dictionary of Mathematics | 377.A |
| Эндрю А. — Искусственный интеллект | 220 |
| Бауэр Ф.Л., Гооз Г. — Информатика | 96 |
| Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP | 20, 484 |
| Kadison R.V., Ringrose J.R. — Fundamentals of the Theory of Operator Algebras (vol. 2) Advanced Theory | 759, 795, 796, 904 |
| Кульгин М.В. — Компьютерные сети. Практика построения. Для профессионалов | 334 |
| Alagić S., Arbib M.A. — The Design of Well-Structured and Correct Programs | 211 |
| Тан К.Ш., Стиб В.-Х., Харди Й. — Символьный C++ | 384 |
| Billingham J., King A.C. — Wave Motion | 130 |
| Berger M., Cole M. (translator) — Geometry I (Universitext) | 18.6.11 |
| Queinnec C. — Lisp in Small Pieces | xviii, 27, 38, 94, 137, 195, 385, 398 |
| Ashby W.R. — An introduction to cybernetics | 215, 257 |
| Steen W.M. — Laser material Processing | 27 |
| Ferrario M., Ciccotti G., Binder K. — Computer Simulations in Condensed Matter Systems. Volume 2 | 510 |
| Streater R.F. — Statistical Dynamics: A Stochastic Approach to Nonequilibrium Thermodynamics | 191, 213 |
| Brady J.M. — The theory of computer science: A programming approach | 150 |
| McGettrick A.D. — The Definition of Programming Languages | 63—66 |
|
|
О проекте