Ãëàâíàÿ    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 Äîï.
17153 U.S.News & World Report (11 September 2006) 2006
14319 U.S.News & World Report (10 April 2006) 2006
31305 U.S.News & World Report (1 October 2007) 2007
14323 U.S.News & World Report (1 May 2006) 2006
172447 Franz M. U.S. WW II M4/M4A1 Sherman Medium Tank 2005
81169 Crismon F.W. U.S. Military Tracked Vehicles (Crestline Series) 1992
193421 Hosek J., Galama T. U.S. Competitiveness in Science and Technology 2008
152908 0 U.S. Astronomy and Astrophysics 2001
80696 Stanton S.L. U.S. Army Uniforms of World War II 1995
76277 Bigelow B. C. U-X-L. Encyclopedia of Drugs and Addictive Substances. Volume 3: Ecstasy (MDMA) to LSD (Lysergic Acid Diethylamide) 2005
135394 Tai-hoon Kim, Jianhua Ma, Wai-chi Fang U- and E-Service, Science and Technology 2010
138858 Kim T., Ma J., Fang W. U- and E-Service, Science and Technology 2010
200228 ITS DISTRIBUTION IS UNLIMITED. U S Navy Diving Manual 1999
103898 Êàíãóð Ê. Tèìáó-Ëèìáó, åå ïðèäâîðíûå è ìåëüíèêè-ñíåãîâèêè 1973
103953 Êóçíåöîâ Í.Â. (ðåä.), Ìèòîð Â.Â. (ðåä.), Äóáîâñêèé È.Å. (ðåä.) Tåïëîâîé ðàñ÷åò êîòåëüíûõ àãðåãàòîâ (íîðìàòèâíûé ìåòîä) 1973
171064 Ãàëåðêèí Þ.Á., Ñîëäàòîâà Ê.Â., Òèòåíñêèé Â.È. Tåîðèÿ, ðàñ÷åò è êîíñòðóèðîâàíèå êîìïðåññîðíûõ ìàøèí äèíàìè÷åñêîãî äåéñòâèÿ. Òóðáîêîìïðåññîðû 2007
196416 P. M. Parker Tyrosinemia - A Bibliography and Dictionary for Physicians, Patients, and Genome Researchers 2007
21628 Pacejka H.B. Tyre and Vehicle Dynamics 2005
178393 Eriksen T. Tyranny of the Moment: Fast and Slow Time in the Information Age 2001
135288 Bailey K.D. Typologies and Taxonomies: An Introduction to Classification Techniques 1994
75479 Hinderink D., Fritz R., Altmann W. Typo3. Enterprise Content Management 2005
33177 Alpern S.N., Prasad V.S. Typical Dynamics of Volume-Preserving Homeomorphisms 2001
124737 Nguyen B.G. Typical Cluster Size for Two-Dimensional Percolation Processes 1988
42732 Rice O.K. Types of Unimolecular Reactions 1929
44430 Nichols E.L., Howes H.L. Types of Phosphorescence 1918
44429 Barus C. Types of Achromatic Fringes 1918
140619 Leroy X., Ohori A. Types in Compilation: Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings 1998
144869 Coquand T., Dybjer P. Types for Proofs and Programs: International Workshop, TYPES'99, Sweden, June 12-16, 1999, Selected Papers 2000
80450 Altenkirch T. (ed.), McBride C.(ed.) Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers 2007
173657 Altenkirch T., Naraschewski W., Reus B. Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers 1999
131121 Berardi S., Coppo M. Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers 1996
130771 Dybjer P., Smith J. Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers 1995
158662 Barendregt H., Nipkow T. Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers 1994
153411 Berardi S., Damiani F., de’Liguoro U. Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues) 2009
155545 Miculan M., Scagnetto I., Honsell F. Types for Proofs and Programs, TYPES 2007 2008
129195 Berardi S., Damiani F., Liguoro U. Types for proofs and programs international conference, TYPES 2008 Torino, Italy, March 26-29, 2008: revised selected papers 2009
12275 Pierce B.C. Types and Programming Languages 2002
171880 Pierce B. Types and Programming Languages 2002
188877 Pierce B. Types and Programming Languages 2002
156727 Cardelli L. Typeful programming 1989
173036 Groote P., Hindley J. Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, ... (Lecture Notes in Computer Science) 1997
198182 Bezem M., Groote J.F. Typed Lambda Calculi and Applications, TLCA '93 1 conf 1993
199885 Urzyczyn P. Typed Lambda Calculi and Applications, 7 conf., TLCA 2005 2005
200560 Hofmann M. Typed Lambda Calculi and Applications, 6 conf., TLCA 2003 2003
199892 Abramsky S. Typed Lambda Calculi and Applications, 5 conf., TLCA 2001 2001
199862 Girard J.-Y. Typed Lambda Calculi and Applications, 4 conf., TLCA'99 1999
198065 Groote P., Hindley J.R. Typed Lambda Calculi and Applications, 3 conf., TLCA '97 1997
198048 Dezani-Ciancaglini M., Plotkin G. Typed Lambda Calculi and Applications 1995
149859 Thompson S. Type theory & functional programming 1999
137905 Harper R. Type systems for programming languages 2000


blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå