Ãëàâíàÿ    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 Äîï.
135074 Leavens G.T., O'Hearn P., Rajamani S.K. Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings 2010••
179206 Leavens G., O'Hearn P., Rajamani S. Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture ... Programming and Software Engineering) 2010••
48380 Robson H.E. Verified Synthesis Of Zeolitic Materials 2001 •••
212850 Mitra S. Verifying cyber-physical systems: a path to safe autonomy 2021••
28528 Lee W.F. Verilog Coding for Logic Synthesis 2003••
137239 Mark Arnold Verilog Digital Computer Design: Algorithms Into Hardware 1998••
148940 Arnold M. Verilog Digital Computer Design: Algorithms Into Hardware 1999••
11699 Palnitakar S. Verilog HDL: A Guide to Digital Design and Synthesis 2003••
168212 Lee J. Verilog Quickstart: A Practical Guide to Simulation and Synthesis in Verilog 2002 •••
153597 Lee J. Verilog Quickstart: A Practical Guide to Simulation and Synthesis in Verilog (Kluwer International Series in Engineering and Computer Science 667) 2002••
190792 Lee J. Verilog Quickstart: A Practical Guide to Simulation and Synthesis in Verilog (Kluwer International Series in Engineering and Computer Science 667) 2002••
164811 Lee J.M. Verilog Quickstart: A Practical Guide to Simulation and Synthesis in Verilog, 2nd Edition (The International Series in Engineering and Computer Science) 1999 •••
40626 Deepak Kumar Tala Verilog Tutorial 2003••
117177 VERITAS Backup ExecTM 10.0 for Windows Servers. Ðóêîâîäñòâî àäìèíèñòðàòîðà 2005••
40978 Garett P. Verma modules, Harish-Chandra’s homomorphism 2008••
216258 Beckett S. Vermist 2021••
183032 Kuppers U., Tributsch H. Verpacktes Leben - Verpackte Technik: Bionik der Verpackung 2002••
182456 Audretsch J. Verschrankte Systeme: Die Quantenphysik auf neuen Wegen 2005••
20512 Behne J. Versicherungsmathematik 1999••
105085 Sab J. Versicherungsmathematik: Personenversicherung 2006••
130574 Loeliger J. Version Control with Git 2009 •••
171443 Loeliger J. Version Control with Git: Powerful tools and techniques for collaborative software development 2009••
23577 Collins-Sussman B., Fitzpatrick B.W., Pilato C.M. Version Control with Subversion 2004••
200229 Ben Collins-Sussman Version Control with Subversion For Subversion 1.6 (Compiled from r4184) n/a••
115162 Collins-Sussman B., Fitzpatrick B.W., Pilato C.M. Version Control with Subversion v1.4 2007••
209875 Beall D.P. Vertebral Augmentation 2020••
18992 Linzey D.W. Vertebrate Biology 2003••
139102 Linzey D. Vertebrate Biology 2003••
115345 Sankey J.T. Vertebrate paleontology and magnetostratigraphy of the upper Aguja Formation (late Campanian), Talley Mountain Area, Big Bend National Park, Texas 1998••
20513 Verteilte Algorithmen n/a••
20514 Jäger M. Verteilte Systeme II 1999 •••
1471 Kac V. Vertex Algebra for Beginners 1997••
1179 Frenkel E., Ben-Zvi D. Vertex algebras and algebraic curves 2001••
2804 Frenkel E. Vertex algebras and algebraic curves 2000••
115369 Frenkel E., Ben-Zvi D. Vertex algebras and algebraic curves 2004 •••
55086 Kac V. Vertex Algebras for Beginners 1997••
197514 Kac V. Vertex Algebras for Beginners 1998 •••
41613 Bobkov S. Vertex Isoperimetry and Concentration 1998••
163282 Frenkel I., Lepowsky J., Meurman A. Vertex operator algebras and the monster 1989••
177595 Frenkel I., Lepowsky J., Meurman A. Vertex operator algebras and the Monster 1988••
211501 Bruno Steimer Vertex Traditionis Die Gattung der altchristlichen Kirchenordnungen 1992••
137926 Eggers S.D., David S. Zee Vertigo and Imbalance: Clinical Neurophysiology of the Vestibular System: Handbook of Clinical Neurophysiology Vol.9 2009 •••
76290 Gustafson J.P. Very Brief Psychotherapy 2005••
45050 Aharonian F.A. Very High Energy Cosmic Gamma Radiation: A Crucial Window on the Extreme Universe 2004 •••
44439 Weekes T. Very High Energy Gamma Ray Astronomy 2003••
151251 Weekes T. Very High Energy Gamma-Ray Astronomy 2003••
183162 Weekes T. Very high energy gamma-ray astronomy 2003••
85304 Sissakian A., Manjavidze J. Very high multiplicity physics workshops: proceedings of the VHM physics workshops 2008••
196855 Hufner S. Very High Resolution Photoelectron Spectroscopy (Lecture Notes in Physics) 2007••
180967 Parker P., Parker J. Very Long-Chain Acyl-Coenzyme A Dehydrogenase Deficiency - A Bibliography and Dictionary for Physicians, Patients, and Genome Researchers 2007••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2025
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå