| Êíèãà | Ñòðàíèöû äëÿ ïîèñêà |
| Êîðìåí Ò., Ëåéçåðñîí ×., Ðèâåñò Ð. — Àëãîðèòìû: ïîñòðîåíèå è àíàëèç | 673 |
| Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 1) | 1043, 1049 |
| Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2 | 361.B |
| Dodge C.W. — Sets, logic & numbers | 118, 145, 153, 161, 184, 221, 227, 272 |
| MacDonald M. — Access 2007: The Missing Manual | 2nd |
| MacDonald M. — Access 2007 for Starters: The Missing Manual | 2nd |
| Messer R. — Linear Algebra: Gateway to Mathematics | 18 |
| Thomas J.M. — Differential systems | 2 |
| Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 2) | 1043, 1049 |
| Deitel H.M. — Visual C# How to Program | 2nd |
| Maeder R.E. — Computer science with mathematica | 46, 103 |
| Deitel H.M. — C++ How to Program | 2nd 3rd |
| Lischner R. — C++ in a Nutshell | |
| Dodge C.W. — Foundations of algebra and analysis | 118, 145, 153, 161, 184, 221, 227, 272 |
| Wegener I. — Complexity of Boolean Functions | 50 |
| Knopp K. — Elements of the Theory of Functions | 4, 20f. |
| Steege R., Bailey K., Hademenos G.J. — Intermediate Algebra: Based on Schaum's Outline of Theory and Problems of Intermediate Algebra | 11, 27 |
| Grillet P.A. — Abstract Algebra | 106 |
| Halmos P.R., Givant S. — Logic as Algebra | 28, 53, 117 |
| Estep D.J. — Practical Analysis in One Variable | 21 |
| Rich B., Schmidt P. — Schaum's Outline of Review of Elementary Mathematics | 29—32 |
| Heesterman A.R.G. — Matrices and Their Roots: A Textbook of Matrix Algebra/With Disk | 1, 16, 17, 27, 52, 97, 118, 189, 259, 272, 295, 304, 324, 346 |
| Enderton H.B. — Elements of set theory | see Arithmetic |
| Sokolnikoff I.S. — Advanced Calculus | 10 |
| Thompson J.E. — Arithmetic for the Practical Man | 8 |
| Goldblatt R. — Topoi | 342 |
| Blyth T.S., Robertson E.F. — Basic Linear Algebra | 5 |
| Spivak M. — Calculus | 5 |
| Fripp A., Fripp J., Fripp M. — Just-in-Time Math for Engineers | 2 |
| Knuth D.E. — The art of computer programming (vol. 2 Seminumerical Algorithms) | 194, 207, 213, 265, 267—268, 281 |
| Rall D. — Computational Solution to Nonlinear Operator Equations | 2 |
| Gonnet G.H., Baeza-Yates R. — Handbook of algorithms and data structures | 235 |
| Elberly D.H., Shoemake K. — Game Physics | 545 |
| Patterson D.A., Hennessy J.L. — Computer Organization and Design: The Hardware/Software Interface | 170—176 |
| Ito K. — Encyclopedic Dictionary of Mathematics | 361.B |
| Lerner K.L., Lerner B.W. — The gale encyclopedia of science (Vol. 6) | 6:3887—3888. See also Arithmetic |
| Irvine K.R. — Assembly Language for Intel-Based Computers | 107—114 |
| Heitler W. — The Quantum Theory of Radiation | see “Omission” |
| Hofstadter D.R. — Godel, Escher, Bach: An Eternal Golden Braid | 52—53, 411—412 |
| Knuth D.E. — The art of computer programming (Vol. 2. Seminumerical algorithms) | 178, 191, 197, 250—253, 265—268 |
| Cody R.P., Smith J.K. — Applied Statistics and the SAS Programming Language | 9 |
| Char B.W. — First Leaves: A Tutorial Introduction to Maple V | 3 |
| Müller S.M.(ed.), Paul W.J.(ed.) — The Complexity of Simple Computer Architectures | 37 |
| Touretzky D.S. — Common LISP: a gentle introduction to symbolic computation | 2 |
| Searle S.R. — Matrix algebra useful for statistics | 30 |
| D'Angelo J.P., West D.B. — Mathematical Thinking: Problem-Solving and Proofs | 3, 16, 7, 77, 135, 375—6 |
| Ward S.A. — Computation Structures | see arithmetic |
| Olver P.J., Shakiban C. — Applied linear. algebra | 50, 202 |
| Kaye R. — Models of Peano Arithmetic | 6, 19 |
| Kurosh A. — Higher Algebra | 261 |
| Trefethen L.N., Bau D. — Numerical Linear Algebra | 91, 108 |
| Knopp K. — Theory and applications of infinite series | 5, 31 |
| Polchinski J. — String theory (volume 1). An introduction to the bosonic string | 39, 47, 60 |
| Bell E.T. — The Development of Mathematics | 71, 172, 214 |
| Cheng T.-P., Li L.-F. — Gauge Theory of Elementary Particle Physics | 34 (see also renormalization, regularization scheme) |
| Schubert H. — Mathematical essays and recreations | 10, 73 |
| Kaplan W. — Introduction to analytic functions | 2—3 |
| Thron W. — Introduction to the theory of functions of a complex variable | 8, 22 |
| Menninger K. — Calculator's cunning. The art of quick reckoning | 24—27 |
| Hu S.-T. — Introduction to contemporary mathematics | 91 |
| Aliprantis C. — Principles of real analysis | 20 |
| Przeworska-Rolewicz D., Rolewicz S. — Equations in linear spaces | 16, 26 |
| Schremmer A. — Reasonable basic algebra | 42 |
| Schneider D.I. — Computer programming concepts and visual basic | 35 |
| Thomas J.M. — Differential systems | 2 |
| Bashe C.J., Johnson L.R., Pugh E.W. — IBM's Early Computers | 12—13, 41—44, 590—593 |
| Thomas J.M. — Differential systems | 2 |
| Leeuwen J.V. — Handbook of Theoretical Computer Science: Algorithms and Complexity | 899, 905, 907—908 |
| Katz V.J. — A History of Mathematics: An Introduction | see Arithmetic computations |
| Leeuwen J. (ed.), Meyer A.R., Nivat M. — Algorithms and Complexity, Volume A | 899,905,907—908 |
| Diaz J. (ed.), Ramos I. (ed.) — Formalization of Programming Concepts | 4.5.3 |
| Sawyer W.W. — Mathematician's Delight | 56, 63, 64 |
| Hamacher C., Vranesic, Zaky S. — Computer Organization 5th Edition | 29 |
| Wrede R.C., Spiegel M. — Theory and problems of advanced calculus | 2 |
| Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 77, 78, 80, 81 |
| Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 89, 349 |
| Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory | see "Difference" |
| Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction | 137, 224, 225, 227, 228, 356 |
| Ifrah G., Bellos D. — The Universal History of Numbers: From Prehistory to the Invention of the Computer | 174 |
| Baker A.L. — Quaternions as the Result of Algebraic Operations | 4 |
| Deitel H., Deitel P.J. — C. How to Program | 5 |
| Bell E.T. — Mathematics: Queen and Servant of Science | 31 |
| Stein S. — Strength In Numbers: Discovering the Joy and Power of Mathematics in Everyday Life | 128 |
| Morgan D. — Numerical Methods Real-Time and Embedded Systems Programming by Don Morgan Index | 21, 34, 125, 136, 137, 164 |
| Muir J. — Of Men and Numbers: The Story of the Great Mathematicians | 2, 5—6, 167—168 |
| Andrews P.B. — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof | 231 |
| Jacky J. — The Way of Z: Practical Programming with Formal Methods | 72, 271, 277, 301, 313 |
| Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics | 137, 224, 225, 227, 228, 356 |
| D'Angelo J.P., West D.B. — Mathematical thinking: problem-solving and proofs | 3, 16—17, 77, 135, 375—376 |
| Melissinos A.C. — Principles of modern technology | 47 |
| Stein S. — Strength In Numbers: Discovering the Joy and Power of Mathematics in Everyday Life | 128 |
| Truss J.K. — Foundations of Mathematical Analysis | 16, 88 |
| Truss J. — Foundations of mathematical analysis | 16, 88 |
| J. K. Truss — Foundations of mathematical analysis MCet | 16, 88 |
| Sondheimer E., Rogerson A. — Numbers and Infinity: A Historical Account of Mathematical Concepts | 28 |
|
|
Î ïðîåêòå