Êíèãà | Ñòðàíèöû äëÿ ïîèñêà |
Êîðìåí Ò., Ëåéçåðñîí ×., Ðèâåñò Ð. — Àëãîðèòìû: ïîñòðîåíèå è àíàëèç | 527, 684 |
Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 1) | 1451 |
Sertoz S. — Algebraic Geometry | 56 |
Lang S. — Algebra | 3 |
Ewald G. — Combinatorial convexity and algebraic geometry | 154 |
Christofides N. (ed.), Mingozzi A. (ed.), Toth P. (ed.) — Combinatorial Optimization | 25 |
MacLane S. — Categories for the working mathematician | 2, 4, 11, 75, 134, 166 |
Pommaret J.F. — Differential Galois Theory | 1B 1.1 |
Lueneburg H. — Tools and fundamental constructions of combinatorial mathematics | 24, 26, 112 |
Becker T., Weispfenning V. — Groebner bases and commutative algebra | 62 |
Kreuzer M., Robbiano L. — Computational commutative algebra 1 | 17, 41 |
Shnider S., Stasheff J., Markl M. — Operads in Algebra, Topology, and Physics | 30 |
Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 2) | 1451 |
Pareigis B. — Categories and functors | 55, 56, 62, 145 |
MacLane S., Moerdijk L. — Sheaves in Geometry and Logic | 25, 27, 248 |
Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume III: Analysis | 524 |
Straubing H. — Finite automata, format logic, and circuit complexity | 7 |
Lawvere F.W., Rosebrugh R. — Sets for Mathematics | 77, 167 |
Wolkenhauser O. — Data Engineering: Fuzzy Mathematics in Systems Theory and Data Analysis | 107 |
Marchisotto E.A., Smith J.T. — Legacy of Mario Pieri in Geometry and Arithmetic | 377 |
Grillet P.A. — Abstract Algebra | 3, 614 |
Street R., Murray M. (Ed), Broadbridge Ph. (Ed) — Quantum Groups: A Path to Current Algebra | 2, 7, 97 |
Ash R.B. — Abstract algebra: the basic graduate year | 1.1 |
Godsil C., Royle G. — Algebraic Graph Theory | 8 |
Cartan E., Eilenberg S. — Homological Algebra, Vol. 19 | 148, 187ff |
Stenstroem B. — Ring of quotients. Introduction to methods of ring theory | 15 |
Hatcher A. — Algebraic Topology | 163 |
Salomaa A., Soittola M. — Automata-Theoretic Aspects of Formal Power Series | 1 |
Lau D. — Function Algebras on Finite Sets | 28 |
Holt D.F., Bettina E., Eamonn O. — Handbook of Computational Group Theory | 412 |
Ramirez Alfonsin J.L. — Diophantine Frobenius Problem | 55 |
Burris S., Sankappanavar H.P. — A Course in Universal Algebra | 27 |
Ito M. — Algebraic Theory of Automata and Languages | 1 |
Allouche J.-P., Shallit J. — Automatic Sequences: Theory, Applications, Generalizations | 2, 55 |
Freyd P. — Abelian categories. Introduction to theory of functors | 11 |
Pierce B.C. — Basic category theory for computer scientists | 4 |
Goldblatt R. — Topoi | 31, 100 |
Kono A., Tamaki D. — Generalized Cohomology | 67 |
Corfield D. — Towards a Philosophy of Real Mathematics | 271 |
Higgins P. — Techniques of Semigroup Theory | 1 |
Hein J.L. — Discrete Mathematics | 517 |
Goutsias J., Vincent L., Bloomberg D.S. — Mathematical morphology and its applications to image signal processing | 61 |
Howie J.M. (ed.) — An Introduction to Semigroup Theory | 2 |
Snyder V., Sisam C.H. — Analytic Geometry of Space | 219 |
Barton J.J., Nackman L.R. — Scientific and engineering C++ | 475 |
Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures | 325 |
Lawvere F.W., Schanuel S.H. — Conceptual Mathematics: A First Introduction to Categories | 166ff |
Borceux F. — Handbook of Categorical Algebra 3 | II.186 |
Hilgert J., Neeb K.-H. — Lie Semigroups and their Applications | 19 |
Jacobs B. — Categorical Logic and Type Theory | 70, 461, 600, 601 |
Bourbaki N. — Algebra I: Chapters 1-3 | I, § 2, no. 1 |
Hein J.L. — Discrete Structures, Logic, and Computability | 511 |
Pedicchio M. C., Tholen W. — Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory | V.215, 258 |
Hu S.-T. — Elements of real analysis | 39 |
Stenstrom B. — Rings of quotients: an introduction to methods of ring theory | 15 |
Petrich M. — Inverse semigroups | 12 |
Kozen D.C. — The Design And Analysis Of Algorithms | 30 |
Aczel J., Dhombres J. — Functional equations in several variables with applications to mathematics, information theory and to the natural and social sciences | 43, 114, 342 |
Borceux F. — Handbook of Categorical Algebra: Categories and Structures, Vol. 2 | 186 |
Borceux F. — Handbook of Categorical Algebra: Categories and Structures, Vol. 2 | 186 |
Jonsson B. — Topics in Universal Algebra | 19 |
Rosenfeld B. — Geometry of Lie Groups | 2 |
Hungerford T.W. — Algebra | 24 |
Perrin D., Pin J.-E. — Infinite Words: Automata, Semigroups, Logic abd Games | 436 |
Hyers D.H., Isac G., Rassias T.M. — Stability of functional equations in several variables | 151 |
Arbib M.A., Manes E.G. — Arrows structures and functors. The categorical imperative | 52, 112 |
Lang S. — Algebra | 3 |
Kock J. — Frobenius Algebras and 2-D Topological Quantum Field Theories | 141 |
Cox D.A., Little J., O'Shea D. — Using Algebraic Geometry | 377 |
Seymour L. — Schaum's Outline of Theory and Problems of Discrete Math | 367 |
Hu S.-T. — Introduction to contemporary mathematics | 97 |
Rosenfeld A. — An introduction to algebraic structures | 117 |
Archbold J.W. — Introduction to the Algebraic Geometry of a Plane | 262 |
Porteous I.R. — Clifford Algebras and the Classical Groups | 168 |
Eilenberg S. — Automata, languages, and machines. Volume A | 3 |
Gries D. — A Logical Approach to Discrete Math | 143, 396 |
Northcott D. G. — An introduction to homological algebra | 211 |
Lane S.M. — Mathematics, form and function | 26 |
Lipschutz S., Lipson M.L. — Schaum's outline of theory and problems of discrete mathematics | 367 |
Behnke H., Bachmann F., Fladt K. — Fundamentals of mathematics. Volume III. Analysis | 524 |
Du D.-Z., Ko K.-I. — Theory of computational complexity | 4 |
Laurens Jansen — Theory of Finite Groups. Applications in Physics | 5 |
Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | v, 215, 263, 264, 266, 271, 274, 275, 434, 606 |
Karpilovsky G. — The Jacobson radical of classical rings | 160 |
Hazewinkel M. — Handbook of Algebra (÷àñòü 1) | 450, 737 |
Blomberg H.( ed.) — Algebraic theory for multivariable linear systems, Volume 166 | 303 |
Jablan S., Sazdanovic R. — LinKnot: knot theory by computer | 299 |
Sachkov V.N. — Combinatorial methods in discrete mathematics | 7 |
Magurn B.A. — An algebraic introduction to k-theory | 5, 23, 72 |
Abhyankar S.S. — Lectures on Algebra Volume 1 | 6, 602 |
Maclane S. — Homology | 290 |
Sexl R., Urbantke H.K. — Relativity, Groups, Particles. Special Relativity and Relativistic Symmetry in Field and Particle Physics | 141 |
Gill A. — Applied Algebra for the Computer Sciences | 266 |
Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures | 335 |
Mac Lane S. — Mathematics: Form and Function | 26 |
Markl M., Shnider S., Stasheff J. — Operads in Algebra, Topology and Physics | 39 |