Ãëàâíàÿ    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! Î ïðîåêòå