√лавна€    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 ƒоп.
137557 Fujita M., Ghosh I., Prasad M. Verification Techniques for System-Level Design (Systems on Silicon) 2007ХХ
84989 Cook ¬., Podelski ј. Verification, Model Checking, and Abstract Interpretation, 8 conf., VMCAI 2007 2007ХХ
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ХХ
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ХХ
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ХХ
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 ХХХ
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ХХ
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ХХ
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ХХ
115162 Collins-Sussman B., Fitzpatrick B.W., Pilato C.M. Version Control with Subversion v1.4 2007ХХ
18992 Linzey D.W. Vertebrate Biology 2003ХХ
139102 Linzey D. Vertebrate Biology 2003ХХ
179503 Johnson G., Raven P. Vertebrate Development. Chapter 60. Biology n/a ХХХ
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ХХ
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ХХ
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ХХ
180967 Parker P., Parker J. Very Long-Chain Acyl-Coenzyme A Dehydrogenase Deficiency - A Bibliography and Dictionary for Physicians, Patients, and Genome Researchers 2007ХХ
58808 Bais S. Very Special Relativity: An Illustrated Guide 2007ХХ
123058 de Schepper I. M., Cohen E. G. D. Very-Short-Wavelength Collective Modes in Fluids 1981ХХ


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