√лавна€    Ex Libris     ниги    ∆урналы    —татьи    —ерии     аталог    Wanted    «агрузка    ’удЋит    —правка    ѕоиск по индексам    ѕоиск    ‘орум   
square ѕервый курс

square ¬торой курс

square “ретий курс

square „етвертый курс

square ѕ€тый курс

ѕоиск по указател€м

Ѕыстрый переход
ѕо названию:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z ј Ѕ ¬ ƒ ® « »   Ћ ћ Ќ ќ ѕ ÷ Ў ў Ё ё я
ѕо автору:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z ® ј Ѕ ¬ ƒ « »   Ћ ћ Ќ ќ ѕ ÷ Ў ў џ Ё ё я
¬се ресурсы

ID asc desc pic јвторы asc desc Ќазвание asc desc √од asc desc ƒоп.
33080 S.Arora, B.Barak Computational Complexity: A Modern Approach 2007ХХ
33079 Edgeworth F.Y. Mathematical Psychics 1881ХХ
33078 Hairer E., Wanner G., Norsett S.P. Solving Ordinary Differential Equations 1 (Springer Series in Computational Mathematics 8): Nonstiff Problems 2000 ХХХ
33077 Watson S., Steprans J. Set Theory and its Applications 1989ХХ
33076 Marek W., Srebrny M., Zarach A. Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski 1976ХХ
33075 Clement P. (ed.), de Pagter B. (ed.), Mitidieri E. (ed.) Semigroup Theory and Evolution Equations: The 2nd International Conference 2001ХХ
33074 Sabatier J. (Ed), Agrawal O.P. (Ed), Tenreiro Machado J.A. (Ed) Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering 2007ХХ
33073 Albeverio S. (ed.), Flandoli F. (ed.), Sinai Y.G. (ed.) SPDE in Hydrodynamic 2008ХХ
33072 Ruohonen K. Graph Theory 2006ХХ
33071 Caillol P., Grimshaw R.H. Rossby Elevation Waves in the Presence of a Critical Layer 2008ХХ
33070 Ebbinghaus H.-D. Recursion Theory Week 1980ХХ
33069 Mathias A.R.D., Rogers H. Cambridge Summer School In Mathematical Logic 1973ХХ
33068 Ranicki A. Errata for Algebraic and Geometric Surgery 2007ХХ
33067 Puhalskii A. Large Deviations and Idempotent Probability, Vol. 119 2001ХХ
33066 Jech T.J. Lectures in Set Theory with Particular Emphasis on the Method of Forcing 1971ХХ
33065 Pohlers W. Proof Theory 1996ХХ
33064 Kahle R., Schroeder-Heister P. Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings 2001ХХ
33063 Scarpellini B. Proof Theory and Intuitionistic Systems 1971ХХ
33062 Troelstra A.S. Principles of Intuitionism 1969ХХ
33061 Polansky A.M. Observed Confidence Levels Theory and Application 2007ХХ
33060 O'Donnel P. Introduction to 2-Spinors in General Relativity 2003ХХ
33059 Consortium for ODE Experiments Ode Architect Companion 1999ХХ
33058 Nowak A.S. (ed.), Szajowski K. (ed.) Advances in Dynamic Games: Applications to Economics, Finance, Optimization, and Stochastic Control 2004ХХ
33057 Hokkanen V.-M. Functional Methods in Differential Equations, Vol. 432 2002ХХ
33056 Müller G.H., Richter M.M. Models and Sets 1984ХХ
33055 Boffi D., Brezzi F., Demkovicz L.F. Mixed Finite Elements, Compatibility Conditions, and Applications 2008ХХ
33054 Di Prisco C.A. Methods in Mathematical Logic 1985ХХ
33053 Stone M. Mathematics for Physics II 2003ХХ
33052 Stone M. Mathematics for Physics I 2002ХХ
33051 D'Angelo J.P., West D.B. Mathematical Thinking: Problem-Solving and Proofs 1999 ХХХ
33050 Bowden L. (ed.), Polya G. Mathematical Methods in Science 1998ХХ
33049 Temam R.M., Miranville A. Mathematical Modeling in Continuum Mechanics 2005 ХХХ
33048 Shinoda J., Slaman T.A. Mathematical Logic and Applications 1987ХХ
33047 Murray J.D. Asymptotic Analysis 1992ХХ
33046 Ross D.A. Master Math: Algebra 1996 ХХХ
33045 Garbey M., Kaper H.G. Asymptotic Analysis and the Numerical Solution of Partial Differential Equations, Vol. 130 2001ХХ
33044 Makkai M., Reyes G.E. First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories 1977ХХ
33043 Scedrov A., Nerode A., Sacks G.E. Logic and Computer Science: Lectures Given at the First Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-18, 1988 1990ХХ
33042 Stoll M. Linear Algebra II 2007ХХ
33041 Stoll M. Linear Algebra I 2007ХХ
33040 Duarte C.A. (Ed), Leitao V.M. (Ed) Advances in Meshfree Techniques 2007ХХ
33039 Zhang W. Lectures on Chern-Weil Theory and Witten Deformations 2001ХХ
33038 Gardiner A. Infinite Processes: Background to Analysis 1982ХХ
33036 Kueker D.W. Infinitary Logic: In Memoriam Carol Karp 1975ХХ
33035 Mueller G.H. (Ed), Scott D.S. (Ed) Higher Set Theory: Proceeding, Oberwolfach 1978ХХ
33034 Polya G., Latta G. Complex Variables 1974ХХ
33033 Zhang M.L. (Ed) Differential Geometry and Physics: Proceedings of the 23rd International Conference of Differential Geometric Methods in Theoretical Physics 2006ХХ
33032 Leitsch A. (Ed) Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 Proceedings, Vol. 128 1997ХХ
33031 Duparc J. Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings 2007ХХ
33030 Baaz M. (Ed), Makowsky J.M. (Ed) Computer Science Logic 2003ХХ

© Ёлектронна€ библиотека попечительского совета мехмата ћ√”, 2004-2021
Ёлектронна€ библиотека мехмата ћ√” | Valid HTML 4.01!| Valid CSS! ќ проекте