| Книга | Страницы для поиска |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 667 |
| Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь | 346 |
| Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 1) | 418 |
| Doob J.L. — Stochastic processes | 246 |
| Zienkiewicz O.C., Taylor L.R. — The finite element method (vol. 1, The basis) | 504 |
| Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 2) | 418 |
| Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers | 345 |
| Mitchell T. — Web Mapping | |
| Chorin A., Marsden J. — A Mathematical Introduction to Fluid Mechanics | 122 |
| Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume II: Geometry | 646 |
| Ash C.J., Knight J., Sevenster A. (Ed) — Computable Structures and the Hyperarithmetical Hierarchy | 21 |
| Eringen A.C. — Mechanics of continua | 81 |
| Spivak M. — Calculus | 60 |
| Boas R.P. — A Primer of Real Functions | 85, 151, 159—161 |
| Patterson D.A., Hennessy J.L. — Computer Organization and Design: The Hardware/Software Interface | 73, 77, 80, 89, 296 |
| Zauderer E. — Partial Differential Equations of Applied Mathematics | 56, 75, 340 |
| Kolmogorov A.N., Fomin S.V. — Introductory real analysis | 315 |
| Queinnec C. — Lisp in Small Pieces | 242 |
| Neufeld G.G., Immers R. — Inside Commodore DOS | 112 |
| Scott M.L. — Programming Language Pragmatics | see “goto statement” |
| Auletta G. — Foundations and Interpretation of Quantum Mechanics | 23, 99, 100, 393, 396, 398, 400—402, 411, 567, 792 |
| Serre J.-P. — Local Fields | 75 |
| Ashby W.R. — An introduction to cybernetics | 9, 28 |
| Young L.C. — The theory of integration | 6 |
| Lukacs E. — Characterisic functions | 10 |
| Bryant R., O'Hallaron D.R. — Computer Systems: A Programmer's Perspective | 153 |
| Fuch L. — Partially ordered algebraic systems | 50 |
| Hinman P.G. — Fundamentals of Mathematical Logic | 771 |
| Howes N.R — Modern Analysis and Topology | 295 |
| Silhavy M. — The Mechanics and Thermodynamics of Continuous Media | 426 |
| Strang G. — Introduction to Applied Mathematics | 169, 270, 593 |
| Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах | 321 |
| Serre J. — Local Fields (Graduate Texts in Mathematics) | 75 |
| Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 239, 380 |
| Zeidler E. — Oxford User's Guide to Mathematics | 511 |
| John F. — Partial Differential Equations | 36, 37 |
| Fenstad J.E. — General recursion theory: An axiomatic approach | 149 |
| Brady J.M. — The theory of computer science: A programming approach | 239, see also "Goto" |
| McGettrick A.D. — The Definition of Programming Languages | 36, 157, 170, 173, 203, 235 |
| Steen S. — Mathematical Logic with Special Reference to the Natural Numbers | 345 |
| Rautenberg W. — A Concise Introduction to Mathematical Logic (Universitext) | 37 |
| Serre J. — Local Fields (Graduate Texts in Mathematics 67) | 75 |
| Buckmaster J. — The Mathematics of combustion | 150, 154 |
| Steen S. — Mathematical Logic | 345 |
| Abramsky S., Barwise J., Fine K. — Recursive Functionals. Studies in Logic and the Foundations of Mathematics Volume 131 | 184 |
|
|
О проекте