نتایج جستجو
برای Tijn Van Der Zant (eds.)، صفحه ۱,۸۳۸ از ۲,۹۹۸ در بین ۷۴,۹۴۸ کتاب.
PDF
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
Mary Lou Maher, Josiah Poon, Sylvie Boulanger (auth.), John S. Gero, Fay Sudweeks (eds.), 1996PDF
Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings
Egon Börger (auth.), Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.), 1999PDF
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Robert Kurshan (auth.), Robert Kurshan (eds.), 1993PDF
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings
Mathai Joseph (auth.), John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.), 2005PDF
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.), 2006PDF
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.), 2008PDF
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.), 2008PDF
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.), 2009PDF
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.), 2011PDF
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.), 2011PDF
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.), 2012PDF
Automorphisms in Birational and Affine Geometry: Levico Terme, Italy, October 2012
Ivan Cheltsov, Ciro Ciliberto, Hubert Flenner, James McKernan, Yuri G. Prokhorov, Mikhail Zaidenberg (eds.), 2014PDF
Filtering Theory: With Applications to Fault Detection, Isolation, and Estimation
Ali Saberi, Anton A. Stoorvogel, Peddapullaiah Sannuti (eds.), 2007PDF
Matrix Isolation Spectroscopy: A book based on the lectures given and the discussions that took place at the NATO Advanced Study Institute held at the Université des Sciences et Techniques du Languedoc,Montpellier, France, July 17–31,1980
W. J. Orville-Thomas (auth.), A. J. Barnes, W. J. Orville-Thomas, A. Müller, R. Gaufrès (eds.), 1981PDF
Acoustic Emission Testing: Basics for Research - Applications in Civil Engineering
Christian U. Grosse (auth.), Christian Grosse, Masayasu Ohtsu (eds.), 2008PDF
Acoustic Emission Testing: Basics for Research - Applications in Civil Engineering
Christian U. Grosse (auth.), Christian Grosse, Masayasu Ohtsu (eds.), 2008PDF
Advanced Civil Infrastructure Materials. Science, Mechanics and Applications
H. Wu (Eds.), 2006PDF
Advances in FRP Composites in Civil Engineering: Proceedings of the 5th International Conference on FRP Composites in Civil Engineering (CICE 2010), Sep 27–29, 2010, Beijing, China
Thanasis Triantafillou (auth.), Lieping Ye, Peng Feng, Qingrui Yue (eds.), 2011PDF
11 International Symposium on Process Systems Engineering
Iftekhar A. Karimi and Rajagopalan Srinivasan (Eds.), 2012PDF
17 European Symposium on Computer Aided Process Engineering
Valentin Pleşu and Paul Şerban Agachi (Eds.), 2007PDF
The Maize Handbook
William F. Sheridan, Janice K. Clark (auth.), Michael Freeling, Virginia Walbot (eds.), 1994PDF
Music-inspired harmony search algorithm: theory and applications
Xin-She Yang (auth.), Zong Woo Geem (eds.), 2009PDF
Solar and Stellar Granulation
Robert J. Rutten (auth.), Robert J. Rutten, Giuseppe Severino (eds.), 1989PDF
Responsibility to Protect: The Global Moral Compact for the 21st Century
Richard H. Cooper, Juliette Voïnov Kohler (eds.), 2009PDF
