نتایج جستجو
برای Analysis، صفحه ۱۴۷ از ۹۳۶ در بین ۲۳,۳۸۱ کتاب.
PDF
Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
K. L. McMillan (auth.), Nicolas Halbwachs, Lenore D. Zuck (eds.), 2005PDF
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.), 2006PDF
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.), 2007PDF
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Sharad Malik (auth.), C. R. Ramakrishnan, Jakob Rehof (eds.), 2008PDF
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Sharad Malik (auth.), C. R. Ramakrishnan, Jakob Rehof (eds.), 2008PDF
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon (auth.), Stefan Kowalewski, Anna Philippou (eds.), 2009PDF
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon (auth.), Stefan Kowalewski, Anna Philippou (eds.), 2009PDF
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.), 2010PDF
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.), 2010PDF
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.), 2011PDF
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.), 2012PDF
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.), 2012PDF
Hammett's Moral Vision: The Most Influential In-Depth Analysis of Dashiell Hammett's Novels Red Harvest, The Dain Curse, The Maltese Falcon, The Glass ... Man
George J. "Rhino" Thompson, Vince Emery, William F. Nolan, 2006PDF
Clothing for liberation : a communication analysis of Gandhi's swadeshi revolution
Peter Gonsalves, 2010PDF
Multimodal Brain Image Analysis: First International Workshop, MBIA 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings
Xue Yang, Carolyn B. Lauzon, Ciprian Crainiceanu (auth.), Tianming Liu, Dinggang Shen, Luis Ibanez, Xiaodong Tao (eds.), 2011PDF
Multimodal Brain Image Analysis: First International Workshop, MBIA 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings
Xue Yang, Carolyn B. Lauzon, Ciprian Crainiceanu (auth.), Tianming Liu, Dinggang Shen, Luis Ibanez, Xiaodong Tao (eds.), 2011PDF
PDF
Nutrients, Dietary Supplements, and Nutriceuticals: Cost Analysis Versus Clinical Benefits
Jørgen Dejgaard Jensen (auth.), Joe K Gerald, Ronald Ross Watson, Victor R. Preedy (eds.), 2011PDF
Nutrients, dietary supplements, and nutriceuticals: Cost analysis versus clinical benefits
Jørgen Dejgaard Jensen (auth.), Joe K Gerald, Ronald Ross Watson, Victor R. Preedy (eds.), 2011PDF
Carbonate Reservoir Characterization: A Geologic-Engineering Analysis, Part II
H.H. Rieke, S.J. Mazzullo, 1996PDF
Delay Equations: Functional-, Complex-, and Nonlinear Analysis
Odo Diekmann, Sjoerd M. Verduyn Lunel, Stephan A. van Gils, Hanns-Otto Walther (auth.), 1995PDF
Linearly polarized IR spectroscopy : theory and applications for structural analysis
Bojidarka Ivanova; Tsonko Kolev, 2011PDF
Photoacoustic IR Spectroscopy: Instrumentation, Applications and Data Analysis, Second Edition
Kirk H. Michaelian(auth.), 2010PDF
Analysis of NMR Spectra: A Guide for Chemists
R. A. Hoffman, S. Forsén, B. Gestblom (auth.), 1971PDF
