Ãëàâíàÿ    Ex Libris    Êíèãè    Æóðíàëû    Ñòàòüè    Ñåðèè    Êàòàëîã    Wanted    Çàãðóçêà    ÕóäËèò    Ñïðàâêà    Ïîèñê ïî èíäåêñàì    Ïîèñê    Ôîðóì   
Ìåõìàòÿíàì
square Ïåðâûé êóðñ

square Âòîðîé êóðñ

square Òðåòèé êóðñ

square ×åòâåðòûé êóðñ

square Ïÿòûé êóðñ
blank
Àâòîðèçàöèÿ

       
blank
Ïîèñê ïî óêàçàòåëÿì

blank
Êðàñîòà
blank
blank
Ðåçóëüòàò ïîèñêà

Ïîèñê êíèã, ñîäåðæàùèõ: Alphabet



ÊíèãàÑòðàíèöû äëÿ ïîèñêà
Êîðìåí Ò., Ëåéçåðñîí ×., Ðèâåñò Ð. — Àëãîðèòìû: ïîñòðîåíèå è àíàëèç841
Âîðîéñêèé Ô.Ñ. — Èíôîðìàòèêà. Íîâûé ñèñòåìàòèçèðîâàííûé òîëêîâûé ñëîâàðü160
Gray R.M. — Probability, Random Processes and Ergodic Properties5, 8, 65, 66
Herrmann D. — Algorithmen fur Chaos und Fraktale195
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. 231.B 63.A 213.B
Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction23, 316
Gray R.M., Davisson L.D. — Introduction to statistical signal processing104
Cvetkovic D., Doob M., Sachs H. — Spectra of graphs. Theory and application131
Bilaniuk S. — A Problem Course in Mathematical Logic (vol. 2)7, 13
Fulton W. — Young tableaux: with applications to representation theory and geometry2
Lueneburg H. — Tools and fundamental constructions of combinatorial mathematics73, 299, 415
Cameron P.J. — Polynomial aspects of codes, matroids, and permutation groups3
Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic10
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 tools92
Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers158
Terry P.D. — Compliers and Compiler Generators: An Introduction With C++50
Konheim A.G. — Computer Security and Cryptography1
Abraham W. — Chinese Phrases For Dummies6
Maeder R.E. — Computer science with mathematica249, 282, 308
Bach E., Shallit J. — Algorithmic Number Theory (òîì 1)44
Brin M., Stuck G. — Introdution to dynamical system7, 54, 55
Manin Yu.I. — A Course in Mathematical Logic3
Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra39
Mahmoud H.M. — Evolution of random search trees185, 208
Straubing H. — Finite automata, format logic, and circuit complexity1
Grillet P.A. — Abstract Algebra6
Halmos P.R., Givant S. — Logic as Algebra4, 9, 10, 13, 20, 79
Hedayat A.S., Sloane N.J.A., Stufken J. — Orthogonal Arrays: Theory and Applications61
Akmajian A., Demers R.A., Farmer A.K. — Linguistics. An Introduction to Language and Communications65, 568
Zaharopol R. — Invariant Probabilities of Markov-Feller Operators and Their Supports48
Kohonen T. — Self-organizing maps281
Salomaa A., Soittola M. — Automata-Theoretic Aspects of Formal Power Series4
Ito M. — Algebraic Theory of Automata and Languages2, 6, 84
Bauer F.L. — Decrypted Secrets: Methods and Maxims of Cryptology35, 39
Allouche J.-P., Shallit J. — Automatic Sequences: Theory, Applications, Generalizations1
Cvetkovic D., Rowlinson P., Simic S. — Eigenspaces of Graphs41
Comtet L. — Advanced Combinatorics. The Art of Finite and Infinate Expansions18, 297
Ericson T. — Codes on Euclidean Spheres117, 130, 138, 211
Koblitz N. — A course in number theory and cryptography54
Rissanen J. — Stochastic complexity in statistical inquiry21
Hein J.L. — Discrete Mathematics37
Papadimitriou C.H. — Computational Complexity19
Cover T.M., Gopinath B. — Open problems in communication and computation50, 84
Hopcroft J.E., Motwani R., Ullman J.D. — Introduction to Automata Theory, Languages, and Computation28—29, 132
Boas R.P. — A Primer of Real Functions3
Pechenberg P., Mössenböck H. — A Compiller Generator for Microcomputers14
Ito K. — Encyclopedic Dictionary of Mathematics31.B, 63.A, 213.B
Kannan D. (ed.), Lakshmikantham V. (ed.) — Handbook of stochastic analysis and applications366
Ionin Y.J., Shrikhande M.S. — Combinatorics of Symmetric Designs97
Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures17
Denker M., Grillenberger Ch., Sigmund K. — Ergodic Theory on Compact Spaces37
Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic6, 13
Alagić S., Arbib M.A. — The Design of Well-Structured and Correct Programs11, 63, 253
Shanbhag D.N. (ed.), Rao C.R. (ed.) — Stochastic Processes - Modelling and Simulation232
Crochemore M., Rytter W. — Jewels of stringology10
Hein J.L. — Discrete Structures, Logic, and Computability36
Beckenbach E.F. (editor), Polya G., Lehmer D.H. and others — Applied combinatorial mathematics406
Ruskey F. — Combinatorial generation11
Reutenauer Ch. — Free Lie Algebras14
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing15
Wallace C.S. — Statistical and Inductive Inference by Minimum Message Length58
Ebbinghaus H.-D., Flum J. — Finite Model Theory105
Müller-Olm M. — Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction27
Aldrovandi R. — Special matrices of mathematical physics (stochastic, circulant and bell matrices)5, 153
Petrich M. — Inverse semigroups51
Cook W.J., Cunningham W.H., Pulleyblank W.R. — Combinatorial optimization311
Hein J.L. — Theory of Computation: An Introduction17
Peterson J.L. — Petri net theory and the modeling of systems153
Cantu-Paz E. — Efficient and accurate parallel genetic algorithms5
Moise E.E. — Geometric topology in dimensions 2 and 3107
Ding-Zhu D., Ker-I K. — Problem solving in automata, languages, and complexity1
Struik D.J. — A concise history of mathematics. Volume 240
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 Games6
Ginsburg S. — The mathematical theory of context-free languages2
Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation42, 116, 181
Reeves C.R., Rowe J.E. — Genetic Algorithms: Principles and Perspectives. A Guide to GA Theory19, 21, 27, 29, 65, 77
Seymour L. — Schaum's Outline of Theory and Problems of Discrete Math405
Berkeley E.C. — Giant Brains Or Machines That Think14
Smyth B. — Computing patterns in strings6—7, 61—62, 91—92
Ginsburg S. — The mathematical theory of context-free languages2
Dembo A., Zeitouni O. — Large deviations techniques and applications11, 58, 72, 84
Dolev S. — Self-Stabilization180, 181, 184
Leeuwen J.V. — Handbook of Theoretical Computer Science: Algorithms and Complexity7
Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation2
Van Orman Quine W. — Methods of Logic164, 169, 176, 245
Bridges D.S. — Computability: A mathematical sketchbook3
Eilenberg S. — Automata, languages, and machines. Volume A5
Beckenbach E.F. (ed.) — Applied Combinatorial Mathematics406
Leeuwen J. (ed.), Meyer A.R., Nivat M. — Algorithms and Complexity, Volume A7
Salomaa A. — Computation and automata6
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling15
Mott J.L., Kandel A., Baker T.P. — Discrete Mathematics For Computer Scientists And Mathematicians373
Mott J., Kandel A., Baker T. — Discrete mathematics for computer scientists and mathematicians373
Lipschutz S., Lipson M.L. — Schaum's outline of theory and problems of discrete mathematics405
Cvitanovic P., Artuso R., Dahlqvist P. — Classical and quantum chaos198
Curry H.B. — Foundations of Mathematical Logic29
Âîðîéñêèé Ô.Ñ. — Èíôîðìàòèêà. Ýíöèêëîïåäè÷åñêèé ñëîâàðü-ñïðàâî÷íèê: ââåäåíèå â ñîâðåìåííûå èíôîðìàöèîííûå è òåëåêîììóíèêàöèîííûå òåõíîëîãèè â òåðìèíàõ è ôàêòàõ118
Du D.-Z., Ko K.-I. — Theory of computational complexity4
Greenfield J.S. — Distributed Programming Paradigms with Cryptography Applications18
Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics66, 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 Theory7, 13
Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction18, 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 Computer212—214
Gossett E. — Discrete Math with Proof238, 541
Heinz-Dieter E., Jorg F., Wolfgang T. — Mathematical Logic10
White J.W. — The First Greek Book1
Ebbinghaus H., Flum J., Thomas W. — Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics)10
Elliott Mendelson — Introduction to mathematical logic222
Brady J.M. — The theory of computer science: A programming approach70
McGettrick A.D. — The Definition of Programming Languages8
Steen S. — Mathematical Logic with Special Reference to the Natural Numbers158
Bäck T. — Evolutionary Algorithms in Theory and Practice51
Burgisser P., Clausen M., Shokrollahi M.A. — Algebraic complexity theory543
Gill A. — Applied Algebra for the Computer Sciences229
Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures19
Shen A. — Algorithms and Programming134, 176
Rautenberg W. — A Concise Introduction to Mathematical Logic (Universitext)XVII
Jones N.D. — Computability and complexity from a programming perspective431
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 logic29
Higgins P. — Mathematics for the curious217
Rozenberg G., Salomaa A. — The mathematical theory of L systems1
Yaglom A.M., Yaglom I.M. — Probability and Information139, 252, see also "Various languages"
Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming4, 18
Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics18, 309—311, 313, 315, 316, 337, 338, 609, 610
Badii R., Politi A. — Complexity: Hierarchical structures and scaling in physics70
Szepietowski A. — Turing Machines with Sublogarithmic Space7
Rissanen J. — Information and complexity in statistical modeling9
Steen S. — Mathematical Logic158
Bruss D. (ed.), Leuchs G. (ed.) — Lectures on Quantum Information315
Voit E. — Computational Analysis of Biochemical Systems: A Practical Guide for Biochemists and Molecular Biologists62
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå