| 159497 |
|
Lakhnech Y., Yovine S. |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of |
2004 | •• |
| 172252 |
|
Lakhnech Y., Yovine S. |
Formal techniques, modelling and analysis of timed and fault-tolerant systems: joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal TechniAuthor: Y Lakhnech; Sergio Yovine |
2005 | •• |
| 74228 |
|
Sommaruga G. (ed.) |
Formal theories of information from Shannon to semantic information theory and general concepts of information |
2009 • | •• |
| 189989 |
|
Sommaruga G. |
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information |
2009 | •• |
| 10549 |
|
Kurshan R.P. |
Formal Verification in a Commercial Setting |
1997 | •• |
| 10547 |
|
Kern C., Greenstreet M.R. |
Formal Verification in Hardware Design: A Survey |
1997 | •• |
| 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 • | •• |
| 209980 |
|
Bernd Luderer |
Formeln und Begriffe der Analysis |
2021 | •• |
| 210503 |
|
Helmut seng, Chiara o. Tommasi |
Formen und Nebenformen des Platonismus in der Spätantike |
2016 | •• |
| 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 | •• |
| 207557 |
|
Lars Brunjes |
Forms ol Fermat Equations and Their Zeta Functions |
2004 | •• |
| 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 | •• |
| 204210 |
|
A. Trklja |
Formulaic language. Theories and methods |
2021 | •• |
| 198143 |
|
Lapeyrouse N.J. |
Formulas and Calculations for Drilling, Production and Work-over |
n/a | •• |
|
|
Î ïðîåêòå