نتایج جستجو
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.), 1999
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.), 2005
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.), 2006
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.), 2008
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.), 2008
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.), 2011
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.), 2011
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.), 2012
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.), 2011
11 International Symposium on Process Systems Engineering
Iftekhar A. Karimi and Rajagopalan Srinivasan (Eds.), 2012
11th International Symposium on Process Systems Engineering
Iftekhar A Karimi; Rajagopalan Srinivasan, 2012
Moral Responsibility, Authenticity, and Education (Routledge International Studies in the Philosophy of Education)
Ishtiyaque Haji; Stefaan E. Cuypers, 2008
Durability of Building Materials and Components: Proceedings of the 5th International Conference Held in Brighton, UK, 7-9 November 1990
J. M. Baker, P. J. Nixon, A. J. Majumdar, 1990
Avian Navigation: International Symposium on Avian Navigation (ISAN) held at Tirrenia (Pisa), September 11–14, 1981
B. Bruderer (auth.), Prof. Dr. Floriano Papi, Dr. Hans G. Wallraff (eds.), 1982
Recent Advances of Avian Endocrinology. Satellite Symposium of the 28th International Congress of Physiological Sciences, Szkésfehérvár, Hungary, 1980
G. Pethes, P. Péczely and P. Rudas (Eds.), 1981
11th congress of the International Society for Rock Mechanics : the second half century of rock mechanics
LRibeiro e Sousa; Claudio Olalla; N Grossmann, 2007
