√лавна€    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 ƒоп.
192621 Baker A., Wustholz G. Logarithmic Forms and Diophantine Geometry (New Mathematical Monographs) 2007ХХ
122618 Holley R. Logarithmic Sobolev Inequalities and Stochastic Ising Models 1987ХХ
4033 Gupta S. Logging in Java with the JDK 1.4 logging API and Apache log4j 2003ХХ
33003 Tomassi P. Logic 1999ХХ
35576 Priest G. Logic - A Very Short Introduction 2006 ХХХ
54833 Ursini A. (ed.), Aglianò P. (ed.) Logic and Algebra 1996ХХ
116132 Flum J. (ed.), Gradel E. (ed.), Wilke T. (ed.) Logic and Automata. History and Perspectives 2008ХХ
1390 Levitz K., Levitz H. Logic and Boolean Algebra 1997ХХ
181382 Paulson L. Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) 1990ХХ
158051 Leivant D. Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers 1995ХХ
111436 Mano M.M., Kime C.R. Logic and Computer Design Fundamentals 2004 ХХХ
181426 Mano, Kime Logic and Computer Design Fundamentals 2003 ХХХ
194934 M. Morris Mano, Charles Kime Logic and Computer Design Fundamentals (4th Edition) Solutions textbook. 2007 ХХХ
36230 Homer S., Nerode A., Platek R.A. Logic and Computer Science 1990ХХ
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ХХ
135880 Williams H.P. Logic and integer programming 2009ХХ
186583 Williams H. Logic and Integer Programming 2009ХХ
192836 Banerjee M., Seth A. Logic and Its Applications: Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings 2011ХХ
33646 Dean N. Logic and Language 2003ХХ
141827 Hamburger H., Richards D. Logic and Language Models for Computer Science 2002ХХ
134877 Centrone S. Logic and Philosophy of Mathematics in the Early Husserl 2009ХХ
32828 Prawitz D. (ed.), Westerstehl D. (ed.) Logic and Philosophy of Science in Uppsala: Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science 1994ХХ
13150 Madarasz J.X. Logic and Relativity 2002ХХ
114272 Madarasz J.X. Logic and Relativity 2002ХХ
169304 Moore R. Logic and Representation 1995ХХ
74240 Middelburg C.A. Logic and specification: extending VDM-SL for advanced formal specification 1993 ХХХ
80716 Dalen D.V. Logic and Structure 1994 ХХХ
146825 Bonanno G., Lowe B., van der Hoek W. Logic and the Foundations of Game and Decision Theory - LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008 2010ХХ
34331 Gabbay D.M. (Ed), Woods J. (Ed) Logic and the Modalities in the Twentieth Century, Vol. 7 2006ХХ
34832 Halmos P.R., Givant S. Logic as Algebra 1998ХХ
179802 Halmos P., Givant S. Logic as algebra 1998ХХ
173062 Pettorossi A. Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001 2002ХХ
160523 Leuschel M. Logic Based Program Synthesis and Transformation, 12 conf., LOPSTR 2002 2003ХХ
186435 Etalle S. Logic Based Program Synthesis and Transformation, 14 conf., LOPSTR 2004 2005ХХ
158063 Hill P. Logic Based Program Synthesis and Transformation, 15 conf., LOPSTR 2005 2006ХХ
191946 Bruynooghe M. Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science) 2004ХХ
42772 Parikh R. Logic Colloquium 1975ХХ
137173 Gandy R., Yates C. Logic Colloquium '69 1971ХХ
194753 K.Boroczky Logic Colloquium '73 1975ХХ
191776 Boffa M. Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978 1979ХХ
148438 0 LOGIC COLLOQUIUM '85 1991ХХ
146233 Gandy R.O., Hyland J.M.E. Logic Colloquium 1976: Proceedings 1977ХХ
191780 Stern J. Logic Colloquium 1981: Herbrand Symposium Proceedings 1982ХХ
153036 Lolli G., Longo G., Marcja A. Logic Colloquium 1982: Proceedings of the Colloquium held in Florence 23-28 August, 1982 1984ХХ
154970 Paris J., Wilkie A., Wilmers G. Logic Colloquium 1984: Proceedings 1986ХХ
33129 Dimitracopoulos C., Normann D., Steel J.R. Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005 2007ХХ
126692 Parikh R. Logic colloquium. Symposium on logic 1975ХХ
184249 Parikh R. Logic Colloquium: symposium on logic held at Boston, 1972-73 1975ХХ
163494 Yanushkevich S., Shmerko V., Lyshevski S. Logic Design of NanoICS 2005ХХ
171890 Yanushkevich S. Vlad P. Shmerko Sergey E. Lyshevski, Shmerko V., Lyshevski S. Logic Design of NanoICS (Nano- and Microscience, Engineering, Technology, and Medicine Series) 2005ХХ


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