| 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 | •• |
| 216438 |
|
Lal A.(ðåä.), Tonetta S.(ðåä.) |
Verified software theories, tools and experiments |
n/a | •• |
| 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 | •• |
|
|
Î ïðîåêòå