Ãëàâíàÿ    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 Äîï.
130574 Loeliger J. Version Control with Git 2009 •••
105085 Sab J. Versicherungsmathematik: Personenversicherung 2006••
20512 Behne J. Versicherungsmathematik 1999••
182456 Audretsch J. Verschrankte Systeme: Die Quantenphysik auf neuen Wegen 2005••
183032 Kuppers U., Tributsch H. Verpacktes Leben - Verpackte Technik: Bionik der Verpackung 2002••
40978 Garett P. Verma modules, Harish-Chandra’s homomorphism 2008••
117177 VERITAS Backup ExecTM 10.0 for Windows Servers. Ðóêîâîäñòâî àäìèíèñòðàòîðà 2005••
40626 Deepak Kumar Tala Verilog Tutorial 2003••
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 •••
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••
168212 Lee J. Verilog Quickstart: A Practical Guide to Simulation and Synthesis in Verilog 2002 •••
11699 Palnitakar S. Verilog HDL: A Guide to Digital Design and Synthesis 2003••
137239 Mark Arnold Verilog Digital Computer Design: Algorithms Into Hardware 1998••
148940 Arnold M. Verilog Digital Computer Design: Algorithms Into Hardware 1999••
28528 Lee W.F. Verilog Coding for Logic Synthesis 2003••
212850 Mitra S. Verifying cyber-physical systems: a path to safe autonomy 2021••
48380 Robson H.E. Verified Synthesis Of Zeolitic Materials 2001 •••
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••
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••
153949 Cousot R. Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings (Lecture ... Computer Science and General Issues) 2005••
169810 Barthe G., Hermenegildo M. Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues) 2010••
195687 N. D. Jones, M. Muller-Olm Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ... Computer Science and General Issues) 2009 •••
79117 Logozzo F. (ed.), Peled D.A. (ed.), Zuck L.D. (ed.) Verification, Model Checking, and Abstract Interpretation. 9th International Conference, VMCAI 2008 San Francisco, USA, January 7-9, 2008 Proceedings 2008••
84989 Cook Â., Podelski À. Verification, Model Checking, and Abstract Interpretation, 8 conf., VMCAI 2007 2007••
137557 Fujita M., Ghosh I., Prasad M. Verification Techniques for System-Level Design (Systems on Silicon) 2007••
144825 Fujita M., Ghosh I., Prasad M. Verification Techniques for System-Level Design 2008••
194621 Apt K.R., de Boer F.S., Olderog E.-R. Verification of sequential and concurrent programs 2010 •••
148512 M. Minea, Aziplea F.L., Clarke E. Verification of Infinite-State Systems with Applications to Security 2006••
142172 Knupp P., Salari K. Verification of Computer Codes in Computational Science and Engineering 2002••
135408 Katarzyna Radecka, Zeljko Zilic Verification by Error Modeling: Using Testing Techniques in Hardware Verification (Frontiers in Electronic Testing) 2003 •••
138877 Radecka R., Zilic Z. Verification by Error Modeling: Using Testing Techniques in Hardware Verification (Frontiers in Electronic Testing) 2004••
25038 Unhelkar Bh. Verification and Validation for Quality of Uml 2. 0 Models 2005••
158520 Cortes L. Verification and Scheduling Techniques for Real-Time Embedded Systems (Linkoping studies in science and technology) 2005••
115161 Khazer D.A. Verhandlungen des dritten internationalen mathematiker - kongresses in heldelberg vom 8. bis 13. august 1904 1905••
183199 Klopffer W. Verhalten und Abbau von Umweltchemikalien: Physikalisch-chemische Grundlagen, Zweite Auflage 2012••
184549 Kandel H. Verfahrenstechnische Methoden in der Wirkstoffherstellung: Tipps und Tricks 2006••
186831 Sattler K., Kasper W. Verfahrenstechnische Anlagen: Planung, Bau und Betrieb 2000••
20511 Verfahrenstechnik n/a••
80084 Martin W. Verdun 1916: 'They Shall Not Pass' 2004••
56123 Grieb H. Verdichter für Turbo-Flugtriebwerke 2009••
58430 Grieb H. Verdichter für Turbo-Flugtriebwerke 2009••
211832 Tomás de Aquino VERDADE E CONHECIMENTO 1999••
212263 Aquino T. Verdade e Conhecimento 2011••
23619 Warnatz J. Verbrennung 2001••
208732 Neumann B., Rippl G. Verbal-Visual Configurations in Postcolonial Literature. Intermedial Aesthetics 2020••
210218 Birgit Neumann Verbal-Visual Configurations in Postcolonial Literature 2020••
78947 Esposito A., Faundez-Zanuy M. Verbal and Nonverbal Communication Behaviours: COST Action 2102 International Workshop, Vietri sul Mare, Italy, March 29-31, 2007, Revised Selected and Invited Papers 2007••
83245 Ramchand G.C. Verb Meaning and the Lexicon: A First Phase Syntax 2008••
41153 Grego P. Venus and Mercury, and How to Observe Them 2007••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå