| 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 | •• |
| 215980 |
|
Cramer R.A. |
Vergils Weltsicht |
1998 | •• |
| 215986 |
|
Schmit-Neuerburg T. |
Vergils Äneis und die antike Homerexegese |
1999 | •• |
| 214988 |
|
Van den Ende H. |
Vergeet niet dat je arts bent |
n/a | •• |
| 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 | •• |
| 138878 |
|
Ethnic and Multicultural Information Exchange Round Tab, Kuharets O. |
Venture into Cultures: A Resource Book of Multicultural Materials and Programs (Venture Into Cultures) |
2001 • | •• |
| 65428 |
|
|
Venture Impact |
2006 • | •• |
| 162256 |
|
Eckermann M. |
Venture Capitalists' Exit Strategies under Information Asymmetry: Evidence from the US Venture Capital Market |
2006 | •• |
| 58336 |
|
Kleinschmidt M. |
Venture Capital, Corporate Governance, and Firm Value |
2007 | •• |
| 129691 |
|
McCahery J.A., Renneboog L. |
Venture Capital Contracting and the Valuation of High-technology Firms |
2004 | •• |
| 155217 |
|
William Bains |
Venture Capital and the European Biotechnology Industry |
2009 | •• |
| 187287 |
|
Ambrosino N., Goldstein R. |
Ventilatory support for chronic respiratory failure |
2008 | •• |
| 69002 |
|
Hill N.S., Levy M.M. |
Ventilator Management Strategies for Critical Care |
2001 | •• |
| 85158 |
|
Awbi H.B. |
Ventilation of Buildings |
2003 • | •• |
| 60454 |
|
Rock B.A. |
Ventilation for Environmental Tobacco Smoke |
2006 • | •• |
| 85267 |
|
Burgess W.A., Ellenbecker M.J., Treitman R.D. |
Ventilation for Control of the Work Environment |
2004 • | •• |
| 144071 |
|
Roulet C. |
Ventilation and Airflow in Buildings: Methods for Diagnosis and Evaluation |
2008 | •• |
| 207385 |
|
FRY B.G. |
VENOM DOC |
2015 | •• |
| 204800 |
|
A. Boeckh, F. Welsch, N. Werz |
Venezuela heute |
2011 | •• |
| 76414 |
|
Crooker R. A. |
Venezuela |
2006 | •• |
| 215841 |
|
Wisnik J.M. |
Veneno remedio o futebol e o Brasil |
2008 | •• |
| 134027 |
|
Park Doing |
Velvet Revolution at the Synchrotron: Biology, Physics, and Change in Science (Inside Technology) |
2009 | •• |
|
|
Î ïðîåêòå