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

square ¬торой курс

square “ретий курс

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

square ѕ€тый курс
blank
јвторизаци€

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

blank
 расота
blank
blank
Ѕыстрый переход
ѕо названию:
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 ® ј Ѕ ¬ ƒ « »   Ћ ћ Ќ ќ ѕ ÷ Ў ў џ Ё ё я
blank
¬се ресурсы
—ортировка:

ID asc desc pic јвторы asc desc Ќазвание asc desc √од asc desc ƒоп.
19170 Morris Ch.G. (ed.) Academic Press Dictionary of Science and Technology 1992ХХ
19862 Kennedy D. Academic Duty 1997 ХХХ
162922 0 Academic Careers for Experimental Computer Scientists and Engineers 1994ХХ
40631 AC Motors n/aХХ
107990 Stoll M. Abzaehlende Kombinatorik 1999ХХ
42437 Absurdity of the definition of inertial mass in the general theory of relativity n/aХХ
42439 Absurdity of the calculation of the intensity of gravitational radiation in the general theory of relativity n/aХХ
49740 Borovikov V.A. Abstracts OS 3: Optical communications 1978 ХХХ
122281 Lanford O.E. (coord.) Abstracts of the Workshop on Statistical Mechanics, Dynamical Systems, and Turbulence 1983ХХ
79266 Abstracts of short communications 1994ХХ
170914 0 Abstracts of Communications. 8th International Vilnius Conference on Probability Theory and Mathematical Statistics 2002ХХ
109933 Zalys E. (ed.) Abstracts of communications 1998ХХ
126135 Abstracts from the International Conference on Mathematical Problems from the Physics of Fluids 1986ХХ
120961 de Arcangelis L. Abstracts from the CECAM Workshop on Computer Simulations of Cellular Automata 1989ХХ
158128 Miguel I., Tuml W. Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes in Computer Science) 2007ХХ
150316 Koenig S., Holte R. Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings 2002ХХ
79914 Miguel I. (ed.), Ruml W. (ed.) Abstraction, reformulation, and approximation. Lecture notes in artificial intelligence 4612 2007ХХ
194531 Miguel I., Tuml W. Abstraction, Reformulation, and Approximation 2007ХХ
78074 Zucker J.-D.(Editor), Saitta L. (Editor) Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings 2005 ХХХ
79865 Choueiry B.Y. (ed.), Walsh T. (ed.) Abstraction, reformulation and approximation. 4th international symposium, SARA 2000 2000ХХ
26055 Mclver A. Abstraction, Refinement and Proof for Probabilistic Systems 2004ХХ
29866 Wang Ch., Hachtel G.D., Somenzi F. Abstraction Refinement for Large Scale Model Checking 2006ХХ
148280 Liskov B., Guttag J.V. Abstraction and specification in program development 1986ХХ
1490 Schmidt O.Yu. Abstract theory of groups 1966ХХ
35880 Mesarovic M.D., Takahara Y. Abstract Systems Theory 1989ХХ
176722 Mesarovic M., Takahara Y. Abstract Systems Theory 1989ХХ
74854 Boerger E., Staerk R. Abstract State Machines: A Method for High-Level System Design and Analysis 2003 ХХХ
80815 Gurevich Y. (ed.), Kutter P.W. (ed.), Odersky M. (ed.) Abstract state machines. Theory and applications 2000ХХ
8932 Borger E., Stark S. Abstract State Machines. Solution to Exercises 2003ХХ
78880 Börger E. (ed.), Butler M. (ed.), Bowen J.P. (ed.) Abstract State Machines. B and Z. Lecture notes in computer science 5238 2008ХХ
8929 Borger E., Stark S. Abstract State Machines. A Method for High-Level System Design and Analysis 2003ХХ
167150 Frappier M., Glaesser U., Khurshid S. Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (Lecture Notes ... Computer Science and General Issues) 2010ХХ
77898 Börger E., Gargantini A., Riccobene E. Abstract State Machines, Advances in Theory and Practice, 10 conf., ASM 2003 2003 ХХХ
80594 Zimmermann W. (ed.), Thalheim B. (ed.) Abstract state machines 2004. Advances in theory and practice 2005ХХ
189736 Gurevich Y., Kutter P., Odersky M. Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science) 2000ХХ
192275 Parisi L. Abstract Sex: Philosophy, Biotechnology and the Mutations of Desire (Transversals: New Directions in Philosophy Series) 2004ХХ
33550 Skolem T.A. Abstract Set Theory 1962ХХ
108073 Fraenkel A. Abstract Set Theory 1953ХХ
113122 Skolem T.A. Abstract Set Theory 1962ХХ
181798 Fraenkel A. Abstract set theory 1953ХХ
54440 Mcmullen P., Schulte E. Abstract Regular Polytopes 2002ХХ
141561 Yagi A. Abstract Parabolic Evolution Equations and their Applications 2010ХХ
34433 Reed M. Abstract Non Linear Wave Equations 2008ХХ
59438 Reed M., Eckmann B. Abstract Non Linear Wave Equations 1976ХХ
194174 Savitch W. Abstract machines and grammars 1982ХХ
54744 Curtis M.L. Abstract Linear Algebra 1990ХХ
176084 Grenander U. Abstract Inference (Probability & Mathematical Statistics) 1981ХХ
172336 Hewitt E., Ross K. Abstract Harmonic Analysis: Volume 1: Structure of Topological Groups. Integration Theory. Group Representations (Grundlehren der mathematischen Wissenschaften) 1979 ХХХ
160324 Hewitt E., Ross K. Abstract Harmonic Analysis: Structure and Analysis for Compact Groups. Analysis on Locally Compact Abelian Groups: Structure and Analysis ... Der Mathematischen Wissenschaften) 1994ХХ
157667 Hewitt E., Ross K. Abstract harmonic analysis. Structure of topological groups. Integration theory 1979 ХХХ


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