| 10753 |
|
Camurati P., Prinetto P. |
Formal verification of hardware correctness |
1988 | •• |
| 174627 |
|
Beckert B., Marche C. |
Formal Verification of Object-Oriented Software |
2011 | •• |
| 10557 |
|
McFarland M.C. |
Formal Verification of Sequential Hardware: A Tutorial |
1993 | •• |
| 10762 |
|
Wang F. |
Formal verification of timed systems: a survey and perspective |
2004 | •• |
| 38971 |
|
Perry D.L., Foster H. |
Formal Verification: For Digital Circuit Design |
2005 | •• |
| 74425 |
|
Bernhard R. |
Formale Methodik des Entwurfs verteilter objektorientierter Systeme |
1996 | •• |
| 20131 |
|
Lange K.-J. |
Formale Sprachen |
1999 | •• |
| 20133 |
|
Kutylowski M. |
Formale Sprachen |
1994 | •• |
| 20132 |
|
Voller R. |
Formale Sprachen und Compiler |
1999 | •• |
| 105341 |
|
Schmitt P.H. |
Formale Systeme |
2007 | •• |
| 132502 |
|
Diaz J. (ed.), Ramos I. (ed.) |
Formalization of Programming Concepts |
1981 | •• |
| 193574 |
|
Xenakis I. |
Formalized Music: Thought and Mathematics in Composition |
1992 • | •• |
| 37268 |
|
Prestel A. |
Formally P-Adic Fields |
1984 • | •• |
| 126420 |
|
A. Prestel, P. Roquette |
Formally p-adic Fields |
1984 | •• |
| 49250 |
|
Kawasaki K. (ed.), Lindman B. (ed.), Okabayashi H. (ed.) |
Formation and Dynamics of Self-Organized Structures in Surfactants and Polymer Solutions |
1997 • | •• |
| 167419 |
|
Steiner F. |
Formation and Early Growth of Business Webs: Modular Product Systems in Network Markets (Information Age Economy) |
2004 | •• |
| 186062 |
|
Bethe H., Brown G., Lee C. |
Formation and evolution of black holes in the galaxy. Selected papers with commentary |
2003 | •• |
| 135983 |
|
Bethe H., Brown G.E., Lee C.H. |
Formation and Evolution of Black Holes in the Galaxy: Selected Papers With Commentary |
2003 | •• |
| 175252 |
|
Bethe H., Brown G., Lee C. |
Formation and evolution of black holes in the galaxy: selected papers with commentary |
2003 | •• |
| 41331 |
|
Dickinson R.G., Sherrill M.S. |
Formation of Ozone by Optically Excited Mercury Vapor |
1926 | •• |
| 136051 |
|
Bell B., Cowie B. |
Formative Assessment and Science Education (Science & Technology Education Library, Volume 12) |
2000 • | •• |
| 139402 |
|
Bell B., Cowie B. |
Formative Assessment and Science Education (Science & Technology Education Library, Volume 12) |
2002 | •• |
| 114431 |
|
Worthman C.M., Plotsky P.M., Schechter D.S. |
Formative Experiences: The Interaction of Caregiving, Culture, and Developmental Psychobiology |
2010 | •• |
| 2451 |
|
Flynn P. |
Formatting information. A beginner's introduction to typesetting with LaTeX |
2005 | •• |
| 165872 |
|
Flynn P. |
Formatting information: a beginner's introduction to Latex |
2005 | •• |
| 189746 |
|
Flynn P. |
Formatting information: A beginner's introduction to typesetting with LaTeX |
2005 | •• |
| 131424 |
|
Dietmar Gross, Wolfgang Ehlers, Peter Wriggers |
Formeln und Aufgaben zur technischen Mechanik 1. Statik |
2010 | •• |
| 139920 |
|
Gross D., Ehlers W., Wriggers P. |
Formeln und Aufgaben zur Technischen Mechanik 1: Statik |
2006 • | •• |
| 31773 |
|
Gross D., Ehlers W., Wriggers P. |
Formeln Und Aufgaben Zur Technischen Mechanik 3: Kinetik, Hydrodynamik |
2006 • | •• |
| 112377 |
|
Cartan H. |
Formes différentielles |
1967 | •• |
| 2142 |
|
Romanovski P. |
Formes exterieures et leurs applications |
1963 | •• |
| 2623 |
|
Slebodzinski W. |
Formes exterieures et leurs applications |
1954 | •• |
| 23515 |
|
Bletzinger K. |
Formoptimierung von Flaechentragwerken |
1990 | •• |
| 145944 |
|
Minelli A. |
Forms of Becoming: The Evolutionary Biology of Development |
2009 | •• |
| 34620 |
|
Brünjes L. |
Forms of Fermat Equations and Their Zeta Functions |
2004 | •• |
| 172357 |
|
Tirosh D. |
Forms of Mathematical Knowledge - Learning and Teaching with Understanding |
1999 | •• |
| 176265 |
|
Jarrett C., Gaffney G., Krug S. |
Forms that work: designing Web forms for usability |
2008 | •• |
| 3684 |
|
Noble J., Hughes M. |
Formula One Racing for Dummies |
2004 | •• |
| 15468 |
|
|
Formula Primer |
2002 | •• |
| 198143 |
|
Lapeyrouse N.J. |
Formulas and Calculations for Drilling, Production and Work-over |
n/a | •• |
| 12584 |
|
McFedries P. |
Formulas and Functions with Microsoft Excel 2003 |
2005 | •• |
| 28981 |
|
McFedries P. |
Formulas and Functions with Microsoft Office Excel 2007 (Business Solutions Series) |
2007 | •• |
| 111860 |
|
Magnus W., Oberhettinger F., Wermer J. |
Formulas and Theorems for the Functions of Mathematical Physics |
1954 | •• |
| 33863 |
|
Carr G.S. |
Formulas and Theorems in Pure Mathematics |
1970 • | •• |
| 108732 |
|
Bronstein M. |
Formulas for series computations |
1992 | •• |
| 49908 |
|
Karnovsky I.A., Lebed O.V. |
Formulas for Structural Dynamics: Tables, Graphs and Solutions |
2004 | •• |
| 87612 |
|
Isotalo J., Puntanen S |
Formulas Useful for Linear Regression Analysis and Related Matrix Theory |
2005 • | •• |
| 47691 |
|
Zheng C. |
Formulation and Analytical Development for Low-Dose Oral Drug Products |
2009 | •• |
| 147668 |
|
Pearlman R., Wang Y. |
Formulation Characterization and Stability of Protein Drugs Case Histories |
1996 | •• |
| 116004 |
|
Lanteri P., Bordes C., Collectif |
Formulation des composes silicones et fluores |
2005 | •• |
|
|
Î ïðîåêòå