Ýëåêòðîííàÿ áèáëèîòåêà
ìåõàíèêî-ìàòåìàòè÷åñêîãî ôàêóëüòåòà
Ìîñêîâñêîãî ãîñóäàðñòâåííîãî óíèâåðñèòåòà
Ãëàâíàÿ
Ex Libris
Êíèãè
Æóðíàëû
Ñòàòüè
Ñåðèè
Êàòàëîã
Wanted
Çàãðóçêà
ÕóäËèò
Ñïðàâêà
Ïîèñê ïî èíäåêñàì
Ïîèñê
Ôîðóì
Ìåõìàòÿíàì
Ïåðâûé êóðñ
Âòîðîé êóðñ
Òðåòèé êóðñ
×åòâåðòûé êóðñ
Ïÿòûé êóðñ
Àâòîðèçàöèÿ
Ïîèñê ïî óêàçàòåëÿì
Ðåçóëüòàò ïîèñêà
Ïîèñê êíèã, ñîäåðæàùèõ:
Alphabet
Êíèãà
Ñòðàíèöû äëÿ ïîèñêà
Êîðìåí Ò., Ëåéçåðñîí ×., Ðèâåñò Ð. — Àëãîðèòìû: ïîñòðîåíèå è àíàëèç
841
Âîðîéñêèé Ô.Ñ. — Èíôîðìàòèêà. Íîâûé ñèñòåìàòèçèðîâàííûé òîëêîâûé ñëîâàðü
160
Gray R.M. — Probability, Random Processes and Ergodic Properties
5, 8, 65, 66
Herrmann D. — Algorithmen fur Chaos und Fraktale
195
Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 1)
1361
Kitchens B.P. — Symbolic dynamics: one-sided, two-sided and countable state markov shifts.
21
Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2
31.B 63.A 213.B
Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction
23, 316
Gray R.M., Davisson L.D. — Introduction to statistical signal processing
104
Cvetkovic D., Doob M., Sachs H. — Spectra of graphs. Theory and application
131
Bilaniuk S. — A Problem Course in Mathematical Logic (vol. 2)
7, 13
Fulton W. — Young tableaux: with applications to representation theory and geometry
2
Lueneburg H. — Tools and fundamental constructions of combinatorial mathematics
73, 299, 415
Cameron P.J. — Polynomial aspects of codes, matroids, and permutation groups
3
Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic
10
Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 2)
1361
Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools
92
Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers
158
Terry P.D. — Compliers and Compiler Generators: An Introduction With C++
50
Konheim A.G. — Computer Security and Cryptography
1
Abraham W. — Chinese Phrases For Dummies
6
Maeder R.E. — Computer science with mathematica
249, 282, 308
Bach E., Shallit J. — Algorithmic Number Theory (òîì 1)
44
Brin M., Stuck G. — Introdution to dynamical system
7, 54, 55
Manin Yu.I. — A Course in Mathematical Logic
3
Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra
39
Mahmoud H.M. — Evolution of random search trees
185, 208
Straubing H. — Finite automata, format logic, and circuit complexity
1
Grillet P.A. — Abstract Algebra
6
Halmos P.R., Givant S. — Logic as Algebra
4, 9, 10, 13, 20, 79
Hedayat A.S., Sloane N.J.A., Stufken J. — Orthogonal Arrays: Theory and Applications
61
Akmajian A., Demers R.A., Farmer A.K. — Linguistics. An Introduction to Language and Communications
65, 568
Zaharopol R. — Invariant Probabilities of Markov-Feller Operators and Their Supports
48
Kohonen T. — Self-organizing maps
281
Salomaa A., Soittola M. — Automata-Theoretic Aspects of Formal Power Series
4
Ito M. — Algebraic Theory of Automata and Languages
2, 6, 84
Bauer F.L. — Decrypted Secrets: Methods and Maxims of Cryptology
35, 39
Allouche J.-P., Shallit J. — Automatic Sequences: Theory, Applications, Generalizations
1
Cvetkovic D., Rowlinson P., Simic S. — Eigenspaces of Graphs
41
Comtet L. — Advanced Combinatorics. The Art of Finite and Infinate Expansions
18, 297
Ericson T. — Codes on Euclidean Spheres
117, 130, 138, 211
Koblitz N. — A course in number theory and cryptography
54
Rissanen J. — Stochastic complexity in statistical inquiry
21
Hein J.L. — Discrete Mathematics
37
Papadimitriou C.H. — Computational Complexity
19
Cover T.M., Gopinath B. — Open problems in communication and computation
50, 84
Hopcroft J.E., Motwani R., Ullman J.D. — Introduction to Automata Theory, Languages, and Computation
28—29, 132
Boas R.P. — A Primer of Real Functions
3
Pechenberg P., Mössenböck H. — A Compiller Generator for Microcomputers
14
Ito K. — Encyclopedic Dictionary of Mathematics
31.B, 63.A, 213.B
Kannan D. (ed.), Lakshmikantham V. (ed.) — Handbook of stochastic analysis and applications
366
Ionin Y.J., Shrikhande M.S. — Combinatorics of Symmetric Designs
97
Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures
17
Denker M., Grillenberger Ch., Sigmund K. — Ergodic Theory on Compact Spaces
37
Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic
6, 13
Alagić S., Arbib M.A. — The Design of Well-Structured and Correct Programs
11, 63, 253
Shanbhag D.N. (ed.), Rao C.R. (ed.) — Stochastic Processes - Modelling and Simulation
232
Crochemore M., Rytter W. — Jewels of stringology
10
Hein J.L. — Discrete Structures, Logic, and Computability
36
Beckenbach E.F. (editor), Polya G., Lehmer D.H. and others — Applied combinatorial mathematics
406
Ruskey F. — Combinatorial generation
11
Reutenauer Ch. — Free Lie Algebras
14
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing
15
Wallace C.S. — Statistical and Inductive Inference by Minimum Message Length
58
Ebbinghaus H.-D., Flum J. — Finite Model Theory
105
Müller-Olm M. — Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
27
Aldrovandi R. — Special matrices of mathematical physics (stochastic, circulant and bell matrices)
5, 153
Petrich M. — Inverse semigroups
51
Cook W.J., Cunningham W.H., Pulleyblank W.R. — Combinatorial optimization
311
Hein J.L. — Theory of Computation: An Introduction
17
Peterson J.L. — Petri net theory and the modeling of systems
153
Cantu-Paz E. — Efficient and accurate parallel genetic algorithms
5
Moise E.E. — Geometric topology in dimensions 2 and 3
107
Ding-Zhu D., Ker-I K. — Problem solving in automata, languages, and complexity
1
Struik D.J. — A concise history of mathematics. Volume 2
40
Tsang L., Kong J.A., Ding K.- H. — Scattering of electromagnetic waves (Vol 2. Numerical simulations)
644
Perrin D., Pin J.-E. — Infinite Words: Automata, Semigroups, Logic abd Games
6
Ginsburg S. — The mathematical theory of context-free languages
2
Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation
42, 116, 181
Reeves C.R., Rowe J.E. — Genetic Algorithms: Principles and Perspectives. A Guide to GA Theory
19, 21, 27, 29, 65, 77
Seymour L. — Schaum's Outline of Theory and Problems of Discrete Math
405
Berkeley E.C. — Giant Brains Or Machines That Think
14
Smyth B. — Computing patterns in strings
6—7, 61—62, 91—92
Ginsburg S. — The mathematical theory of context-free languages
2
Dembo A., Zeitouni O. — Large deviations techniques and applications
11, 58, 72, 84
Dolev S. — Self-Stabilization
180, 181, 184
Leeuwen J.V. — Handbook of Theoretical Computer Science: Algorithms and Complexity
7
Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation
2
Van Orman Quine W. — Methods of Logic
164, 169, 176, 245
Bridges D.S. — Computability: A mathematical sketchbook
3
Eilenberg S. — Automata, languages, and machines. Volume A
5
Beckenbach E.F. (ed.) — Applied Combinatorial Mathematics
406
Leeuwen J. (ed.), Meyer A.R., Nivat M. — Algorithms and Complexity, Volume A
7
Salomaa A. — Computation and automata
6
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling
15
Mott J.L., Kandel A., Baker T.P. — Discrete Mathematics For Computer Scientists And Mathematicians
373
Mott J., Kandel A., Baker T. — Discrete mathematics for computer scientists and mathematicians
373
Lipschutz S., Lipson M.L. — Schaum's outline of theory and problems of discrete mathematics
405
Cvitanovic P., Artuso R., Dahlqvist P. — Classical and quantum chaos
198
Curry H.B. — Foundations of Mathematical Logic
29
Âîðîéñêèé Ô.Ñ. — Èíôîðìàòèêà. Ýíöèêëîïåäè÷åñêèé ñëîâàðü-ñïðàâî÷íèê: ââåäåíèå â ñîâðåìåííûå èíôîðìàöèîííûå è òåëåêîììóíèêàöèîííûå òåõíîëîãèè â òåðìèíàõ è ôàêòàõ
118
Du D.-Z., Ko K.-I. — Theory of computational complexity
4
Greenfield J.S. — Distributed Programming Paradigms with Cryptography Applications
18
Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics
66, 71, 188—190, 235, 254, 433, 435—437, 451, 453, 454, 456, 458, 465, 472, 476, 478, 484, 485, 487, 491, 492, 494, 502, 508—515, 519—522, 529, 532, 558, 573, 574
Hazewinkel M. — Handbook of Algebra (÷àñòü 1)
450
Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory
7, 13
Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction
18, 309—311, 313, 315, 316, 337, 338, 609, 610
Ifrah G., Bellos D. — The Universal History of Numbers: From Prehistory to the Invention of the Computer
212—214
Gossett E. — Discrete Math with Proof
238, 541
Heinz-Dieter E., Jorg F., Wolfgang T. — Mathematical Logic
10
White J.W. — The First Greek Book
1
Ebbinghaus H., Flum J., Thomas W. — Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics)
10
Elliott Mendelson — Introduction to mathematical logic
222
Brady J.M. — The theory of computer science: A programming approach
70
McGettrick A.D. — The Definition of Programming Languages
8
Steen S. — Mathematical Logic with Special Reference to the Natural Numbers
158
Bäck T. — Evolutionary Algorithms in Theory and Practice
51
Burgisser P., Clausen M., Shokrollahi M.A. — Algebraic complexity theory
543
Gill A. — Applied Algebra for the Computer Sciences
229
Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures
19
Shen A. — Algorithms and Programming
134, 176
Rautenberg W. — A Concise Introduction to Mathematical Logic (Universitext)
XVII
Jones N.D. — Computability and complexity from a programming perspective
431
Golan J.S. — The Linear Algebra a Beginning Graduate Student Ought to Know (Texts in the Mathematical Sciences)
20
Curry H.B. — Foundations of mathematical logic
29
Higgins P. — Mathematics for the curious
217
Rozenberg G., Salomaa A. — The mathematical theory of L systems
1
Yaglom A.M., Yaglom I.M. — Probability and Information
139, 252, see also "Various languages"
Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming
4, 18
Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics
18, 309—311, 313, 315, 316, 337, 338, 609, 610
Badii R., Politi A. — Complexity: Hierarchical structures and scaling in physics
70
Szepietowski A. — Turing Machines with Sublogarithmic Space
7
Rissanen J. — Information and complexity in statistical modeling
9
Steen S. — Mathematical Logic
158
Bruss D. (ed.), Leuchs G. (ed.) — Lectures on Quantum Information
315
Voit E. — Computational Analysis of Biochemical Systems: A Practical Guide for Biochemists and Molecular Biologists
62
©
Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ
, 2004-2024
|
|
Î ïðîåêòå