| 209980 |
|
Bernd Luderer |
Formeln und Begriffe der Analysis |
2021 | •• |
| 31773 |
|
Gross D., Ehlers W., Wriggers P. |
Formeln Und Aufgaben Zur Technischen Mechanik 3: Kinetik, Hydrodynamik |
2006 • | •• |
| 139920 |
|
Gross D., Ehlers W., Wriggers P. |
Formeln und Aufgaben zur Technischen Mechanik 1: Statik |
2006 • | •• |
| 131424 |
|
Dietmar Gross, Wolfgang Ehlers, Peter Wriggers |
Formeln und Aufgaben zur technischen Mechanik 1. Statik |
2010 | •• |
| 189746 |
|
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 | •• |
| 2451 |
|
Flynn P. |
Formatting information. A beginner's introduction to typesetting with LaTeX |
2005 | •• |
| 114431 |
|
Worthman C.M., Plotsky P.M., Schechter D.S. |
Formative Experiences: The Interaction of Caregiving, Culture, and Developmental Psychobiology |
2010 | •• |
| 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 | •• |
| 41331 |
|
Dickinson R.G., Sherrill M.S. |
Formation of Ozone by Optically Excited Mercury Vapor |
1926 | •• |
| 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 | •• |
| 186062 |
|
Bethe H., Brown G., Lee C. |
Formation and evolution of black holes in the galaxy. Selected papers with commentary |
2003 | •• |
| 167419 |
|
Steiner F. |
Formation and Early Growth of Business Webs: Modular Product Systems in Network Markets (Information Age Economy) |
2004 | •• |
| 49250 |
|
Kawasaki K. (ed.), Lindman B. (ed.), Okabayashi H. (ed.) |
Formation and Dynamics of Self-Organized Structures in Surfactants and Polymer Solutions |
1997 • | •• |
| 37268 |
|
Prestel A. |
Formally P-Adic Fields |
1984 • | •• |
| 126420 |
|
A. Prestel, P. Roquette |
Formally p-adic Fields |
1984 | •• |
| 193574 |
|
Xenakis I. |
Formalized Music: Thought and Mathematics in Composition |
1992 • | •• |
| 132502 |
|
Diaz J. (ed.), Ramos I. (ed.) |
Formalization of Programming Concepts |
1981 | •• |
| 105341 |
|
Schmitt P.H. |
Formale Systeme |
2007 | •• |
| 20132 |
|
Voller R. |
Formale Sprachen und Compiler |
1999 | •• |
| 20131 |
|
Lange K.-J. |
Formale Sprachen |
1999 | •• |
| 20133 |
|
Kutylowski M. |
Formale Sprachen |
1994 | •• |
| 74425 |
|
Bernhard R. |
Formale Methodik des Entwurfs verteilter objektorientierter Systeme |
1996 | •• |
| 38971 |
|
Perry D.L., Foster H. |
Formal Verification: For Digital Circuit Design |
2005 | •• |
| 10762 |
|
Wang F. |
Formal verification of timed systems: a survey and perspective |
2004 | •• |
| 10557 |
|
McFarland M.C. |
Formal Verification of Sequential Hardware: A Tutorial |
1993 | •• |
| 174627 |
|
Beckert B., Marche C. |
Formal Verification of Object-Oriented Software |
2011 | •• |
| 10753 |
|
Camurati P., Prinetto P. |
Formal verification of hardware correctness |
1988 | •• |
| 10547 |
|
Kern C., Greenstreet M.R. |
Formal Verification in Hardware Design: A Survey |
1997 | •• |
| 10549 |
|
Kurshan R.P. |
Formal Verification in a Commercial Setting |
1997 | •• |
| 189989 |
|
Sommaruga G. |
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information |
2009 | •• |
| 74228 |
|
Sommaruga G. (ed.) |
Formal theories of information from Shannon to semantic information theory and general concepts of information |
2009 • | •• |
| 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 | •• |
| 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 | •• |
| 196555 |
|
H. Langmaack, W.Roever, J.Vytopil |
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd |
1994 | •• |
| 175310 |
|
Vytopil J. |
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings: ... 1992 2nd |
1991 | •• |
| 155955 |
|
Damm W., Olderog E. |
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September ... |
2002 | •• |
| 137787 |
|
Joseph M. |
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000. Proceedings |
2000 • | •• |
| 152871 |
|
Ravn A.P., Rischel H. |
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings ... in Real-Time & Fault-Tolerant Systems) |
1998 | •• |
| 138075 |
|
Jonsson B., Parrow J. |
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings |
1996 • | •• |
| 164517 |
|
Joseph M. |
Formal Techniques in Real-Time and Fault-Tolerant Systems |
1988 | •• |
| 133009 |
|
Derrick J., Vain J. |
Formal techniques for networked and distributed systems-- FORTE 2007: 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007: proceedings |
2007 | •• |
| 191368 |
|
Kim M., Chin B., Kang S. |
Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001 |
2002 | •• |
| 151786 |
|
Derrick J., Vain J. |
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings ... Programming and Software Engineering) |
2007 | •• |
| 133966 |
|
Najm E., Pradat-Peyre J. |
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, |
2006 | •• |
| 132739 |
|
Farn Wang |
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings |
2005 • | •• |
| 180754 |
|
Frutos-Escrig D., Nunez M. |
Formal Techniques for Networked and Distributed Systems - FORTE 2004 |
2004 | •• |
| 195095 |
|
Hartmut Konig, Monika Heiner, Adam Wolisz |
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 |
2003 • | •• |
|
|
Î ïðîåêòå