Êíèãà | Ñòðàíèöû äëÿ ïîèñêà |
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., Shoikhet 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 |
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. — 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 |
Geroch R. — Mathematical physics | 140 |
Buckmaster J. — The Mathematics of combustion | 101, 105, 128 |
Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science | 53, 68 |
Isham C. — Modern Differential Geometry for Physicists | 53 |
Steen S. — Mathematical Logic | 80, 84, 574 |
Truss J.K. — Foundations of Mathematical Analysis | 107 |
Bird R., de Moor O. — Algebra of programming | 157—162 |
Hrbacek K., Jech T. — Introduction to Set Theory, Third Edition, Revised, and Expanded (Pure and Applied Mathematics (Marcel Dekker)) | 60 |
Truss J. — Foundations of mathematical analysis | 107 |
J. M. Borwein, Qi.Zhu — Techniques of Variational Analysis (CMS Books in Mathematics) | 3 |
J. K. Truss — Foundations of mathematical analysis MCet | 107 |