Книга | Страницы для поиска |
Nagel R. - One-parameter semigroups of positive operators | 5, 52, 128 |
Кормен Т., Лейзерсон Ч., Ривест Р. - Алгоритмы: построение и анализ | 530, 746, 842 |
Nevanlinna R., Paatero V. - Introduction to Complex Analysis | 10 |
Hunter J.K., Nachtergaele B. - Applied Analysis | 16, 88 |
Henrici P. - Applied and Computational Complex Analysis. I: Power Series, Integration, Conformal Mapping, Location of Zeros. | 73 |
van der Dries L. - Tame topology and O-minimal structures | x, 2, 15, 17 |
Rudin W. - Principles of Mathematical Analysis | 35 |
Reed M., Simon B. - Methods of Modern mathematical physics (vol. 1) Functional analysis | 92 |
Graham R.L., Grotschel M., Lovasz L. - Handbook of combinatorics (vol. 1) | 497, 560 |
Ito K. - Encyclopedic Dictionary of Mathematics. Vol. 2 | 425.B |
Jurafsky D., Martin J.H. - Speech and Language Processing | 50, 98 |
Stanley R.P. - Enumerative Combinatorics: Volume 1 | 159 |
Dodge C.W. - Sets, logic & numbers | 75, 85, 110, 143, 147, 158, 161, 163, 181, 201, 225, 227, 242, 244, 250 |
Ben-Israel A., Greville T. - Generalized inverses: Theory and applications | 295 |
Ganesh A., O'Connell N., Wischik D. - Big Queues | 58 |
Olver P.J. - Equivalence, Invariants and Symmetry | 414 |
Seebach J.A., Steen L.A. - Counterexamples in Topology | 6 |
Eisenbud D., Harris J. - The Geometry of Schemes | 26 |
Rydeheard D.E., Burstall R.M. - Computational category theory | 207 |
Hille E. - Ordinary Differential Equations in the complex domain | 4 |
Cameron P.J. - Combinatorics : Topics, Techniques, Algorithms | 203 |
Baker A. - Matrix Groups: An Introduction to Lie Group Theory | 41 |
Messer R. - Linear Algebra: Gateway to Mathematics | 10, 28, 30 |
Rudin W. - Real and Complex Analysis | 35 |
Graham R.L., Grotschel M., Lovasz L. - Handbook of combinatorics (vol. 2) | 497, 560 |
Conway J.B. - Functions of One Complex Variable | 13 |
Springer G. - Introduction to Riemann Surfaces | 45 |
Winograd T. - Understanding computers and cognition | see 'Nervous system' |
Webster R. - Convexity | 34 |
Aho A.V., Sethi R., Ullman J.D. - Compilers: principles, techniques and tools | 93-96, 123 |
Isham J. - Modern Differential Geometry for Physics | 53 |
Steen S.W.P. - Mathematical Logic with Special Reference to the Natural Numbers | 80, 84, 574 |
Terry P.D. - Compliers and Compiler Generators: An Introduction With C++ | 50 |
Fehily C. - SQL (Visual QuickStart Guide) | |
Lee J.M. - Introduction to Topological Manifolds | 25, 26 |
Ahlfors L.V. - Complex analysis | 53 |
Barnsley M. - Fractals Everywhere | 133 |
Frisch U. - Turbulence. The legacy of A.N. Kolmogorov | 98, 197, 206, 211 |
Szego G. - Orthogonal polynomials | see Orthogonal polynomials |
Leslie D.C. - Developments in the theory of turbulence | 40, 42, 50, 51, 109, 131, 140, 144, 145, 153, 190, 191, 236, 283, 285, 303, 305, 310, 312, 317, 334, 346, 347, 349, 354 |
Folland J.B. - Real Analysis: Modern Techniques and Their Applications | 13, 114 |
Pugovecki E. - Quantum mechanics in hilbert space | 27 |
Levine I.N. - Molecular Spectroscopy | 387, 388 |
Curtain R.F., Pritchard A.J. - Functional Analysis in Modern Applied Mathematics | 15 |
Dodge C.W. - Foundations of algebra and analysis | 75, 85, 110, 143, 147, 158, 161, 163, 181, 201, 225, 227, 242, 244, 250 |
Bellman R. - Methods of nonlinear analysis (Vol. 1) | 258 |
Debnath L., Mikusinski P. - Introduction to Hilbert Spaces with Applications | 16 |
Behnke H., Bachmann F., Fladt K. - Fundamentals of Mathematics, Volume II: Geometry | 638 |
Ferguson T.S. - Mathematical Statistics. A Decision Theoretic Approach | 64 |
Gupta M.M., Jin L., Homma N. - Static and dynamic neural networks | 255 |
Mendelson B. - Introduction to Topology | 96 |
Halmos P.R. - Measure Theory | 3 |
Mill J.V. - The Infinite-Dimensional Topology of Function Spaces | 460 |
Kyburg H.E., Teng Ch.M. - Uncertain Inference | 31 |
Eilenberg S., Steenrod N. - Foundations of Algebraic Topology | 4 |
Reich S., Shokhet D. - Nonlinear Semigroups, Fixed Points, and Geometry of Domains in Banach Spaces | 3 |
Kurtz D.S., Swartz C.W. - Theories of Integration | 38 |
Auslender A., Teboulle M. - Asymptotic Cones and Functions in Optimization and Variational Inequalities | 3, 33 |
Monk P. - Finite Element Methods for Maxwell's Equations | 17 |
Dudley R.M., Fulton W. (Ed) - Real Analysis and Probability | 30-31 |
Enderton H.B. - Elements of set theory | 78 |
Prugovecki E. - Quantum Mechanics in Hilbert Space | 27 |
Lau D. - Function Algebras on Finite Sets | 97 |
James I.M. - Topological and Uniform Spaces | 12, 13, 20-23, 27, 32, 38-40, 51, 52, 57, 66-68, 74, 77-79, 81-83, 89, 99, 103-105, 116-118, 132, 133, 141, 144, 145, 154-157 |
Burke E.K., Kendall G. - Search Methodologies: Introductory Tutorials in Optimization and Decision Support Techniques | 249, 328, 329, 331 |
Searcid M. - Metric Spaces | 43-47, 90-91 |
Strauss W.A. - Partial Differential Equations: An Introduction | 386 |
Resnick S.I. - A probability path | 11, 12, 35, 373, 374, 388 |
Araki H. - Mathematical Theory of Quantum Fields | 204 |
Surowski D. - Workbook in higher algebra | 53 |
Bauer F.L. - Decrypted Secrets: Methods and Maxims of Cryptology | 450 |
Allouche J.-P., Shallit J. - Automatic Sequences: Theory, Applications, Generalizations | 7 |
Hrbacek K., Jech T. - Introduction to Set Theory | 60 |
Bondy J.A., Murty U.S.R. - Graph theory with applications | 56 |
Falconer K.J. - Techniques in Fractal Geometry | 2 |
Szkelyhidi L. - Discrete Spectral Synthesis and Its Applications | 4, 10, 15, 101 |
Dugunji J. - Topology | 69 |
Bollobas B. - Modern Graph Theory | 116 |
Wicker S.B., Kim S. - Fundamentals of Codes, Graphs, and Iterative Decoding | 14 |
Choquet-Bruhat Y., Dewitt-Morette C., Dillard-Bleick M. - Analysis, manifolds and physics (vol. 1) | 13 |
Lange K. - Optimization | 29 |
Williamson S. - Combinatorics for computer science | 382 |
Thaller B. - Visual quantum mechanics | 32 |
Morris S.A. - Topology without tears | 47 |
Akivis M., Goldberg V. - Differential Geometry of Varieties with Degenerate Gauss Maps | 71 |
Duistermaat J.J., Kolk J.A.C. - Multidimensional Real Analysis II: Integration | 8 |
Duistermaat J.J., Kolk J.A.C. - Multidimensional Real Analysis I(Cambridge Studies in Advanced Mathematics #86), Vol. 1 | 8 |
Kurosh A.G. - Theory of Groups (vol 1) | 184 |
Wapner L. - The Pea and the Sun: A Mathematical Paradox | 86 |
Zakharov V.E. - What is integrability? | 291 |
Geroch R. - Mathematical physics | 140 |
Reed M., Simon B. - Methods of Functional Analysis (in 4 volumes). Volume 1: Functional Analysis | 92 |
Suykens J.A.K., Horvath G., Basu S. - Advances in learning theory: methods, models and applications | 71 |
Wilansky A. - Modern Methods in Topological Vector Spaces | 42,44, see Banach - Steinhaus; Duality invariant |
Baez J.C., Segal I.E., Zhou Z. - Introduction to algebraic and constructive quantum field theory | 260 |
Chaikin P.M., Lubensky T.C. - Principles of condensed matter physics | 44 |
Goutsias J., Vincent L., Bloomberg D.S. - Mathematical morphology and its applications to image signal processing | 42 |
Streater R.F. (Ed) - Mathematics of Contemporary Physics | 18 |
Klatte D., Kummer B. - Nonsmooth Equations in Optimization: Regularity, Calculus, Methods and Applications | 1 |
Rudin W. - Functional analysis | 6 |
Hopcroft J.E., Motwani R., Ullman J.D. - Introduction to Automata Theory, Languages, and Computation | 85, 87, 104, 109, 117, 199, 284, 382, 425-426 (see also '$\epsilon$-closure') |
Lang S.A. - Undergraduate Analysis | 155, 157 |
Lee J., Davis S.H. (Ed), Ablowitz M.J. (Ed) - First Course in Combinatorial Optimization | 62 |
Sedgewick R. - Algorithms | 258, 261 |
Eidelman Y., Milman V., Tsolomitis A. - Functional Analysis. An Introduction | 13 |
Boas R.P. - A Primer of Real Functions | 35-36 |
Cantwell B.J., Crighton D.G. (Ed), Ablowitz M.J. (Ed) - Introduction to Symmetry Analysis | 9, 124, 125 |
Lang S. - Real Analysis | 22 |
Ito K. - Encyclopedic Dictionary of Mathematics | 425.B |
Meester R., Roy R. - Continuum percolation | 187 |
Howie J.M. (ed.) - An Introduction to Semigroup Theory | 138, 220 |
Taylor J.C. - An Introduction to Measure and Probability | 15 |
Singer I.M., Thorpe J.A. - Lecture Notes on Elementary Topology and Geometry | 6 |
Bichteler K. - Integration - a functional approach | 28 |
Rudin W. - Real and complex analysis | 35 |
Mukhi S., Mukunda N. - Introduction to Topology, Differential Geometry and Group Theory for Physicists | 5 |
Kress R., Gehring F.W. - Numerical Analysis | 28 |
Semple Ch., Steel M. - Phylogenetics | 129 |
Guggenheimer H.W. - Applicable Geometry | 33 |
Sparck Jones K., Wilks Y. - Automatic natural language parsing | 117, 127-128, 130, 139 |
Bachman G., Beckenstein E. - Fourier And Wavelet Analysis | 52 |
Stakgold I. - Green's Functions and Boundary Value Problems | 2, 239 |
Monk J.D. - Mathematical Logic | 190 |
Helemskii A.Ya. - Lectures and Exercises on Functional Analysis, Vol. 233 | 11 |
Nikiforov A.F., Uvarov V. - Special Functions of Mathematical Physics: A Unified Introduction with Applications | 57 |
Weir A.J. - Lebesgue Integration and Measure | 193, 227 |
Tourlakis G.J. - Lectures in Logic and Set Theory: Mathematical Logic | 20 |
Jacobs B. - Categorical Logic and Type Theory | 355, 642 |
Strichartz R.S. - The way of analysis | 97, 373 |
Kolmogorov A.N., Fomin S.V. - Introductory real analysis | 46, 79 |
Lopuzanski J. - An introduction to symmetry and supersymmetry in quantum field theory | 33, 34 |
Köthe G. - Topological vector spaces I | 4 |
Munkres J.R. - Analysis on manifolds | 26 |
Ascher U.M., Russell R.D., Mattheij R.M. - Numerical Solution of Boundary Value Problems for Ordinary Differential Equations | 297 |
Schiff L.I. - Quantum mechanics | 46, 50 |
Papadimitriou C.H., Steiglitz K. - Combinatorial Optimization: Algorithms and Complexity | 411 |
Fomenko А.Т., Mishehenko A.S. - A Short Course in Differential Geometry and Topology | 40, 41 |
Hu S.-T. - Elements of real analysis | 52, 113 |
Queinnec C. - Lisp in Small Pieces | 211 |
Munkres J. - Topology | 95 |
Balian R. - From Microphysics to Macrophysics: Methods and Applications of Statistical Physics (vol. 1) | 51 |
Jackson J.D. - Classical electrodynamics | see 'Completeness relation' |
Berinde V. - Iterative Approximation of Fixed Points | 29 |
Bak J., Newman D.J. - Complex Analysis | 12 |
Granas A., Dugundji J. - Fixed Point Theory | 590 |
Babin A.V., Vishik M.I. - Attractors of Evolution Equations | 21 |
Maier D. - The theory of relational databases | 63 - 65 |
Billingsley P. - Probability and Measure | A11 |
Janich K. - Topology | 6 |
Hu S.-T. - Elements of general topology | 23 |
Reed M., Simon B. - Methods of Modern mathematical physics (vol. 2) Fourier analysis, self-adjointness | 92 |
Tamura I. - Topology of lie groups, I and II | 3, 8 |
Petrich M. - Inverse semigroups | 79 |
Nagata M. - Field Theory | 154 |
Ward S.A. - Computation Structures | 346-347, 401 |
Shafer G., Vovk V. - Probability and finance | 136 |
Olver P.J., Shakiban C. - Applied linear. algebra | 84, 108 |
Holz M., Podewski K.-P., Steffens K. - Injective Choice Functions | 41 |
Simmons G.F. - Introduction to topology and modern analysis | 58 |
Mattheij R.M.M. - Partial differential equations: modeling, analysis, computation | 212 |
Abramsky S., Gabbay D.M., Maibaum T.S.E. - Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods | 246 |
Hollander Fr. - Large deviations | III.1 |
Bertlmann R.A. - Anomalies in Quantum Field Theory | 10 |
West B.J., Bologna M., Grigolini P. - Physics of Fractal Operators | 123 |
Weissbluth M. - Atoms and Molecules | 685, 696 |
Bernard P.S., Wallace J.M. - Turbulent Flow: Analysis, Measurement and Prediction | 8, 20, 28-29, 47, 297, 304, 307, 353 |
Ash R.B. - Real Variables with Basic Metric Space Topology | 22 |
Mac Lane S., Birkhoff G.D. - Algebra | 56, 57, 90, 576 |
Herzog B. - Kodaira-Spencer Maps in Local Algebra | 14 |
Pears A.R. - Dimension theory of general spaces | 3 |
Fischer G. - Complex Analytic Geometry | 41 |
Sequeira A., da Veiga H.B., Videman J.H. - Applied Nonlinear Analysis | 19 |
Anderson G.A., Granas A. - Fixed Point Theory | 590 |
Birknoff - Lattice Theory | x |
Janson S., Rucinski A., Luczak T. - Random Graphs | 282 |
Lang S. - Real and Functional Analysis (Graduate Texts in Mathematics Series #142) | 22 |
Chailloux E., Manoury P., Pagano B. - Developing Applications with Objective Caml | 23, 26 |
Chepyzhov V.V., Vishik M.I. - Attractors for equations of mathematical physics | 212 |
Bazaraa M.S., Sherali H.D., Shetty C.M. - Nonlinear Programming: Theory and Algorithms | 45, 761 |
Friedlander F.G. - The Wave Equation on a Curved Space-Time | 263 |
Attard P. - Therodynamics and Statistical Mechanics: Equilibrium by Entropy Maximisation | 214-221 |
Beth T., Jungnickel D., Lenz H. - Design Theory (vol. 2) | 819 |
Perrin D., Pin J.-E. - Infinite Words: Automata, Semigroups, Logic abd Games | 137 |
Kaplansky I. - Fields and rings | 140 |
Bridges D.S. - Foundations Of Real And Abstract Analysis | 38, 130 |
Lewis H.R., Papadimitriou C.H. - Elements of the Theory of Computation | 30, 37-39 |
Browder A. - Mathematical Analysis: An Introduction | 125 |
Eisenbud D., Harris J. - The geometry of schemes (textbook draft) | 26 |
Suykens J.A.K., Horvath G. - Advanced learning theory: methods, moduls and applications | 71 |
Grosche C. - Path integrals, hyperbolic spaces, and Selberg trace formulae | 22 |
Marks R.J.II. - The Joy of Fourier | 527, 528, 627, 628, 645 |
Cairns S.S. - Introductory topology | 53 |
Rogosinski W.W. - Volume and integral | 1.13 |
Hu S.T. - Introduction to general topology | 22 |
Hefferon J. - Linear algebra | 95 |
Hu S.-T. - Introduction to contemporary mathematics | 173, 192 |
Hirst G. - Semantic interpretation and the resolution of ambiguity | 150-152, 155-157 |
Rosser J.B. - Simplified independence proofs. Boolean valued models of set theory | 13, 162-164 |
Nehari Z. - Conformal mapping | 1 |
Duistermaat J.J, Kolk J.A.C. - Distributions: theory and applications | 2 |
Gleason A. - Fundamentals of Abstract Analysis | 233 |
Semadini Z. - Banach Spaces of Continuous Functions. Vol. 1 | 43 |
Choquet-Bruhat Y., DeWitt-Morette C., Dillard-Bleick M. - Analysis, manifolds and physics. Part I. | 13 |
Ashby W.R. - An introduction to cybernetics | 11, 28, 76, 108 |
IItaka S. - Algebraic Geometry: An Introduction to Birational Geometry of Algebraic Varieties | 14, 15 |
Marathe K.B., Martucci G. - The mathematical foundations of gauge theories | 299 |
Hille E. - Methods in classical and functional analysis | 310-316 |
Munkres J.R. - Topology: A First Course | 94 |
Johnstone P.T. - Topos Theory | 77 |
McShane E.J., Botts T.A. - Real Analysis | 46 |
Springer G. - Introduction to Riemann Surfaces | 45 |
Bruck R.H. - A survey of binary systems | 119 |
Gelbaum B.R. - Problems in Real and Complex Analysis | 2.1. 12, 7.1. 95 |
Keimel K. - Ordered Cones And Approximation | 15 |
Rosser J.B., Turquette A.R. - Many-valued logics | 81 |
Chaikin P., Lubensky T. - Principles of condensed matter physics | 44 |
Carroll R.W. - Mathematical physics | 313 |
Lang S. - Undergraduate analysis | 155, 157 |
Hopcroft J.E., Ullman J.D. - Introduction to automata theory, languages, and computation | see Kleene closure |
Bellman R. - Perturbation Techniques in Mathematics, Physics, and Engineering | 71 |
Stakgold I. - Green's functions and boundary value problems | 2, 239 |
Shick P.L. - Topology: Point-set and geometric | 59, 79 |
Bachman G. - Elements of Abstract Harmonic Analysis | 62 |
Eilenberg S. - Automata, languages, and machines. Volume A | 379 |
McGuire J.H. - Electron correlation dynamics in atomic collisions | 181, 189, 244 |
Mathews J., Walker R.L. - Mathematical methods of physics | 266 |
Gabbay D.M., Hogger C.J., Robinson J.A. - Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming | 130 |
Loomis L.H., Sternberg S. - Advanced calculus | 198 |
Lane S.M. - Mathematics, form and function | 327-328 |
Bellman R. - Methods of nonlinear analysis (Vol. 2) | 214, 219, 220 |
Frankel T. - The geometry of physics: an introduction | 106 |
Langtangen H. - A Primer on Scientific Programming with Python | 497 |
Ponstein J. - Nonstandart Analysis | 111 |
Kelley J., Namioka I. - Linear Topological Spaces | 27 |
Zeidler E. - Applied Functional Analysis: Applications to Mathematical Physics | 31 |
Hille E., Phillips R.S. - Functional Analysis and Semi-Groups | 3 |
Haley D.K. - Equational Compactness in Rings With Applications to the Theory of Topological Rings | 38 |
Daepp U., Gorkin P. - Reading, writing and proving. Close look at mathematics | 312 |
Partee B.H., Meulen A.T., Wall R.E. - Mathematical Methods in Linguistics | 249, 250, 263, 335, 462, 464, 492, 499, 511, 533, 542, 551, 553, 561, 563, 604 |
Cohen G.L. - A Course in Modern Analysis and Its Applications | 157 |
Zeidler E. - Oxford User's Guide to Mathematics | 257 |
Seress Á. - Permutation Group Algorithms | 83, 111 |
Tourlakis G.J. - Lectures in Logic and Set Theory: Set Theory | 21, see also "Relation" |
Rao J.R. - Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism | 34, 38, 40 |
Horn R.A. - Matrix Analysis | 282 |
Schott J.R. - Matrix Analysis for Statistics | 70 |
Pier J.-P. - Mathematical Analysis during the 20th Century | 36 |
Vidyasagar M. - Nonlinear systems analysis | 470 |
Sakurai J.J. - Modern quantum mechanics | 19 |
Treves F. - Topological Vector Spaces, Distributions And Kernels | 8 |
Floret K. - Weakly Compact Sets | 33, 37 |
Spencer J.H. - The Strange Logic of Random Graphs | 73, 100 |
Rodberg L.S., Thaler R.M. - Introduction to the quantum theory of scattering | 85, 109, 115 |
Jablan S., Sazdanovic R. - LinKnot: knot theory by computer | 283 |
Geroch R. - Mathematical physics | 140 |
James I.M. (ed.) - Topological and Uniform Spaces | 12, 13, 20-23, 27, 32, 38-40, 51, 52, 57, 66-68, 74, 77-79, 81-83, 89, 99, 103-105, 116-118, 132, 133, 141, 144, 145, 154-157 |
Bruno A.D., Fen L.S. - Power geometry in algebraic and differential equations | 10 |
De Barra G - Measure theory and integration | 17 |
Robertson A.P., Robertson W. - Topological vector spaces | 6 |
Magaril-Il'yaev G.G., Tikhomirov V.M. - Convex Analysis: Theory and Applications | 28 |
Elliott Mendelson - Introduction to mathematical logic | 53 |
Brady J.M. - The theory of computer science: A programming approach | 11, 231, 233, 235ff, 239, 243 |
Mattheij R.M. - Partial differential equations | 212 |
Steen S. - Mathematical Logic with Special Reference to the Natural Numbers | 80, 84, 574 |
Bell E.T. - Mathematics: Queen and Servant of Science | 169 |
Frankel T. - The geometry of physics: An introduction | 106 |
Muir J. - Of Men and Numbers: The Story of the Great Mathematicians | 165 |
Scheinerman E.A. - Mathematics: A Discrete Introduction | 310, 319, 338, 552 |
Zorich V.A., Cooke R. - Mathematical analysis II | 6, 13 |
Zorich V. - Mathematical Analysis | 6, 13 |
Gill A. - Applied Algebra for the Computer Sciences | 93 |
Ward S., Halstead R. - Computation Structures (MIT Electrical Engineering and Computer Science) | 346-347, 401 |
Rivasseau V. - From Perturbative to Constructive Renormalization | 101 |
Choquet-Bruhat Y., Dewitt-Morette C. - Analysis, manifolds and physics | 13 |
Mathews J., Walker R.L. - Mathematical Methods of Physics | 266 |
Mac Lane S. - Mathematics: Form and Function | 327-328 |
Jackson J.D. - Classical electrodynamics | see "Completeness" |
Beth T., Jungnickel D., Lenz H. - Design Theory (Vol. 1) | 819 |