| Êíèãà | Ñòðàíèöû äëÿ ïîèñêà |
| Êîðìåí Ò., Ëåéçåðñîí ×., Ðèâåñò Ð. — Àëãîðèòìû: ïîñòðîåíèå è àíàëèç | 957 |
| Êîðìåí Ò., Ëåéçåðñîí ×., Ðèâåñò Ð. — Àëãîðèòìû: ïîñòðîåíèå è àíàëèç | 83 |
| Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2 | 135.B |
| Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction | 383, 384, 395 |
| Dummit D.S., Foote R.M. — Abstract algebra | 3, 45, 114 |
| Allen R.L., Mills D.W. — Signal analysis. Time, frequency, scale and structure | 202 |
| Hajime Sato — Algebraic Topology: An Intuitive Approach | 107 |
| Kuttler K. — Introduction to linear algebra for mathematicians | 189 |
| Becker T., Weispfenning V. — Groebner bases and commutative algebra | 152 |
| Levine J.R., Manson T., Brown D. — Lex & Yacc | 170 |
| Folland J.B. — Real Analysis: Modern Techniques and Their Applications | 3 |
| Artin M. — Algebra | 53 |
| Loeve M. — Probability Theory (part 2) | 36, 154 |
| Pugovecki E. — Quantum mechanics in hilbert space | 28 |
| Dummit D.S., Foote R.M. — Abstract Algebra | 3 |
| Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume II: Geometry | 11 |
| Mahmoud H.M. — Evolution of random search trees | 254 |
| Small Ch.G. — Functional Equations and how to Solve Them | 58 |
| Halmos P.R., Givant S. — Logic as Algebra | 41 |
| Kaczynski T., Mischaikow K.M. — Computational Homology | 425 |
| Walker R.J. — Algebraic Curves | 5, 9, 126, 167, 168 |
| Velleman D.J. — How to Prove It: A Structured Approach | 214, 215 |
| Borwein P., Choi S., Rooney B. — The Riemann Hypothesis | 133 |
| Hobby D., McKenzie R. — The Structure of Finite Algebras | 8 |
| Enderton H.B. — Elements of set theory | 57 |
| Lau D. — Function Algebras on Finite Sets | 43 |
| James I.M. — Topological and Uniform Spaces | 4, 36, 50, 117 |
| Humphreys J.E. — A Course in Group Theory | 14, 39 |
| Searcid M. — Metric Spaces | 267 |
| Resnick S.I. — A probability path | 64 |
| Connell E.H. — Elements of abstract and linear algebra | 4 |
| Ellis G. — Rings and Fields | 8 |
| Hrbacek K., Jech T. — Introduction to Set Theory | 30 |
| Comtet L. — Advanced Combinatorics. The Art of Finite and Infinate Expansions | 59 |
| Goldblatt R. — Topoi | 61 |
| Shoup V.A. — Computational Introduction to Number Theory and Algebra | xv |
| Alaca S., Williams K.S. — Introductory Algebraic Number Theory | 5 |
| Dugunji J. — Topology | 15 |
| Berberian S.K. — Fundamentals of Real Analysis | 18 |
| Iliadis S.D. — Universal Spaces and Mappings | 4 |
| Humphreys J.F., Prest M.Y. — Numbers, Groups and Codes | 114 |
| Hall B.C. — Lie Groups, Lie Algebras, and Representations: An Elementary Understanding | 287 |
| Green J.A. — Sets and Groups | 17 |
| Atkinson K.E., Han W. — Theoretical Numerical Analysis: A Functional Analysis Framework | 16 |
| Khuri A.I. — Advanced calculus with applications in statistics | 4 |
| Hein J.L. — Discrete Mathematics | 199 |
| Alberti P.M., Uhlmann A. — Stochasticity and Partial Order | 55 |
| Domb C., Green M.S. (eds.) — Phase Transitions and Critical Phenomena (Vol. 1) | 143 |
| Samet H. — Applications of Spatial Data Structures: Computer Graphics, Image Processing, and Other Areas | 186 |
| Lang S. — Undergraduate Algebra | 12 |
| Purdom R.W., Brown C.A. — The analysis of algorithms | 42 |
| Rall D. — Computational Solution to Nonlinear Operator Equations | 20 |
| Boas R.P. — A Primer of Real Functions | 210, 217 |
| Szekeres P. — A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry | 8 |
| Ito K. — Encyclopedic Dictionary of Mathematics | 135.B |
| Lipschutz S.Ph.D. — Schaum's outline of theory and problems of finite mathematics | 60 |
| Duffie D. — Security Markets. Stochastic Models | 61 |
| Strichartz R.S. — The way of analysis | 35, 36, 668, 671 |
| Lopuzanski J. — An introduction to symmetry and supersymmetry in quantum field theory | 41, 42 |
| Hein J.L. — Discrete Structures, Logic, and Computability | 194 |
| Tucker À. — Applied Combinatorics | 352 |
| Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing | see “Equivalence relation” |
| Hu S.-T. — Elements of real analysis | 19 |
| Munkres J. — Topology | 22 |
| O'Donnell C.J. — Incidence Algebras | 1, 4, 9, 19, 20, 24, 26, 101, 102, 104, 105, 107, 129, 129, 285, 301 |
| von Neumann J. — Continuous Geometry | 264 |
| Fenn R. — Geometry | 11 |
| Billingsley P. — Probability and Measure | 52 |
| Hu S.-T. — Elements of general topology | 43 |
| Grimmett G., Stirzaker D. — Probability and Random Processes | 44, 224, 307, 540 |
| Tamura I. — Topology of lie groups, I and II | 7 |
| Axellson O., Barker V.A. — Finite Element Solution of Boundary Value Problems. Theory and Computation | 102—103, 112, 170 |
| Schulman L.S. — Techniques and applications of path integration | 198, 200 |
| Hein J.L. — Theory of Computation: An Introduction | 78 |
| Charalambides C.A. — Enumerative Combinatorics | 493 |
| Barreira L. — Dimension and Recurrence in Hyperbolic Dynamics | 194 |
| Mac Lane S., Birkhoff G.D. — Algebra | 33 |
| Hungerford T.W. — Algebra | 6 |
| Ding-Zhu D., Ker-I K. — Problem solving in automata, languages, and complexity | 70 |
| Ginsburg S. — The mathematical theory of context-free languages | 3 |
| Arbib M.A., Manes E.G. — Arrows structures and functors. The categorical imperative | 17 |
| Bridges D.S. — Foundations Of Real And Abstract Analysis | 6 |
| Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation | 16 |
| Beaumont R.A., Pierce R.S. — The Algebraic Foundations of Mathematics | 216 |
| Thron W. — Introduction to the theory of functions of a complex variable | 4 |
| Grosche C. — Path integrals, hyperbolic spaces, and Selberg trace formulae | 43 |
| Tucker A. — Applied Combinatorics | 352 |
| Hu S.T. — Introduction to general topology | 43 |
| Klaas G., Leedham-Green C.R., Plesken W. — Linear Pro-p-Groups of Finite Width | II.6.2, R.5.2 |
| Hu S.-T. — Introduction to contemporary mathematics | 31 |
| Rosenfeld A. — An introduction to algebraic structures | 67 |
| Aliprantis C. — Principles of real analysis | 7 |
| Choquet-Bruhat Y., DeWitt-Morette C., Dillard-Bleick M. — Analysis, manifolds and physics. Part I. | 5 |
| Ginsburg S. — The mathematical theory of context-free languages | 3 |
| Spanier E.H. — Algebraic Topology | 2 |
| Hille E. — Methods in classical and functional analysis | 146, 160 |
| Munkres J.R. — Topology: A First Course | 22 |
| Amrein W.O., Sinha K.B., Jauch J.M. — Scattering Theory in Quantum Mechanics: Physical Principles and Mathematical Methods | 31, 83, 217 |
| Bruck R.H. — A survey of binary systems | 22, 49 |
| Gelbaum B.R. — Problems in Real and Complex Analysis | 1.1. 4 |
| Carroll R.W. — Mathematical physics | 236 |
| Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation | 7, 11—12, 66—67 |
| Cohen L.W., Ehrlich G. — The Structure of the Real Number System | 10 |
| Shick P.L. — Topology: Point-set and geometric | 24, 101 |
| Kirillov A.A., Gvishiani A.D., McFaden H.H. — Theorems and Problems in Functional Analysis | 4 |
| Gries D. — A Logical Approach to Discrete Math | 277 |
| Lane S.M. — Mathematics, form and function | 133 |
| Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling | see "Equivalence relation" |
| Reithmeier E. — Periodic Solutions of Nonlinear Dynamical Systems: Numerical Computation, Stability, Bifurcation and Transition to Chaos | 39 |
| Mott J.L., Kandel A., Baker T.P. — Discrete Mathematics For Computer Scientists And Mathematicians | 350—351 |
| Mott J., Kandel A., Baker T. — Discrete mathematics for computer scientists and mathematicians | 350—351 |
| Intriligator M.D. — Mathematical optimization and economic theory | 453 |
| Laurens Jansen — Theory of Finite Groups. Applications in Physics | 24 |
| Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 720 |
| Herstein I.N. — Topics in algebra | 7 |
| Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory | 276, 277 |
| Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction | 367, 368, 371, 377 |
| Mcdonald B.R. — Linear algebra over commutative rings | 58 |
| Ginsburg S. — An Introduction to Mathematical Machine Theory | 2 |
| Kaufmann A. — Graphs, dynamic programming, and finite games | 280 |
| Gossett E. — Discrete Math with Proof | 740 |
| Childs L. — A concrete introduction to higher algebra | 6, 99 |
| Sachkov V.N. — Combinatorial methods in discrete mathematics | 4 |
| James I.M. (ed.) — Topological and Uniform Spaces | 4, 36, 50, 117 |
| Abhyankar S.S. — Lectures on Algebra Volume 1 | 34, 37 |
| De Barra G — Measure theory and integration | 17 |
| Ivanov O.A. — Easy as Pi?: An Introduction to Higher Mathematics | 3, 155, 167, 168 |
| Bonahon F. — Low-Dimensional Geometry: From Euclidean Surfaces to Hyperbolic Knots (Student Mathematical Library: Ias Park City Mathematical Subseries) | 84 |
| Schutz B. — Geometrical Methods in Mathematical Physics | 150 |
| Coutinho S. — The mathematics of ciphers: number theory and RSA cryptography | 64—68 |
| Lerdorf R., Tatroe K., MacIntyre P. — Programming PHP | 100 |
| Gill A. — Applied Algebra for the Computer Sciences | 39 |
| Rautenberg W. — A Concise Introduction to Mathematical Logic (Universitext) | 41 |
| Choquet-Bruhat Y., Dewitt-Morette C. — Analysis, manifolds and physics | 5 |
| Buchdahl H.A. — The Concepts of Classical Thermodynamics | 101 |
| Jacky J. — The Way of Z: Practical Programming with Formal Methods | 57 |
| Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming | 220 |
| Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics | 367, 368, 371, 377 |
| Truss J.K. — Foundations of Mathematical Analysis | 3 |
| Lindstrum A.O. — Abstract algebra | 26 |
| Hrbacek K., Jech T. — Introduction to Set Theory, Third Edition, Revised, and Expanded (Pure and Applied Mathematics (Marcel Dekker)) | 30 |
| Jorgensen P.E.T. — Analysis and Probability: Wavelets, Signals, Fractals | 172, 183 |
| Truss J. — Foundations of mathematical analysis | 3 |
| J. K. Truss — Foundations of mathematical analysis MCet | 3 |