177595 |
|
Frenkel I., Lepowsky J., Meurman A. |
Vertex operator algebras and the Monster |
1988 | •• |
41613 |
|
Bobkov S. |
Vertex Isoperimetry and Concentration |
1998 | •• |
55086 |
|
Kac V. |
Vertex Algebras for Beginners |
1997 | •• |
197514 |
|
Kac V. |
Vertex Algebras for Beginners |
1998 • | •• |
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 • | •• |
1471 |
|
Kac V. |
Vertex Algebra for Beginners |
1997 | •• |
20514 |
|
Jäger M. |
Verteilte Systeme II |
1999 • | •• |
20513 |
|
|
Verteilte Algorithmen |
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 | •• |
18992 |
|
Linzey D.W. |
Vertebrate Biology |
2003 | •• |
139102 |
|
Linzey D. |
Vertebrate Biology |
2003 | •• |
209875 |
|
Beall D.P. |
Vertebral Augmentation |
2020 | •• |
115162 |
|
Collins-Sussman B., Fitzpatrick B.W., Pilato C.M. |
Version Control with Subversion v1.4 |
2007 | •• |
200229 |
|
Ben Collins-Sussman |
Version Control with Subversion For Subversion 1.6 (Compiled from r4184) |
n/a | •• |
23577 |
|
Collins-Sussman B., Fitzpatrick B.W., Pilato C.M. |
Version Control with Subversion |
2004 | •• |
171443 |
|
Loeliger J. |
Version Control with Git: Powerful tools and techniques for collaborative software development |
2009 | •• |
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 | •• |